noir-lang
There are 27 repositories under noir-lang topic.
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
colinnielsen/ecrecover-noir
A Noir circuit that mimics Solidity's ecrecover
lambdaclass/noir_backend_using_gnark
A Noir's backend implementation using Gnark
reilabs/lampe
Extracting the semantics of Noir to Lean for formal verification
olehmisar/zklogin
Sign in with Apple/Google on Base. Self-custodial.
olehmisar/nodash
A Swiss knife for Noir
Hyle-org/vibe-check
A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
colinnielsen/noir-u2b
u(ints) -> b(yte arrays)
circuitscan/circuitscan
Verifications for deployed circuit verifiers
Envoy-VC/zk-guesser
Geo guessing with a twist! Prove your location guesses without revealing them using zero-knowledge proofs.
ivpavici/awesome-aztec
A curated list of awesome Aztec resources, libraries, tools and more
olehmisar/hardhat-noir
Develop Noir with Hardhat without hassle.
ax0/noir-mode
Emacs major mode for Aztec's Noir ZK DSL
circuitscan/cli
Deploy and verify your circuits from your shell
olehmisar/noir-directory
The Noir community's crate registry
RuntimeTerror-Labs/CelestialWallet
On-Chain Non-custodial Wallet Powered by ZK-Proofs
zubietaroberto/zkvax
A proof of concept Vaccination Registry in the Ethereum Blockchain with privacy enforced by Zero Knowledge Proofs
0x18a6/noir-puzzles
solutions for Noir puzzles
0x18a6/sudoku-verifier
ZK suduko with Noir
0xAlphaDevs/zkCreditScore
Prove your credit worthiness using zk proofs
circuitscan/noir-pipeline
Noir compilation pipeline for Circuitscan
FusionFraxtalBuild/circuits
Circuits of Fusion - zk-Based Multi-chain Smart Contract Wallet
hooperben/pubtc
Private Unstoppable Bitcoin, my project for the Citrea Hacker House
mysteryon88/zk-hashes
Research and comparison of hashing algorithms for zk-protocol arithmetic scheme
tuhoag/zkSSI
A zero-knowledge self-sovereign identity framework enables verifying attribute-based access control policies on-chain and off-chain.
AB7zz/noirjs-learn
Experimenting with noir-lang
mr-harshtyagi/Eco-Track
Track and Verify sustainability practices of companies using ZK proofs | Built during V0RTEx 01 : A Scroll Hackathon