matter-labs / awesome-zero-knowledge-proofsLinks
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
☆5,597Updated 10 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:
- A toolbox for zkSNARKs on Ethereum☆1,874Updated last year
- zkSNARK implementation in JavaScript & WASM☆1,923Updated last week
- zkSnark circuit compiler☆1,495Updated last week
- 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,594Updated last week
- zk-SNARK library.☆1,084Updated last year
- awesome-zkml repository☆965Updated last week
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,083Updated 2 months ago
- articles, codes and tools all about zero-knowledge proofs☆886Updated 10 months ago
- ☆1,862Updated 3 months ago
- ☆1,368Updated 3 weeks ago
- A zero-knowledge protocol for anonymous interactions.☆1,006Updated last week
- A curated list of ZK/FHE resources and links. 👇 Click below for the website version.☆724Updated 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,114Updated this week
- ☆823Updated last year
- A guide to available tools and platforms for developing on Ethereum.☆5,423Updated 5 months ago
- RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.☆1,957Updated this week
- Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.☆2,059Updated this week
- ☆828Updated last month
- A curated list of awesome ZK resources, libraries, tools and more.☆1,510Updated 10 months ago
- A guide to smart contract security best practices☆7,569Updated 4 months ago
- C++ library for zkSNARKs☆1,888Updated 2 months ago
- Emerging smart contract language for the Ethereum blockchain.☆1,676Updated 2 weeks ago
- Library of basic circuits for circom☆674Updated 4 months ago
- Ethereum Proof-of-Stake Consensus Specifications☆3,770Updated this week
- A fast, secure, and portable multichain light client for Ethereum☆2,007Updated this week
- Noir is a domain specific language for zero knowledge proofs☆1,140Updated this week
- ☆1,745Updated 3 months ago
- A STARK prover and verifier for arbitrary computations☆866Updated 3 weeks ago
- The Halo2 zero-knowledge proving system☆815Updated last week
- An awesome curated list of Cryptoeconomic research and learning materials☆1,751Updated last year