matter-labs / awesome-zero-knowledge-proofsLinks
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
☆5,610Updated 11 months ago
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,932Updated last week
- A toolbox for zkSNARKs on Ethereum☆1,876Updated last year
- 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,597Updated last week
- zkSnark circuit compiler☆1,504Updated last week
- awesome-zkml repository☆972Updated last week
- A curated list of awesome ZK resources, libraries, tools and more.☆1,515Updated 10 months ago
- ☆1,366Updated last month
- articles, codes and tools all about zero-knowledge proofs☆888Updated 11 months ago
- A guide to available tools and platforms for developing on Ethereum.☆5,426Updated 5 months ago
- zk-SNARK library.☆1,090Updated last year
- ☆1,863Updated 4 months ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆1,971Updated this week
- A fast, secure, and portable multichain light client for Ethereum☆2,017Updated last week
- A zero-knowledge protocol for anonymous interactions.☆1,008Updated this week
- C++ library for zkSNARKs☆1,889Updated 2 months ago
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆725Updated 2 months ago
- ☆831Updated 2 months ago
- ☆1,759Updated 4 months ago
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,096Updated 2 weeks ago
- A guide to smart contract security best practices☆7,574Updated 5 months ago
- Rust implementation of the Ethereum Virtual Machine.☆1,968Updated this week
- The Halo2 zero-knowledge proving system☆823Updated last month
- Dapp, Seth, Hevm, and more☆2,132Updated 6 months ago
- A compilation of patterns and best practices for the smart contract programming language Solidity☆3,287Updated last year
- Web3/Solidity based wargame☆2,191Updated last week
- Safe allows secure management of blockchain assets.☆2,037Updated 2 weeks ago
- An awesome curated list of Cryptoeconomic research and learning materials☆1,753Updated last year
- Guidelines and training material to write secure smart contracts☆2,390Updated this week
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆9,398Updated this week
- 🌱 Construct Merkle Trees and verify proofs in JavaScript. By @miguelmota☆1,219Updated 4 months ago