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 9 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆98Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- ☆50Updated 2 weeks ago
- ☆56Updated last year
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆61Updated this week
- Smart contracts for the Telepathy protocol☆76Updated last year
- ☆21Updated 8 months ago
- ☆19Updated 10 months ago
- ☆42Updated last year
- Polynomials Identity Language☆68Updated last year
- Out-of-circuit zkEVM implementation☆80Updated 8 months ago
- Go SDK for building AVSs on Eigenlayer☆73Updated this week
- CurveZero - Fixed rate USD loan protocol☆41Updated 2 years ago
- Symbiotic Core smart contracts☆48Updated last week
- halo2 ecc circuit☆116Updated 2 years ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated 2 years ago
- ☆60Updated 8 months ago
- ☆35Updated last month
- The Optimism monorepo☆44Updated last week
- A collection of works discussing the security aspects of StarkNet☆40Updated 3 months ago
- 🐺 Starknet Rust types 🦀☆69Updated 3 weeks ago
- Consensus nodes performing in unison!☆32Updated 10 months ago
- Documentation for Rollkit - a modular framework for rollups.☆37Updated last week
- Core components of the Polygon Miden rollup☆77Updated this week
- ☆86Updated last year
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated this week