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
- ☆31Updated last week
- Smart contracts for onchain verification of SP1.☆68Updated this week
- ZK Email in Noir☆57Updated this week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 9 months ago
- Cairo STARK proof verifier for Starknet☆70Updated this week
- Ethereum <> Starknet RPC middleware.☆35Updated this week
- ☆41Updated 9 months ago
- Benchmarks of popular zkVMs including Jolt☆58Updated 9 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆39Updated last week
- Resources for learning Noir from ZKCamp's Aztec Course☆47Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆71Updated 3 weeks ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- ☆49Updated this week
- Rust Library for running the Starknet OS via the Cairo VM☆60Updated this week
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- ☆95Updated 5 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆73Updated this week
- snapchain prototype☆71Updated this week
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆70Updated this week
- ☆54Updated 2 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆86Updated this week
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex…☆86Updated 2 weeks ago
- A performant, type-1 zkEVM written in Rust & SP1.☆128Updated 3 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆88Updated 2 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated 11 months ago
- ☆35Updated last year
- BitVM Groth16 Verifier Toolkit - WIP☆75Updated 6 months ago
- FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE☆31Updated this week