matter-labs / awesome-zero-knowledge-proofsLinks
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
☆5,703Updated last year
Alternatives and similar repositories for awesome-zero-knowledge-proofs
Users that are interested in awesome-zero-knowledge-proofs are comparing it to the libraries listed below
Sorting:
- zkSNARK implementation in JavaScript & WASM☆1,966Updated last week
- A toolbox for zkSNARKs on Ethereum☆1,880Updated last year
- zkSnark circuit compiler☆1,560Updated last month
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆1,644Updated this week
- A guide to available tools and platforms for developing on Ethereum.☆5,443Updated 8 months ago
- ☆1,884Updated last month
- ☆1,371Updated this week
- zk-SNARK library.☆1,100Updated last year
- articles, codes and tools all about zero-knowledge proofs☆904Updated last year
- A zero-knowledge protocol for anonymous interactions.☆1,029Updated last month
- ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, J…☆1,143Updated last month
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,158Updated 3 weeks ago
- awesome-zkml repository☆1,017Updated 2 months ago
- Noir is a domain specific language for zero knowledge proofs☆1,236Updated this week
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆2,018Updated this week
- A guide to smart contract security best practices☆7,588Updated 8 months ago
- ☆842Updated 4 months ago
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆730Updated 4 months ago
- A compilation of patterns and best practices for the smart contract programming language Solidity☆3,317Updated last year
- Web3/Solidity based wargame☆2,248Updated last week
- Emerging smart contract language for the Ethereum blockchain.☆1,704Updated last week
- A fast, secure, and portable multichain light client for Ethereum☆2,070Updated 2 weeks ago
- The Halo2 zero-knowledge proving system☆851Updated 3 months ago
- An awesome curated list of Cryptoeconomic research and learning materials☆1,763Updated last year
- Ethereum Proof-of-Stake Consensus Specifications☆3,845Updated this week
- ☆1,825Updated 2 weeks ago
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆9,844Updated this week
- A curated list of awesome ZK resources, libraries, tools and more.☆1,559Updated last year
- C++ library for zkSNARKs☆1,908Updated 5 months ago
- Tornado cash. Non-custodial private transactions on Ethereum.☆1,629Updated 3 years ago