Rust crate to generate and verify proofs for Noir circuits
☆28Apr 16, 2026Updated last month
Alternatives and similar repositories for noir_rs
Users that are interested in noir_rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Noir support for Zed☆11Mar 23, 2026Updated last month
- Noir library to verify JWT tokens, and prove claims.☆32Dec 4, 2025Updated 5 months ago
- Semaphore Protocol with Noir.☆12Mar 14, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 10 months ago
- Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.☆16Apr 16, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆31Jul 5, 2025Updated 10 months ago
- ☆22Feb 19, 2026Updated 3 months ago
- Safer than SafeMath. Goes up to 11!☆39Apr 21, 2025Updated last year
- IMP1 - Ingonyama Mobile Prover, built with ICICLE☆29Aug 4, 2025Updated 9 months ago
- ☆18Apr 8, 2026Updated last month
- CommitLLM is a cryptographic commit-and-audit protocol for open-weight LLM inference.☆94May 1, 2026Updated 2 weeks ago
- Better assertion macros for pure Huff tests.☆19Oct 2, 2023Updated 2 years ago
- ☆15Apr 8, 2026Updated last month
- Rust implementation of (the non-interactive, non-ZK version of) the Ligero SNARK for arithmetic circuits.☆20Oct 28, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- All we want is revm and commonware. Leave everything else at the door.☆52Feb 2, 2026Updated 3 months ago
- A Swiss knife for Noir☆17Apr 13, 2026Updated last month
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 7 months ago
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆56Nov 3, 2025Updated 6 months ago
- client side proving☆38Mar 12, 2025Updated last year
- A Huff compiler implemented in Racket☆22Mar 7, 2025Updated last year
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆11Nov 21, 2024Updated last year
- bignum☆30Apr 13, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Extracting the semantics of Noir to Lean for formal verification☆40Updated this week
- Read dex state (e.g. Uniswap) from reth db☆29Oct 20, 2024Updated last year
- Kolu is an identification friend or foe (IFF) system for drones - European Defense Tech Hackathon 2025 LDN☆13Sep 28, 2025Updated 7 months ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆17Apr 16, 2024Updated 2 years ago
- A markdown based view of the Logos roadmap☆19Updated this week
- A Starknet toolkit☆15Mar 6, 2025Updated last year
- ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs☆88May 7, 2026Updated last week
- A mixer for Substrate using multiple zero-knowledge backends.☆35Jan 20, 2023Updated 3 years ago
- Keybase Local Key Security implementation, using Ipfs-Embed + Substrate☆33Oct 21, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆14Oct 19, 2024Updated last year
- ☆29Oct 31, 2025Updated 6 months ago
- Rust library for caching and retrieving EVM state with a simple interface and efficient implementation.☆18May 31, 2024Updated last year
- ☆11Apr 2, 2026Updated last month
- Falcon (https://falcon-sign.info/) signature aggregation with LaBRADOR in Rust☆22Sep 9, 2025Updated 8 months ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆61May 11, 2026Updated last week
- This repo includes the base contracts and circuits for the Bank of JubJub.☆10Feb 18, 2025Updated last year