saurabhchalke / proof-of-peace
Zero-Knowledge Proof for Nuclear Disarmament Verification
☆16Updated last year
Alternatives and similar repositories for proof-of-peace:
Users that are interested in proof-of-peace are comparing it to the libraries listed below
- Smart contracts for onchain verification of SP1.☆88Updated last month
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆104Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆50Updated 10 months ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- Curated list of ZKML models and use cases made with Giza☆48Updated 10 months ago
- Step by step implementation of KZG☆19Updated 6 months ago
- ☆57Updated 5 months ago
- Reference implementation of the node for the Polygon Miden rollup☆61Updated last week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆140Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆62Updated last week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 8 months ago
- ZK Email in Noir☆68Updated this week
- Email verification circuit in halo2☆68Updated 9 months ago
- barretenburg in rust (here we go)☆98Updated last year
- Create MPC apps with TypeScript.☆38Updated 2 weeks ago
- ZKM Development Template/Framework☆25Updated last week
- EigenLayer Rust Developer Tooling☆87Updated this week
- Client library that facilitates interaction with the Miden rollup☆45Updated this week
- Core components of the Polygon Miden rollup☆77Updated this week
- Implementation of zero-knowledge proof circuits for Tendermint.☆81Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated 2 weeks ago
- ☆73Updated this week
- Circom interpreter to arithmetic circuit description☆53Updated 7 months ago
- ☆64Updated 11 months ago
- ☆51Updated this week
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆92Updated this week
- A collection of ZK light client libraries for various blockchains☆49Updated 4 months ago