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 formal verification

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

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

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

Prove you are eligible to any RWA policy - Privately