☆62Aug 21, 2023Updated 2 years ago
Alternatives and similar repositories for proof-of-innocence
Users that are interested in proof-of-innocence are comparing it to the libraries listed below
Sorting:
- A Cairo VM prover implemented using Winterfell☆17May 4, 2023Updated 2 years ago
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 6 months ago
- Comprehensive collection of reusable, standardized contracts for the Aztec Network☆32Updated this week
- A Rust library for proof-carrying disclosures☆23Apr 10, 2024Updated last year
- A curated list of reputation systems☆33Dec 9, 2022Updated 3 years ago
- Build your zkp app with typescript, hardhat, circom, and snarkjs!☆226Dec 12, 2023Updated 2 years ago
- Bitcoin DA Adapter for Sovereign SDK☆46Mar 28, 2024Updated last year
- ☆20Nov 3, 2025Updated 4 months ago
- ☆24Mar 2, 2025Updated last year
- ☆15Feb 14, 2024Updated 2 years ago
- ☆13Jul 27, 2022Updated 3 years ago
- Implementation of incrementally verifiable ledger system☆18Mar 24, 2021Updated 4 years ago
- ☆14Oct 11, 2024Updated last year
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 3 months ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60May 19, 2023Updated 2 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 4 months ago
- Rarime is a MetaMask Snap that safely holds any of your credentials and allows you to prove your identity without revealing any personal …☆12Oct 10, 2025Updated 5 months ago
- Starknet Native Single Collateral USD with L1 Liquidity | Starknet Grantee☆12Jul 16, 2022Updated 3 years ago
- Proof of concept implementation of sumcheck over fields of small characteristics.☆20May 16, 2025Updated 10 months ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆60May 19, 2023Updated 2 years ago
- ☆25Feb 2, 2024Updated 2 years ago
- ☆21Apr 16, 2023Updated 2 years ago
- ☆12Sep 11, 2024Updated last year
- ☆25Feb 21, 2025Updated last year
- A boilerplate template for using TypeScript, Hardhat, Solidity, Next.js, Tailwind CSS, and MetaMask.☆24Sep 7, 2021Updated 4 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.☆257Mar 10, 2026Updated last week
- High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation☆22Apr 12, 2019Updated 6 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆11Sep 28, 2025Updated 5 months ago
- Clementine repository☆106Mar 13, 2026Updated last week
- RLN on KZG☆21Sep 20, 2023Updated 2 years ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- A lattice-based non-interactive folding scheme written in Rust☆126Dec 17, 2025Updated 3 months ago
- Batching zero over k checks☆11Feb 11, 2023Updated 3 years ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- Bitcoin DSL for scripting layer two contracts and interactions with bitcoin nodes☆20Aug 22, 2024Updated last year
- ☆49Mar 13, 2026Updated last week
- ☆26Apr 15, 2025Updated 11 months ago