Alternatives and similar repositories for evm-at-risc0

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

• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• qope / plonky2-bn254-pairing

  View on GitHub
  plonky2 implementation of bn254 pairing
  ☆19Feb 1, 2024Updated 2 years ago
• joshbeal / derecho

  View on GitHub
  A Rust library for proof-carrying disclosures
  ☆23Apr 10, 2024Updated last year
• asonnino / arke

  View on GitHub
  Decentralised Privacy-Preserving Contact Discovery
  ☆18Jul 4, 2023Updated 2 years ago
• lambdaclass / aleo_lambda_blockchain

  View on GitHub
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆15Feb 8, 2023Updated 3 years ago
• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• delendum-xyz / starkvm-compiler

  View on GitHub
  compiler tooling for Stark-based zkVMs
  ☆16Feb 6, 2023Updated 3 years ago
• ed255 / riscu-jolt

  View on GitHub
  RISCU emulator and zk circuit simulator as a reference for a Jolt implementation
  ☆23Dec 11, 2023Updated 2 years ago
• NilFoundation / zkEVM1

  View on GitHub
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Jan 3, 2024Updated 2 years ago
• ed255 / polyexen-demo

  View on GitHub
  Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits
  ☆31Feb 16, 2024Updated 2 years ago
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• morgana-proofs / plonky2-hashchain

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 2 years ago
• jeong0982 / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆73May 20, 2024Updated last year
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• avras / nova-sha256

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated 8 months ago
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆122Feb 25, 2023Updated 2 years ago
• op-rs / durin

  View on GitHub
  A Rust library for creating solvers in the OP Stack's dispute protocol
  ☆19Jan 15, 2024Updated 2 years ago
• geometryxyz / baloo

  View on GitHub
  Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks
  ☆16Jan 1, 2023Updated 3 years ago
• lambdaclass / aleo_lambda_vm

  View on GitHub
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21May 9, 2023Updated 2 years ago
• geometryxyz / fk

  View on GitHub
  https://eprint.iacr.org/2020/1516.pdf
  ☆19Jan 2, 2023Updated 3 years ago
• zk-ml / tachikoma

  View on GitHub
  neural network inference standard for zero-knowledge-proof systems
  ☆34Oct 9, 2023Updated 2 years ago
• matter-labs / era-bellman-cuda

  View on GitHub
  A library implementing GPU-accelerated cryptographic functionality for the zkSync prover
  ☆78Updated this week
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆53Feb 21, 2024Updated last year
• JSeam2 / zkml-server

  View on GitHub
  Server for ZKML
  ☆21Mar 5, 2023Updated 2 years ago
• rkrasiuk / reth-light

  View on GitHub
  ☆23Mar 6, 2023Updated 2 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 2 years ago
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆61May 22, 2023Updated 2 years ago
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• hashcloak / fhe_risc0_zkvm

  View on GitHub
  FHE in the Risc0 zkVM
  ☆25Nov 16, 2023Updated 2 years ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• ingonyama-zk / fast-danksharding

  View on GitHub
  Danksharding Builder with GPU acceleration
  ☆52Sep 10, 2023Updated 2 years ago
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• evmcheb / univ2-wasm

  View on GitHub
  ☆22Sep 1, 2023Updated 2 years ago
• h-hafezi / kzh_fold

  View on GitHub
  ☆28Oct 31, 2025Updated 3 months ago
• SoraSuegami / halo2-rsa

  View on GitHub
  RSA verification circuit using halo2 library.
  ☆58Apr 26, 2023Updated 2 years ago
• axiom-crypto / axiom-eth

  View on GitHub
  ☆94Aug 19, 2024Updated last year