xJonathanLEI / oriacLinks
A toy Cairo VM implementation in Rustβ’
β73Updated 3 years ago
Alternatives and similar repositories for oriac
Users that are interested in oriac are comparing it to the libraries listed below
Sorting:
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack π¦πβ55Updated last year
- Minimal Yul Transpilation to the Miden VMβ52Updated 2 years ago
- an introduction to noir, with simple examplesβ44Updated last year
- β40Updated 3 years ago
- Starknet sequencer built with Tendermint Coreβ53Updated 2 years ago
- β46Updated 4 years ago
- An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.β91Updated 2 years ago
- CLI tool to develop Starknet projects written in Cairoβ55Updated last year
- KZG commitments over BLS12-381β36Updated 2 years ago
- β37Updated 3 years ago
- EIP 4626 in Cairo lang for Starknetβ51Updated 2 years ago
- A naive bloom filter implementation in Cairoβ37Updated 3 years ago
- β42Updated last year
- Cross-zk-rollup aggregationβ60Updated 2 years ago
- Solidity contracts for a next-gen rollup system.β66Updated 2 weeks ago
- https://geometryresearch.xyz/notebook/zkhack-groth-challengeβ49Updated 3 years ago
- β40Updated 2 years ago
- Implementation of ethereum's `ssz`β106Updated 10 months ago
- Basic Noir private proof of membershipβ90Updated 5 months ago
- PoC of Revm execution in SGXβ81Updated last year
- Share private EVM state attestations using STARK proofsβ73Updated 3 years ago
- A Brainfuck zkVM with Circom.β59Updated 2 years ago
- Trustless oracle of historical Uniswap v3 TWAP using ZKβ38Updated 2 years ago
- Shenlong is a blazingly fast β‘ tool to generate LLVM IR from Cairo, written in Rust π¦β67Updated 2 years ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axumβ58Updated 3 months ago
- A community-developed re-implementation of the Starkware Stone Proverβ69Updated 10 months ago
- Andromeda revm execution serviceβ31Updated last year
- barretenburg in rust (here we go)β98Updated last year
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suiteβ29Updated 3 years ago
- Scaling Ethereum, but this time in rust.β90Updated 2 years ago