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

• Zokrates / ZoKrates
  A toolbox for zkSNARKs on Ethereum
  ☆1,862Updated 9 months ago
• iden3 / snarkjs
  zkSNARK implementation in JavaScript & WASM
  ☆1,868Updated this week
• iden3 / circom
  zkSnark circuit compiler
  ☆1,458Updated last month
• Consensys / gnark
  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,543Updated this week
• zkcrypto / bellman
  zk-SNARK library.
  ☆1,073Updated 9 months ago
• scipr-lab / libsnark
  C++ library for zkSNARKs
  ☆1,869Updated last year
• ventali / awesome-zk
  A curated list of awesome ZK resources, libraries, tools and more.
  ☆1,483Updated 6 months ago
• sec-bit / learning-zkp
  articles, codes and tools all about zero-knowledge proofs
  ☆866Updated 7 months ago
• OpenZeppelin / ethernaut
  Web3/Solidity based wargame
  ☆2,104Updated 2 weeks ago
• worldcoin / awesome-zkml
  awesome-zkml repository
  ☆923Updated 9 months ago
• Consensys / ethereum-developer-tools-list
  A guide to available tools and platforms for developing on Ethereum.
  ☆5,409Updated last month
• safe-global / safe-smart-account
  Safe allows secure management of blockchain assets.
  ☆1,996Updated last week
• semaphore-protocol / semaphore
  A zero-knowledge protocol for anonymous interactions.
  ☆975Updated this week
• gakonst / ethers-rs
  Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
  ☆2,520Updated 7 months ago
• ConsenSysDiligence / mythril
  Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…
  ☆4,012Updated last week
• dapphub / dapptools
  Dapp, Seth, Hevm, and more
  ☆2,121Updated 2 months ago
• ingonyama-zk / ingopedia
  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
  ☆722Updated 2 months ago
• starkware-libs / cairo-lang
  ☆1,368Updated this week
• zkonduit / ezkl
  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,075Updated this week
• crytic / echidna
  Ethereum smart contract fuzzer
  ☆2,882Updated this week
• 0xPolygonZero / plonky2
  ☆818Updated this week
• ConsenSysDiligence / smart-contract-best-practices
  A guide to smart contract security best practices
  ☆7,571Updated last month
• bluealloy / revm
  Rust implementation of the Ethereum Virtual Machine.
  ☆1,848Updated this week
• crytic / slither
  Static Analyzer for Solidity and Vyper
  ☆5,664Updated 2 weeks ago
• fravoll / solidity-patterns
  A compilation of patterns and best practices for the smart contract programming language Solidity
  ☆3,239Updated last year
• rust-ethereum / evm
  Pure Rust implementation of Ethereum Virtual Machine
  ☆1,243Updated this week
• ethereum / research
  ☆1,846Updated last week
• eth-infinitism / account-abstraction
  ☆1,671Updated 2 weeks ago
• ZenGo-X / multi-party-ecdsa
  Rust implementation of {t,n}-threshold ECDSA (elliptic curve digital signature algorithm).
  ☆1,020Updated last year
• zcash / halo2
  The Halo2 zero-knowledge proving system
  ☆781Updated 4 months ago