Here are
48 public repositories
matching this topic...
Noir is a domain specific language for zero knowledge proofs
Updated
Jul 22, 2025
Rust
Like Safe... but secret 🥷🏽
Updated
Jan 8, 2025
Solidity
A Noir circuit that mimics Solidity's ecrecover
Updated
Jun 18, 2025
Noir
Sign in with Apple/Google on any EVM chain. Self-custodial.
Updated
Mar 12, 2025
TypeScript
A Noir's backend implementation using Gnark
Extracting the semantics of Noir to Lean for formal verification
Updated
Jul 17, 2025
Lean
Updated
Jun 24, 2025
Noir
A privacy pool implementation in noir
Updated
Jul 17, 2025
TypeScript
A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.
Updated
Oct 21, 2024
Cairo
Develop Noir with Hardhat without hassle.
Updated
Jun 11, 2025
TypeScript
Updated
Jul 22, 2025
JavaScript
Updated
Feb 12, 2024
Roff
Verifications for deployed circuit verifiers
Updated
Jul 9, 2025
JavaScript
Geo guessing with a twist! Prove your location guesses without revealing them using zero-knowledge proofs.
Updated
Jun 18, 2024
Solidity
A curated list of awesome Aztec resources, libraries, tools and more
Indexed Merkle Trees in Noir and Javascript
Updated
May 2, 2025
JavaScript
ROFL implementation for ZK FastApi Safe endpoint
Updated
Jul 20, 2025
Python
Deploy and verify your circuits from your shell
Updated
Jul 9, 2025
JavaScript
📚️ A repository for showcasing my knowledge of the Noir programming language, and continuing to learn the language.
Updated
Nov 28, 2024
Noir
Private Unstoppable Bitcoin, my project for the Citrea Hacker House
Updated
Jan 26, 2025
Solidity
Improve this page
Add a description, image, and links to the
noir-lang
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
noir-lang
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.