NoirScrollDemo
noir
NoirScrollDemo | noir | |
---|---|---|
1 | 4 | |
2 | 797 | |
- | 3.4% | |
5.5 | 9.9 | |
6 months ago | about 17 hours ago | |
Solidity | Rust | |
- | 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.
NoirScrollDemo
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
What are some alternatives?
metamask-extension - :globe_with_meridians: :electric_plug: The MetaMask browser extension enables browsing Ethereum blockchain enabled websites
barretenberg - C++ elliptic curve library
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