A curated list of resources for learning and programming in Noir.
Click the hamburger button slightly upper-right from here to access the table of content:
- Safe modules for privacy-preserving multi-sig
- zkLogin - Apple/Google account based authentication for EVM smart accounts
- GitClaim - privacy-preserving airdrop claims through proof of GitHub contributions
- z-imburse - automated and privacy-preserving expense reimbursements
- Mezcal - a cutting edge on-chain limit order book dark pool.
- BattleZips - on-chain Battleship
- Dappicom - Nintendo Entertainment System (NES) emulator in Noir for proofs of gameplays / speedruns
- zk-hangman-noir - end-to-end zkDApp demo showcasing the Hangman circuit, EVM contract, and WASM frontend
- Nouns Anonymous Voting - privacy-preserving voting research project for NounsDAO
- Anon-Aadhaar - privacy-preserving verification of Aadhaar (Indian residence ID) through proofs revealing only selected identity information
- Self - identity wallet supporting privacy-preserving proofs of government-issued IDs
- ZKPassport - privacy-preserving proofs of national passports
- anon.world - social media with optional anonymity
- Rate Limiting Nullifiers - spam regulation/rate-limiting in anonymous environments
- StealthNote - message board for people in an organization to anonymously broadcast messages
- MoPro's Benchmarks - benchmarks of Noir programs on mobile and browser
- Semaphore Benchmarks - benchmarks of Semaphore implementations in Noir and Circom
- RSA Benchmarks - benchmarks of the Noir RSA signature verification library
- ECDSA secp256r1 Benchmarks - benchmarks of ECDSA signature verifications across different ZK tech stacks
- Noir Development Bench - development benchmarks of compilation and execution on latest Noir GitHub commits
- Noirlings - A hands-on, interactive way to learn Noir programming language through practical exercises.
- Noirlings.app - Learn Noirlings on your browser, no setup needed.
- Glass Bridge With Noir – A browser-based game that demonstrates Zero-Knowledge Proofs using Noir. Learn by proving a secret path without revealing it.
- ZKCamp's Open Source Noir course
- 6 lectures to give participants the knowledge and skills necessary to build decentralized applications based on ZKPs using Noir
- Lessons include ZKP Fundamentals; An Introduction to Aztec Ecosystem; Noir Basics; Building a Noir Application; and Advanced Noir
- [Video Series] BattleZips-Noir (Source Code)
- Walkthrough of building an on-chain Battleships game using zero-knowledge
- Follow along and build your own game using Noir
- Noir Examples - reference examples of zero-knowledge applications in Noir
- Circuit Examples - demonstration implementation of dot products & Merkle proofs in Noir, Circom and RISC0
- [50 mins] Build your first ZK app with Noir
- NoirHack sessions
- [10 mins] Writing Circuits with Noir (Source Code)
- Nargo setup
- Basic Noir syntax
- Noir interactions in TypeScript
- [20 mins] Painless Zero-Knowledge Circuitry with Noir at ETHDam
- Introduction to Noir
- Simple demo and test
- [20 mins] Private Value Transfer in 10 Lines (Source Code)
- Tornado-like private asset transfer using Merkle proofs
- [1 hr] Circuit Safety and an Introduction to Noir
- Common circuit bugs
- Proving system vulnerabilities
- Unconstrained functions
- [1.5 hrs] ZK dApps - Why, What and How?
- [1.5 hrs] Sudoku in Noir (Source Code)
- [2 hrs] ZK HACK III - Introduction to Noir (Source Code)
- Code-together: Quadratic Voting
- [1.1 hrs] Noir on Scroll Workshop (Part of Source Code)
- Noir xmas camp 2024 [ 3 session noir learning bootcamp ]
- [1.08 hrs] Getting Started with Noir
- [1.05 hrs] Building Applications with Noir
- [1.01 hrs] Circuit Security & Production Readiness with Noir
- Understanding the Technical Aspects of Aztec and Noir
- Noir 101 for Solidity devs in (English) and (Spanish)
- Privacy-preserving KYC with Noir
- An incomplete guide to zk-KYC apps
- Build a Decentralized Voting Application w/ Noir
- hardhat-noir-starter - project template with seamless Hardhat integration
- noir-library-starter - library template
- noir-react-native-starter - mobile development template using React Native
- nargo binary examples - barebones use of nargo binary (and a proving backend) from: simple prove/verify, codegen, to recursion
- noir-recursive - recursion circuit template with UltraHonk in javascript
For package management (e.g. library registry, CLI manager), refer to the package management tooling section.
For library tooling (e.g. input generators, TypeScript implementations), refer to the library-related tooling section.
- Standard Library - standard library that ships with all Noir releases
- ZK Kit Noir - collection of algorithm and utility libraries from Privacy & Scaling Explorations
- BigNum - a library for arithmetic computations of large unsigned integers of any length
- Fraction - a library for accessing fractional number data type in Noir, allowing results that aren't whole numbers
- ZKFloat - a floating point library for Noir
- Complex Numbers - This library offers a comprehensive suite of operations for complex numbers
- Fixed Point Library - The FixedPoint library offers precise fixed-point arithmetic operations tailored for Noir
- Fixed Point Library for scale 2^-16 - an optimized fixed point arithmetic library designed for scale 2^-16.
- Noir Dates - A Noir library to parse and abstract away Dates
- DateTimeNr - A Noir library to parse and abstract away DateTime objects
- nodash - utility library for working with various data types, inspired by Lodash
- Matrix Operations - a library for matrix operations provides functionality for performing various matrix operations
- Statistical Library - Noir Statistical Library is a comprehensive library for statistical computations in the Noir language
- Quantized arithmetic - a library for quantized value operations of zero-point quantization
- U(int)2B(ytes) - a library for converting
u8->u120s to[u8]array
- Base64 - a library for base64 encoding
- Noir Base64 Library - extension of
noir_base64with support for Vectors and Base64 URL encoding and decoding - JSON parser - JSON string parsing, adheres to IETF RFC 8259
- String Utils - wrapper for String in Noir adding methods for common string operations
- String Search - proof of substring existence within a larger string
- zkRegEx - proof of Regular Expression (RegEx) verification
- Sort - efficient sorting of fixed-sized arrays
- Sparse Array - efficient immutable and mutable sparse arrays
- Lib_LinkList - A memory-efficient doubly-linked list implementation for Noir that supports constant-time operations at both ends
- BigCurve - operations over elliptic curves instantiated with an arbitrary prime field
- Pairing over BLS12-381 - Pairing over BLS12-381
- Keccak256 - Keccak256 hashes
- MiMC - MiMC hashes
- Poseidon - Poseidon hashes
- RIPEMD160 - RIPEMD160 hashes
- SHA256 - SHA256 hashes
- SHA512 - SHA512 and SHA384 hashes
- AES - a (naive) implementation of AES encryption and decryption
- ChaCha20 Implementation - a Noir implementation of ChaCha20 as defined by RFC7539
- ElGamal Encryption - Exponential ElGamal Encryption on the Baby Jubjub curve
- Hydra for BN254 - symmetric encryption and decryption
- ECIES - simple implementation of ECIES on the Baby Jubjub curve
- ECDH - simple implementation of ECDH on the Baby Jubjub curve
- BLS12_381 Elliptic Curve Pairing and Signature Verification Library
- EdDSA - EdDSA signature verification
- ECDSA - ECDSA (NIST and Brainpool curves) signature verification
- JWT - Verification of JSON Web Tokens (JWTs) and prove claims
- PLUME - ECDSA-based nullifiers
- RSA - RSA signature verification
- Schnorr - Schnorr signature verification
- WebAuthn/Passkeys - Verification of WebAuthn/Passkeys signatures; verifies signatures produced by
credentials.get
- ZK-Kit: Merkle Trees - verification of (non-)membership proofs and add/update/delete leaves
- Indexed Merkle Tree - Generate and verify proofs of inclusion, exclusion, or insert transition, includes complementary NPM package
- Noir HMAC - hash-based message authentication code
- Cryptographically Secure Pseudo-Random Number Generator - pseudo-random number generation
- Aztec Storage proofs - proving Aztec note inclusion in plain Noir, with verification in JavaScript or Solidity
- ECrecover - ECDSA signature verification and return of source Ethereum address
- Ethereum Storage Proof - proving and verifying historical Ethereum / EVM accounts, storage, logs, receipts & transactions
- Noir Social Verify - zkEmail based proof of GitHub, Google, LinkedIn and X accounts and account details
- Noir Semaphore - Semaphore Protocol adapted to use Noir.
- Convolution - Convolutional Neural Network (CNN) library, including Convolutional layers, Pooling layers, and Linear (fully connected) layers
- ML - neural networks
- SKProof - Scikit-learn compatible Python library for generating ZK proofs of execution
- zkML-Noir - Python ML model Noir transcoding, including various algorithms such as Decision tree, K-Means, XGBoost, FNN, CNN
- Noir Libs by Walnut
- noir-libs by Walnut
- noirupi - Interactive noirup and bbup. Update noir and bb interactively using
noirupiandbbupi
- VS Code Extension - Syntax highlight, error highlight, codelens, etc. (Source Code)
- Neovim Plugin - Syntax highlight, error highlight, etc.
- Emacs Plugin - Syntax highlight (Source Code)
- Zed Plugin - Syntax highlight, LSP support
- Tree-sitter-noir - Tree-sitter grammar for Noir language
- Emacs Tree-sitter Plugin - Syntax highlight (Source Code)
- Noir Static Analyzer by Walnut
- Noir + Barretenberg Profiler - Opcode, execution and proving costs flamegraphing tool
- noir-web – benchmark proving and verification of Noir programs on the browser
- NoirJS - compile and execute Noir programs in JavaScript / TypeScript
- Noir Codegen for TypeScript - generate TypeScript bindings for computing Noir program outputs in TS
- MoPro by PSE - prove and verify Noir programs on mobile (Android and iOS)
- Noir.rs by ZKPassport - prove and verify Noir programs with Rust
- Swoir by ZKPassport - prove and verify Noir programs with Swift on iOS and MacOS
- Noir Android by ZKPassport - prove and verify Noir programs with Kotlin on Android
- hardhat-noir - Hardhat plugin (Source Code)
- foundry-noir-helper - helper library for working with Noir circuits within Foundry.
- coSNARKs - generate witness and prove Noir programs in a Multi-Party Computation network
- Kalypso - generate witness and prove Noir programs in Trusted Execution Environments
- Merkle Tree Generator - generate Noir-library-friendly Pedersen based Merkle trees
- Safecat - generate Noir-library-friendly EdDSA Baby Jubjub Elliptic Curve signatures
- Poseidon2 in TypeScript - a Poseidon2 library in pure TypeScript with support for the implementation used by Noir (over BN254)
- rocq-of-noir - formal verification of Noir programs with Rocq
- lampe - formal verification of Noir programs with Lean
- hunter - mutation-testing of Noir programs
- Barretenberg (UltraHonk / MegaHonk) by Aztec Labs
- coSNARKs by Taceo Labs
- Edge (Supernova) by Pluto
- Plonky2 by Blocksense
- ProveKit (Recursive Groth16) by World
- Sonobe (Nova, HyperNova) by 0xPARC and PSE
- Gnark by Lambdaclass (needs updating)
- Groth16 (needs updating)
- Halo2 by Ethan (needs updating)
- Marlin (needs updating)
- Plonky2 by Eryx (needs updating)
- Plonky3 by Josef (needs updating)
Propose link additions by visiting README.md and click the "pen" icon in the top right corner. Make changes to the file and follow the instructions to create a pull request.
