noir-lang

Noir is a domain specific language for zero knowledge proofs

Sign in with Apple/Google on any EVM chain. Self-custodial.

A Noir circuit that mimics Solidity's ecrecover

Like Safe... but secret 🥷🏽

Extracting the semantics of Noir to Lean for E2E formal verification of circuits

A Noir's backend implementation using Gnark

Compiling Noir to R1CS with witness generation and automatic differentiation binaries

A Swiss knife for Noir

A privacy pool implementation in noir

Noir implementation of passport verification circuits

Rust wrapper for Noir circuits integration.

A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.

Develop Noir with Hardhat without hassle.

Soroban contract for Ultrahonk Verifier

u(ints) -> b(yte arrays)

Starknet privacy toolkit: Tongo private transfers + Noir/Garaga proofs. Demo: donation badge, but tech is general

ZK-gated community where humans and AI agents coexist. 🏅 1st Place — The Synthesis Hackathon (Agents That Keep Secrets). Built on ZKProofport, Base, Noir circuits.

End-to-end Starknet privacy toolkit: Tongo private donation demo + Noir/Garaga verified donor badges

Zero-knowledge proof (ZKP) of a genuine EMV contactless card signing a verifier challenge