noir
NoirScrollDemo
noir | NoirScrollDemo | |
---|---|---|
4 | 1 | |
792 | 2 | |
3.0% | - | |
9.9 | 5.5 | |
5 days ago | 6 months ago | |
Rust | Solidity | |
Apache License 2.0 | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
noir
-
[Aztec Noir + Scroll] Crea ZK DApps fácil
mkdir -p $HOME/.nargo/bin && \ curl -o $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -L https://github.com/noir-lang/noir/releases/download/v0.17.0/nargo-x86_64-unknown-linux-gnu.tar.gz && \ tar -xvf $HOME/.nargo/bin/nargo-x86_64-unknown-linux-gnu.tar.gz -C $HOME/.nargo/bin/ && \ echo 'export PATH=$PATH:$HOME/.nargo/bin' >> ~/.bashrc && \ source ~/.bashrc
-
A beginner's intro to coding zero-knowledge proofs
Noir, built by Aztec, is the newest language of the pack and is under active development. It is distributed as nargo, a rust-based CLI, and as a set of npm packages. The npm packages releases seem to lag slightly behind the crate, which has the bleeding edge features and only got its first stable release a few days ago (early February). Both the rust crate and the npm package can be used to compile Noir programs, generate and verify proofs, and create a verifier Solidity contract.
-
RiB Newsletter #22 - A few tweaks
Noir.
- DSL for Zero Knowledge Proofs
NoirScrollDemo
What are some alternatives?
barretenberg - C++ elliptic curve library
metamask-extension - :globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
risc0 - RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
constantine - Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.
ZoKrates - A toolbox for zkSNARKs on Ethereum
cairo-lang
halo2
halo2-examples - Include halo2 example circuits
leo - 🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
halo2 - The Halo2 zero-knowledge proving system
circomlib - Library of basic circuits for circom
kamu-cli - New generation decentralized data lake and a streaming data pipeline