EspressoSystems / espresso
☆23Updated last year
Alternatives and similar repositories for espresso:
Users that are interested in espresso are comparing it to the libraries listed below
- AppliedZKP's zkEVM Documentation☆25Updated 8 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- ☆34Updated last year
- ☆41Updated 10 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Updated 2 years ago
- ☆34Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 10 months ago
- Smart contracts for onchain verification of SP1.☆83Updated last week
- ☆56Updated last year
- Email verification circuit in halo2☆67Updated 8 months ago
- ☆55Updated 4 months ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆95Updated last month
- ☆86Updated last year
- ☆94Updated 6 months ago
- ☆19Updated 9 months ago
- A collection of works discussing the security aspects of StarkNet☆40Updated 2 months ago
- Circuit infrastructure for Aztec 3.0☆13Updated last year
- The Optimism monorepo☆43Updated 3 weeks ago
- ☆21Updated 7 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆89Updated this week
- ☆49Updated this week
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- ETHPrague☆31Updated last year
- CurveZero - Fixed rate USD loan protocol☆41Updated 2 years ago
- Solidity contracts for a next-gen rollup system.☆63Updated 3 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆15Updated 2 weeks ago