TaceoLabs / noir-poseidonView external linksLinks
☆18Updated this week
Alternatives and similar repositories for noir-poseidon
Users that are interested in noir-poseidon are comparing it to the libraries listed below
Sorting:
- ☆21Aug 23, 2024Updated last year
- Extractable Witness Encryption for KZG Commitments☆32Nov 29, 2024Updated last year
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 11 months ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Jan 26, 2024Updated 2 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated 11 months ago
- Breathe air☆25May 19, 2024Updated last year
- A monorepo of reusable Noir circuits.☆47Jan 24, 2026Updated 3 weeks ago
- Client side zero-knowledge proving.☆101Updated this week
- A monorepo for vOPRF-based secure nullifiers☆19Apr 13, 2025Updated 10 months ago
- This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust☆49Jun 4, 2025Updated 8 months ago
- client side proving☆39Mar 12, 2025Updated 11 months ago
- ☆24Oct 13, 2023Updated 2 years ago
- Circuits for making ZK proofs about Baby Jub Jub ECDSA signatures☆22Nov 6, 2024Updated last year
- ☆58Updated this week
- Implementation of FALCON and its variants for Ethereum☆39Feb 9, 2026Updated last week
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated 6 months ago
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆212Updated this week
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Jul 13, 2025Updated 7 months ago
- Semaphore v4 implemented in Rust☆10Oct 7, 2025Updated 4 months ago
- Elliptic curve operations written in rust.☆13Jul 16, 2024Updated last year
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- A backend agnostic modular FHE library over the Torus using bivariate polynomial representation☆51Jan 17, 2026Updated 3 weeks ago
- ☆31Oct 27, 2025Updated 3 months ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Initial Rust implementation of FAEST☆13Jul 6, 2023Updated 2 years ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 9, 2026Updated last week
- Easy setup for Halo2 ZK circuits☆15Jun 6, 2024Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- A simple template to generate ZK proofs with Noir on mobile using React Native☆33Jul 28, 2025Updated 6 months ago
- [RFC9380] Hash to curves - Rust reference implementation☆28Mar 10, 2024Updated last year
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆59Nov 22, 2025Updated 2 months ago
- ☆66May 13, 2025Updated 9 months ago
- A proof-of-concept implementation of KiloNova☆12Oct 15, 2024Updated last year
- Binius circuits web demos☆14Dec 15, 2024Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- Witness encryption for KZG openings☆33Nov 6, 2024Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 5 months ago