saurabhchalke / proof-of-peace
Zero-Knowledge Proof for Nuclear Disarmament Verification
☆16Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for proof-of-peace
- Curated list of ZKML models and use cases made with Giza☆47Updated 5 months ago
- ☆16Updated 9 months ago
- Smart contracts for onchain verification of SP1.☆59Updated 2 weeks ago
- Learn how to debug a StarkNet smart contract☆47Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 7 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆56Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 3 months ago
- ZK Email in Noir☆49Updated last week
- FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE☆28Updated this week
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- ☆30Updated 3 weeks ago
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- barretenburg in rust (here we go)☆97Updated 10 months ago
- PoC of Revm execution in SGX☆81Updated last year
- Axiom smart contracts☆27Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆50Updated this week
- Reference implementation of the node for the Polygon Miden rollup☆53Updated this week
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆97Updated this week
- ☆29Updated last week
- ☆31Updated 8 months ago
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆72Updated this week
- 🦄 UniswapV3 fork that computes swaps off-chain via a zkVM☆81Updated last year
- Breathe air☆22Updated 6 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆72Updated last month
- ☆41Updated 7 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Ethereum <> Starknet RPC middleware.☆34Updated this week