Noir is a domain specific language for zero knowledge proofs

Like Safe... but secret 🥷🏽

A Noir circuit that mimics Solidity's ecrecover

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

A Noir's backend implementation using Gnark

Extracting the semantics of Noir to Lean for formal verification

A Swiss knife for Noir

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

A privacy pool implementation in noir

Develop Noir with Hardhat without hassle.

u(ints) -> b(yte arrays)

Geo guessing with a twist! Prove your location guesses without revealing them using zero-knowledge proofs.

Verifications for deployed circuit verifiers

A curated list of awesome Aztec resources, libraries, tools and more

Indexed Merkle Trees in Noir and Javascript

Deploy and verify your circuits from your shell

Noir implementation of HMAC(Hash-based Message Authentication Code)

A JWT Verification and Claims Attestation Library for Noir.

Private Unstoppable Bitcoin, my project for the Citrea Hacker House