Alternatives and similar repositories for zkProver

Users that are interested in zkProver are comparing it to the libraries listed below

• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆35Updated 2 years ago
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 3 years ago
• OpenZeppelin / minimal-rollup
  A minimal based rollup implementation that is easy to understand and extend
  ☆46Updated 2 months ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆83Updated 2 years ago
• Philogy / transient-goodies
  ☆44Updated last year
• 0xKitsune / sstan
  Solidity static analyzer
  ☆82Updated 2 years ago
• AmadiMichael / p256-verifier-huff
  Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
  ☆26Updated last year
• jtriley2p / mutexer
  ☆58Updated last year
• shafu0x / huff-stacker
  The goal of this project is to automatically generate stack comments for huff macros
  ☆50Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆42Updated 3 years ago
• OptimizorClub / sqrt_foundry_template
  Foundry template for the Optimizor Club SQRT challenge
  ☆57Updated 3 years ago
• verklegarden / crysol
  secp256k1 elliptic curve cryptography in pure Solidity for on- and offchain operations
  ☆61Updated 4 months ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain in a zero-knowledge virtual machine
  ☆84Updated 2 years ago
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆52Updated last year
• hrkrshnn / tstore-template
  ☆41Updated 2 years ago
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆56Updated last year
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated last year
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆33Updated last year
• Philogy / safeconsole
  ☆51Updated 2 years ago
• marktoda / sponsor
  Sponsored transactions using Permit2
  ☆43Updated 2 years ago
• PaulRBerg / foundry-multibuild
  GitHub Action for building a Foundry project with a range of Solidity versions
  ☆41Updated 4 months ago
• wighawag / forge-exec
  Execute programs from forge with an open 2-way communication channel between both
  ☆56Updated last year
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 3 years ago
• 0xfuturistic / sandwich-mitigating-uniswap-v2
  🥪🦄 Uniswap V2 but resistant to sandwich attacks
  ☆43Updated last year
• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 3 years ago
• ControlCplusControlV / Yul-Optimization-Tips
  ☆52Updated 3 years ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆78Updated 2 years ago