EspressoSystems / espresso
☆23Updated 8 months ago
Related projects: ⓘ
- ☆34Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆62Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- ☆40Updated 5 months ago
- AppliedZKP's zkEVM Documentation☆23Updated 2 months ago
- ☆19Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- The Slush SDK allows you to spin up L3s on Starknet☆69Updated last year
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- Verifier contracts for onchain verification of SP1.☆55Updated this week
- Smart contracts for the Telepathy protocol☆73Updated 5 months ago
- ☆45Updated this week
- ☆93Updated last month
- Symbiotic Core smart contracts☆31Updated last week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆61Updated this week
- Consensus nodes performing in unison!☆31Updated 3 months ago
- Rust Library for running the Starknet OS via the Cairo VM☆53Updated this week
- OS for next iteration of the world computer☆45Updated last year
- Go SDK for building AVSs on Eigenlayer☆62Updated last week
- ☆83Updated 11 months ago
- Polynomials Identity Language☆67Updated 6 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 7 months ago
- Core components of the Polygon Miden rollup☆67Updated this week
- ☆48Updated 9 months ago
- ☆119Updated this week
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆43Updated last month
- Learn how to debug a StarkNet smart contract☆47Updated last year
- PoC of Revm execution in SGX☆78Updated 10 months ago
- Email verification circuit in halo2☆62Updated 2 months ago