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
- Contracts for onchain verification of SP1.☆59Updated last week
- ZK Email in Noir☆48Updated this week
- Curated list of ZKML models and use cases made with Giza☆47Updated 5 months ago
- Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.☆89Updated this week
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆70Updated this week
- building blocks for accelerating ZK proofs over binary fields☆42Updated 3 months ago
- ☆16Updated 8 months ago
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆93Updated this week
- ZK Benchmarking Suite☆22Updated 7 months ago
- ☆49Updated last month
- Email verification circuit in halo2☆62Updated 4 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 6 months ago
- Tooling for creating collaborative SNARKs for Circom circuits.☆97Updated this week
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆79Updated this week
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- ☆93Updated 2 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆85Updated 3 weeks ago
- Ethereum <> Starknet RPC middleware.☆34Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆57Updated this week
- A testing & development environment for Circom.☆100Updated 2 weeks ago
- Test runner for ethereum foundation tests☆24Updated this week
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆102Updated last year
- Core components of the Polygon Miden rollup☆70Updated this week
- Benchmarks of popular zkVMs including Jolt☆56Updated 6 months ago
- ☆29Updated 2 weeks ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆50Updated this week
- Client library that facilitates interaction with the Miden rollup☆36Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- ☆41Updated 6 months ago