succinctlabs / sp1-reth
A performant, type-1 zkEVM written in Rust & SP1.
☆124Updated this week
Related projects: ⓘ
- The schelling point for ZK applications.☆135Updated 4 months ago
- ☆73Updated this week
- ☆62Updated 4 months ago
- Core components of the Polygon Miden rollup☆67Updated 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
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆60Updated this week
- ☆119Updated this week
- 🐺 Starknet Rust types 🦀☆62Updated this week
- ☆45Updated this week
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆43Updated last month
- ☆85Updated this week
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆61Updated this week
- Out-of-circuit zkEVM implementation☆81Updated last month
- Reference implementation of the node for the Polygon Miden rollup☆52Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆77Updated 5 months ago
- ☆93Updated last month
- halo2 ecc circuit☆110Updated last year
- Cryptographic primitives used in Polygon Miden rollup☆97Updated this week
- Test runner for ethereum foundation tests☆20Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated last month
- Go SDK for building AVSs on Eigenlayer☆62Updated last week
- ☆144Updated 6 months ago
- ☆93Updated this week
- ☆79Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆55Updated last week
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆110Updated this week
- Compiler from MidenIR to Miden Assembly☆62Updated this week
- zkEVM proof generator reference written in Javascript☆77Updated 2 weeks ago
- Bridge from Mina to Ethereum☆77Updated this week
- Poseidon hash circuit☆88Updated last week