Alternatives and similar repositories for reva

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

• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated 2 years ago
• iden3 / circom-witnesscalc
  ☆15Updated last week
• privacy-scaling-explorations / researches
  ☆10Updated 2 years ago
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated 2 years ago
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆21Updated last year
• vacp2p / stealth-address-kit
  Implements ERC-5564 for multiple elliptic curves using arkworks-rs
  ☆35Updated this week
• asm-nop / lemma
  ZK Theorem Proving
  ☆10Updated 10 months ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated 2 years ago
• geometryxyz / baloo
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Updated 2 years ago
• ChainSafe / das-prototype
  Research prototypes of Data Availability Sampling for Ethereum (WIP)
  ☆16Updated 2 years ago
• powdr-labs / powdr-revme
  powdr application running Ethereum tests via revm
  ☆18Updated last year
• perama-v / archors
  A tool for single Ethereum archival block state proofs.
  ☆35Updated last year
• clabby / op-reth
  ☆17Updated 2 years ago
• S1nus / blevm
  celestia blobs, evm execution
  ☆20Updated 4 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated 7 months ago
• noir-lang / acvm-backend-barretenberg
  ☆39Updated last year
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆16Updated 6 months ago
• odradev / evm-at-risc0
  ☆17Updated 2 years ago
• informalsystems / malaketh-turbo
  ☆14Updated 3 months ago
• adietrichs / kzg-sharding
  ☆19Updated 2 years ago
• rkdud007 / alloy-merkle-tree
  Minimal Merkle Tree implementations
  ☆30Updated 2 weeks ago
• protolambda / op-mordor
  Highly experimental fault-proof program for Optimism Bedrock
  ☆20Updated 2 years ago
• HerodotusDev / hdp
  Enable smart contracts to perform compute over arbitrary on-chain data in a verifiable manner
  ☆28Updated 4 months ago
• succinctlabs / sp1-tee
  ☆21Updated this week
• malik672 / open-stylus
  openzepplin smart contracts written in rust for arbritum stylus
  ☆13Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• nerolation / eth-gas-limit-analysis
  This repo hosts the code for an analysis on Ethereum gas limit.
  ☆18Updated last year
• Maddiaa0 / solidity-circuits
  Write Zero Knowledge Circuits in Solidity
  ☆13Updated last year
• refcell / varro
  A persistent, robust, and composable proposal service for rollup stacks written in pure rust.
  ☆18Updated 2 years ago
• vicsn / witness-encryption-functional-commitment
  Based on https://eprint.iacr.org/2022/1510
  ☆26Updated 8 months ago