odradev/evm-at-risc0 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

odradev/evm-at-risc0

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/odradev/evm-at-risc0)

Close

odradev / evm-at-risc0View on GitHubMore

• External links
• Readme badge

☆18Feb 13, 2023Updated 3 years ago

Alternatives and similar repositories for evm-at-risc0

Users that are interested in evm-at-risc0 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• halo2-ce / halo2

  View on GitHub
  ☆30Feb 1, 2023Updated 3 years ago
• qope / plonky2-bn254-pairing

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

  View on GitHub
  bonfire monorepo
  ☆11Aug 30, 2023Updated 2 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 3 years ago
• joshbeal / derecho

  View on GitHub
  A Rust library for proof-carrying disclosures
  ☆23Apr 10, 2024Updated 2 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• 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
• vicsn / witness-encryption-functional-commitment

  View on GitHub
  Based on https://eprint.iacr.org/2022/1510
  ☆26Oct 20, 2024Updated last year
• morgana-proofs / plonky2-hashchain

  View on GitHub
  ☆14Feb 7, 2023Updated 3 years ago
• NethermindEth / Halva

  View on GitHub
  ☆15Nov 19, 2025Updated 8 months ago
• dmpierre / plonky3-ccs

  View on GitHub
  ☆11Sep 10, 2024Updated last year
• ingonyama-zk / fast-danksharding

  View on GitHub
  Danksharding Builder with GPU acceleration
  ☆52Sep 10, 2023Updated 2 years ago
• DoHoonKim8 / stark-verifier

  View on GitHub
  ☆52Mar 7, 2024Updated 2 years ago
• NilFoundation / zkEVM1

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

  View on GitHub
  A collection of technical notes from the Geometry research team.
  ☆46Apr 17, 2023Updated 3 years ago
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• privacy-ethereum / nova-bench

  View on GitHub
  A collection of comparison-benchmarks for Nova & related Proving systems
  ☆44Apr 6, 2023Updated 3 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
• geometryxyz / cq

  View on GitHub
  Let's go https://eprint.iacr.org/2022/1763.pdf
  ☆63May 22, 2023Updated 3 years ago
• swjng / gkr

  View on GitHub
  zero knowledge proof aggregator for general circuit
  ☆72May 20, 2024Updated 2 years ago
• delendum-xyz / starkvm-compiler

  View on GitHub
  compiler tooling for Stark-based zkVMs
  ☆16Feb 6, 2023Updated 3 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
• jules / supernova

  View on GitHub
  Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
  ☆125Feb 25, 2023Updated 3 years ago
• maxgillett / halo2-fri-gadget

  View on GitHub
  A FRI verifier circuit for the Halo2 proof system
  ☆77Feb 22, 2023Updated 3 years ago
• Orbis-Tertius / tiny-ram-halo2

  View on GitHub
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆39Nov 18, 2022Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• rkrasiuk / reth-light

  View on GitHub
  ☆23Mar 6, 2023Updated 3 years ago
• matter-labs / solidity_plonk_verifier

  View on GitHub
  Solidity verifier for Plonk
  ☆42Aug 15, 2024Updated last year
• 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
• JSeam2 / zkml-server

  View on GitHub
  Server for ZKML
  ☆22Mar 5, 2023Updated 3 years ago
• asonnino / arke

  View on GitHub
  Decentralised Privacy-Preserving Contact Discovery
  ☆19Jul 4, 2023Updated 3 years ago
• personaelabs / spartan-ecdsa

  View on GitHub
  The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
  ☆220Dec 5, 2023Updated 2 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• zkwebauthn / webauthn-halo2

  View on GitHub
  ☆97Dec 4, 2023Updated 2 years ago
• cryptonetlab / testudo

  View on GitHub
  Testudo: Spartan + Groth16
  ☆54Feb 21, 2024Updated 2 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• geometryxyz / fk

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

  View on GitHub
  Nova-based SHA256 benchmarks
  ☆31Jun 7, 2025Updated last year
• privacy-ethereum / multifolding-poc

  View on GitHub
  A PoC repo for a HyperNova impl
  ☆83Aug 23, 2023Updated 2 years ago
• zk-ml / tachikoma

  View on GitHub
  neural network inference standard for zero-knowledge-proof systems
  ☆34Oct 9, 2023Updated 2 years ago
• privacy-ethereum / rln

  View on GitHub
  ☆19Jan 20, 2023Updated 3 years ago
• liamzebedee / awesome-cairo

  View on GitHub
  A list of awesome Cairo and STARK-adjacent projects
  ☆16May 15, 2022Updated 4 years ago
• daira / plonk-standard

  View on GitHub
  Draft documents for standardization of Plonkish arithmetization
  ☆23Mar 15, 2024Updated 2 years ago