succinctlabs/riscv-emulator-challenge external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

succinctlabs/riscv-emulator-challenge

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/succinctlabs/riscv-emulator-challenge)

Close

succinctlabs / riscv-emulator-challengeView on GitHubMore

• External links
• Readme badge

☆31May 21, 2025Updated 9 months ago

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
  ☆29Updated this week
• kkrt-labs / stwo-brainfuck

  View on GitHub
  A ZK-VM for the Brainfuck language, based on Stwo
  ☆34Apr 3, 2025Updated 11 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
  ☆23Nov 14, 2024Updated last year
• Moonsong-Labs / cairo-bootloader

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

  View on GitHub
  ☆11Jan 28, 2023Updated 3 years ago
• 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 9 months ago
• ethproofs / ethproofs

  View on GitHub
  the race to mainnet-grade L1 zkEVMs
  ☆138Mar 1, 2026Updated last week
• kadenzipfel / huff-tools

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

  View on GitHub
  Composable rust types and interfaces specific to the OP Stack. Built on Alloy.
  ☆16Feb 21, 2025Updated last year
• sragss / gpu-sumcheck

  View on GitHub
  ☆12Sep 11, 2024Updated last year
• Th0rgal / verity

  View on GitHub
  Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full forma…
  ☆38Updated this week
• enricobottazzi / halo2-intro

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

  View on GitHub
  ☆14Oct 27, 2023Updated 2 years ago
• ruleslabs / marketplace

  View on GitHub
  ⚖️ Rules marketplace contract
  ☆13Nov 24, 2023Updated 2 years ago
• HerodotusDev / hdp-sp1

  View on GitHub
  Herodotus Data Processor using SP1 as backend
  ☆17Jan 27, 2026Updated last month
• succinctlabs / rsp

  View on GitHub
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆158Updated this week
• MiragePrivacy / azoth

  View on GitHub
  A deterministic EVM bytecode obfuscator written in Rust
  ☆28Feb 4, 2026Updated last month
• NethermindEth / verify-everything

  View on GitHub
  Aims to create various ZK verifiers on Starknet for network growth
  ☆18Nov 19, 2025Updated 3 months ago
• odyssey2077 / halo2-cairo

  View on GitHub
  verify cairo execution in Halo2
  ☆15Sep 12, 2023Updated 2 years ago
• NethermindEth / stwo-gpu

  View on GitHub
  ☆20Jun 20, 2025Updated 8 months ago
• zkpstandard / wg-sigma-protocols

  View on GitHub
  ☆15Sep 20, 2025Updated 5 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
• ClementWalter / cairo-vm-df

  View on GitHub
  A dataframe approach to the Cairo framework
  ☆17Feb 10, 2025Updated last year
• adizere / rem-poc

  View on GitHub
  {{{ rem = reth + malachite }}} {{{ proof of concept }}}
  ☆20Jan 5, 2025Updated last year
• lambdaclass / pinocchio_lambda_vm

  View on GitHub
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆38Jul 25, 2023Updated 2 years ago
• ondrejsojka / cairo-migration-prompt

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

  View on GitHub
  Rust crate to generate and verify proofs for Noir circuits
  ☆27Updated this week
• tcoratger / whir-p3

  View on GitHub
  ☆60Feb 25, 2026Updated last week
• DelphinusLab / zkWasm-prover

  View on GitHub
  ☆20Jul 10, 2025Updated 8 months 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.
  ☆21Mar 1, 2026Updated last week
• 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
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆51Mar 7, 2024Updated 2 years ago
• cysic-labs / ZPrize-23-Prize1

  View on GitHub
  ☆21Sep 22, 2024Updated last year
• 0xPolygonHermez / zisk

  View on GitHub
  ☆176Updated this week
• rkdud007 / awesome-zkvm

  View on GitHub
  A curated list of zkVM, zero-knowledge virtual machine
  ☆304Sep 29, 2025Updated 5 months ago
• 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 7 months ago