Alternatives and similar repositories for reva:

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

• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated 9 months ago
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• privacy-scaling-explorations / researches
  ☆10Updated 2 years ago
• Maddiaa0 / solidity-circuits
  Write Zero Knowledge Circuits in Solidity
  ☆13Updated last year
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 3 months ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated 11 months ago
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆35Updated this week
• CPerezz / Awesome-crypto-articles
  A list of worth-reading articles about Cryptohraphy
  ☆16Updated 8 months ago
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 7 months ago
• nerolation / eth-gas-limit-analysis
  This repo hosts the code for an analysis on Ethereum gas limit.
  ☆18Updated last year
• iden3 / circom-witnesscalc
  ☆13Updated this week
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆28Updated 3 months ago
• lita-xyz / reth-valida
  revm/reth block proving on Valida
  ☆16Updated last month
• 0xpolarzero / gas-metering-comparison
  Comparing gas measurements from Forge, Hardhat, Tevm and forge-gas-metering against testnet transactions.
  ☆17Updated last year
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• chancehudson / circom-stark
  ☆13Updated 3 months ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• han0110 / halo2-kzg-srs
  ☆33Updated last year
• nikkolasg / halo2-circuits
  ☆28Updated 3 years ago
• geometryxyz / fk
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Updated 2 years ago
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆15Updated 4 months ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated last month
• privacy-scaling-explorations / rln
  ☆18Updated 2 years ago
• zhenfeizhang / pasta-solidity
  A Solidity implementation of Halo2's Pasta curves
  ☆49Updated last year
• privacy-scaling-explorations / DefinitelySetup
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆21Updated 2 weeks ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated last year