risc0 / kailua
The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups
☆41Updated this week
Alternatives and similar repositories for kailua:
Users that are interested in kailua are comparing it to the libraries listed below
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 5 months ago
- Rust implementation of KZG point evaluation☆33Updated last week
- OS for next iteration of the world computer☆44Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- ☆40Updated 6 months ago
- ☆38Updated last year
- an introduction to noir, with simple examples☆45Updated last year
- ☆31Updated last year
- Honk Verifier in Solidity☆50Updated 6 months ago
- Ethereum stateless tools☆46Updated last week
- On-chain Ethereum light client built with SP1☆46Updated this week
- Solidity contracts for a next-gen rollup system.☆65Updated 5 months ago
- barretenburg in rust (here we go)☆98Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 8 months ago
- Implementation of Plonk by Hand in rust☆61Updated last year
- A minimal based rollup implementation that is easy to understand and extend☆33Updated this week
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆27Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆107Updated last month
- client side proving☆28Updated last month
- A monorepo of reusable Noir circuits.☆39Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- A simple, modern, ergonomic JSON-RPC router, using tower and axum☆52Updated last week
- Smart contracts for onchain verification of SP1.☆88Updated last month
- Benchmarking Polynomial Commitments☆49Updated last year
- The Spire Based Stack☆17Updated this week
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago