Alternatives and similar repositories for herodotus-evm:

Users that are interested in herodotus-evm are comparing it to the libraries listed below

• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated last month
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated last year
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆26Updated last year
• pluto / edge
  client side proving
  ☆28Updated 3 weeks ago
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 6 months ago
• HerodotusDev / solidity-mmr
  Solidity Merkle Mountain Range library
  ☆12Updated 8 months ago
• personaelabs / merkle-tree
  ☆31Updated last year
• zkemail / noir-jwt
  Noir library to verify JWT tokens, and prove claims.
  ☆22Updated 3 weeks ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆32Updated last year
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆27Updated 2 months ago
• succinctlabs / plonky2x-example
  An example of how to build an end-to-end dApp with plonky2x
  ☆22Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• rkdud007 / sp1-storage-proof
  storage proof made by sp1
  ☆24Updated 6 months ago
• porco-rosso-j / zk-ecdsAA
  ERC4337-based social recovery wallet with Noir zk-ecdsa
  ☆21Updated last year
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆16Updated 4 months ago
• vacekj / air-fried-gyatt
  Breathe air
  ☆23Updated 10 months ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• defi-wonderland / aztec-patterns
  ☆16Updated last year
• axiom-crypto / axiom-sdk-core
  Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.
  ☆36Updated 11 months ago
• 0xfuturistic / prime-field-arithmetic
  🍭 A Solidity library for prime field arithmetic
  ☆16Updated last year
• HerodotusDev / cairo-lib
  A comprehensive library for Cairo 🐺
  ☆38Updated last month
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆13Updated 5 months ago
• lucadonnoh / graphiro
  A graph library built with Cairo
  ☆28Updated 2 years ago
• BadBoiLabs / Cannon-rs
  Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆
  ☆55Updated last year
• DoHoonKim8 / stark-verifier
  ☆49Updated last year
• anthias-labs / arbiter-template
  Minimal template for using the Arbiter framework for simulations.
  ☆46Updated 2 months ago
• emo-eth / the-circus
  Q: What do Seaport Orders and The Circus Have in common? A: They're both intents.
  ☆30Updated last year
• AztecProtocol / aztec-verifier-contracts
  ☆28Updated last year