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

A privacy pool implementation in noir

A Swiss knife for Noir

Noir implementation of passport verification circuits

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

Rust wrapper for Noir circuits integration.

Develop Noir with Hardhat without hassle.

No description provided.

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

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

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

ROFL implementation for ZK FastApi Safe endpoint

Deploy and verify your circuits from your shell

Prove you are eligible to any RWA policy - Privately

A JWT Verification and Claims Attestation Library for Noir.

Research and comparison of hashing algorithms for zk-protocol arithmetic scheme

Swift package for Noir prover with Barretenberg backend

📚️ A repository for showcasing my knowledge of the Noir programming language, and continuing to learn the language.

Track and Verify sustainability practices of companies using ZK proofs | Built during V0RTEx 01 : A Scroll Hackathon

The Noir community's crate registry