saurabhchalke / proof-of-peaceLinks
Zero-Knowledge Proof for Nuclear Disarmament Verification
β14Updated 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
Sorting:
- β41Updated 5 months ago
- ππ ZK Microphone: Trusted audio in the age of deepfakes ππ Generative AI is a threat to society. It enables disinformation, manipulatβ¦β91Updated last year
- Smart contracts for onchain verification of SP1.β107Updated last month
- ZK Email in Noirβ73Updated last month
- Curated list of ZKML models and use cases made with Gizaβ51Updated last year
- β59Updated 8 months ago
- A curated list of awesome Fully Homomorphic Encryption (FHE) x Blockchain resources, libraries, projects, and more.β48Updated last year
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.β35Updated last year
- A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regexβ¦β95Updated this week
- Email verification circuit in halo2β67Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.β127Updated this week
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereumβ93Updated 3 months ago
- β16Updated last year
- β94Updated 11 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.β51Updated last year
- A monorepo of reusable Noir circuits.β43Updated last month
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to useβ53Updated 3 months ago
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.β49Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundryβ138Updated last month
- β42Updated last year
- BitVM Groth16 Verifier Toolkit - WIPβ77Updated last year
- All of Aztec's workshops, resources, tutorials, ideas, and useful toolsβ61Updated this week
- bignumβ27Updated this week
- The PSE websiteβ23Updated this week
- β40Updated 8 months ago
- Circom interpreter to arithmetic circuit descriptionβ55Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.β61Updated 11 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.β106Updated 3 weeks ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)β83Updated 2 weeks ago
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable prβ¦β76Updated last year