Alternatives and similar repositories for riscv-emulator-challenge

Users that are interested in riscv-emulator-challenge are comparing it to the libraries listed below

• scroll-tech / zkvm-prover

  View on GitHub
  Guest programs and prover SDK for Scroll's zero-knowledge rollup proof generation architecture
  ☆28Jan 21, 2026Updated 3 weeks ago
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 10 months ago
• EDGDrummond / EF-grant

  View on GitHub
  ☆22Nov 1, 2023Updated 2 years ago
• pseXperiments / cuda-sumcheck

  View on GitHub
  Experimental implementation of Sumcheck protocol using CUDA
  ☆22Nov 14, 2024Updated last year
• therealyingtong / plonkathon

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• Moonsong-Labs / cairo-bootloader

  View on GitHub
  Cairo bootloader port for the Rust Cairo VM.
  ☆12Jul 3, 2024Updated last year
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆136Updated this week
• Okm165 / stwo-web-stark

  View on GitHub
  Client-side proving, trace generation, and proof verification using STWO in a web-based interface. 👇
  ☆29May 30, 2025Updated 8 months ago
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• op-rs / maili

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated 11 months ago
• kadenzipfel / huff-tools

  View on GitHub
  A set of tools for use with the huff language.
  ☆21Jun 24, 2022Updated 3 years ago
• enricobottazzi / halo2-intro

  View on GitHub
  ☆30Mar 24, 2023Updated 2 years ago
• geometryxyz / halo2-cq

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated 2 weeks ago
• ruleslabs / marketplace

  View on GitHub
  ⚖️ Rules marketplace contract
  ☆13Nov 24, 2023Updated 2 years ago
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆152Feb 6, 2026Updated last week
• NethermindEth / verify-everything

  View on GitHub
  Aims to create various ZK verifiers on Starknet for network growth
  ☆18Nov 19, 2025Updated 2 months ago
• MiragePrivacy / azoth

  View on GitHub
  A deterministic EVM bytecode obfuscator written in Rust
  ☆27Feb 4, 2026Updated last week
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 4 months ago
• jtguibas / halo2-merkle-tree

  View on GitHub
  ☆18Mar 28, 2023Updated 2 years ago
• zksecurity / pumice

  View on GitHub
  An API compatible port of the Stone prover.
  ☆19Nov 4, 2024Updated last year
• NethermindEth / stwo-gpu

  View on GitHub
  ☆20Jun 20, 2025Updated 7 months ago
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• ClementWalter / cairo-vm-df

  View on GitHub
  A dataframe approach to the Cairo framework
  ☆17Feb 10, 2025Updated last year
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• zkpassport / noir_rs

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆24Updated this week
• lambdaclass / pinocchio_lambda_vm

  View on GitHub
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Jul 25, 2023Updated 2 years ago
• tcoratger / whir-p3

  View on GitHub
  ☆58Updated this week
• ondrejsojka / cairo-migration-prompt

  View on GitHub
  Prompt for GPT-4 to migrate Cairo 0 to Cairo 1
  ☆23May 4, 2023Updated 2 years ago
• lambdaclass / cairo-vm-py

  View on GitHub
  cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
  ☆23Jun 29, 2023Updated 2 years ago
• alexander-camuto / rs-gkr

  View on GitHub
  ☆21Apr 16, 2023Updated 2 years ago
• arnaucube / math

  View on GitHub
  Notes, code and documents done while reading books and papers.
  ☆21Feb 8, 2026Updated last week
• DelphinusLab / zkWasm-prover

  View on GitHub
  ☆20Jul 10, 2025Updated 7 months ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆50Mar 7, 2024Updated last year
• rkdud007 / awesome-zkvm

  View on GitHub
  A curated list of zkVM, zero-knowledge virtual machine
  ☆301Sep 29, 2025Updated 4 months ago
• 0xPolygonHermez / zisk

  View on GitHub
  ☆175Updated this week
• cysic-labs / ZPrize-23-Prize1

  View on GitHub
  ☆21Sep 22, 2024Updated last year
• LBruyne / Scalable-Collaborative-zkSNARK

  View on GitHub
  Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.
  ☆58Aug 2, 2025Updated 6 months ago
• ingonyama-zk / open-binius

  View on GitHub
  building blocks for accelerating ZK proofs over binary fields
  ☆48Jun 19, 2025Updated 7 months ago