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,855Updated 7 months ago
• iden3 / snarkjs
  zkSNARK implementation in JavaScript & WASM
  ☆1,851Updated last week
• 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,517Updated this week
• Consensys / smart-contract-best-practices
  A guide to smart contract security best practices
  ☆7,563Updated 8 months ago
• iden3 / circom
  zkSnark circuit compiler
  ☆1,432Updated 2 weeks ago
• Consensys / mythril
  Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…
  ☆3,985Updated last week
• starkware-libs / cairo-lang
  ☆1,365Updated last month
• sec-bit / learning-zkp
  articles, codes and tools all about zero-knowledge proofs
  ☆860Updated 5 months ago
• a16z / helios
  A fast, secure, and portable multichain light client for Ethereum
  ☆1,956Updated this week
• ventali / awesome-zk
  A curated list of awesome ZK resources, libraries, tools and more.
  ☆1,473Updated 5 months ago
• foundry-rs / foundry
  Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
  ☆8,752Updated this week
• gakonst / ethers-rs
  Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
  ☆2,518Updated 6 months ago
• zkcrypto / bellman
  zk-SNARK library.
  ☆1,064Updated 8 months ago
• Consensys / ethereum-developer-tools-list
  A guide to available tools and platforms for developing on Ethereum.
  ☆5,396Updated 2 weeks ago
• 0xPolygonZero / plonky2
  ☆806Updated last week
• crytic / slither
  Static Analyzer for Solidity and Vyper
  ☆5,582Updated last week
• safe-global / safe-smart-account
  Safe allows secure management of blockchain assets.
  ☆1,966Updated last week
• crytic / echidna
  Ethereum smart contract fuzzer
  ☆2,852Updated 2 weeks ago
• hyperledger-solang / solang
  Solidity Compiler for Solana, Polkadot and Stellar
  ☆1,309Updated last week
• scipr-lab / libsnark
  C++ library for zkSNARKs
  ☆1,864Updated last year
• fravoll / solidity-patterns
  A compilation of patterns and best practices for the smart contract programming language Solidity
  ☆3,231Updated 11 months ago
• zcash / halo2
  The Halo2 zero-knowledge proving system
  ☆767Updated 3 months ago
• ethereum / research
  ☆1,834Updated 4 months ago
• bkrem / awesome-solidity
  ⟠ A curated list of awesome Solidity resources, libraries, tools and more
  ☆6,753Updated 7 months ago
• dapphub / dapptools
  Dapp, Seth, Hevm, and more
  ☆2,120Updated last month
• eth-infinitism / account-abstraction
  ☆1,637Updated this week
• semaphore-protocol / semaphore
  A zero-knowledge protocol for anonymous interactions.
  ☆965Updated last week
• OpenZeppelin / ethernaut
  Web3/Solidity based wargame
  ☆2,090Updated 2 weeks ago
• transmissions11 / solmate
  Modern, opinionated, and gas optimized building blocks for smart contract development.
  ☆4,056Updated 4 months ago
• risc0 / risc0
  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
  ☆1,815Updated this week