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:
- Smart contracts for onchain verification of SP1.☆98Updated this week
- ZK Email in Noir☆71Updated last week
- Curated list of ZKML models and use cases made with Giza☆49Updated last year
- ☆59Updated 7 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☆53Updated 2 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- On-chain Ethereum light client built with SP1☆57Updated last week
- Rust Library for running the Starknet OS via the Cairo VM☆65Updated 3 weeks ago
- 🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…☆91Updated last year
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆51Updated last year
- ☆42Updated last year
- Ethereum <> Starknet RPC middleware.☆43Updated this week
- ☆51Updated this week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆124Updated this week
- A collection of works discussing the security aspects of StarkNet☆40Updated 5 months ago
- Reference implementation of the node for the Miden blockchain☆66Updated this week
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- ZK proofs for image authenticity☆43Updated this week
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆61Updated last week
- BitVM Groth16 Verifier Toolkit - WIP☆77Updated 11 months ago
- ☆40Updated 7 months ago
- ☆35Updated last month
- Bridge aTokens to Starknet☆45Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 7 months ago
- PoC of Revm execution in SGX☆80Updated last year
- CircomJS is a javascript framework that allows you to automate your Circom workflow in pure javascript.☆49Updated 2 years ago
- Circom interpreter to arithmetic circuit description☆55Updated 9 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆92Updated 3 months ago
- Starknet Core Contract components in Cairo.☆28Updated last week
- A EVM block proving backend in Cairo☆77Updated last week