Alternatives and similar repositories for fhe_risc0_zkvm

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

• delendum-xyz / starkvm-compiler

  View on GitHub
  compiler tooling for Stark-based zkVMs
  ☆16Feb 6, 2023Updated 3 years ago
• DelphinusLab / continuation-batcher

  View on GitHub
  customizable halo2 circuits batcher
  ☆31Oct 25, 2025Updated 3 months ago
• Modulus-Labs / halo2_ml

  View on GitHub
  Foundation for speedy Machine Learning operations in Halo2 Prover
  ☆20Oct 3, 2024Updated last year
• Maddiaa0 / solidity-circuits

  View on GitHub
  Write Zero Knowledge Circuits in Solidity
  ☆13Nov 30, 2023Updated 2 years ago
• lambdaclass / starknet_rollup_on_bitcoin

  View on GitHub
  Soverign rollup based on Rollkit, Cairo VM for the application layer and Bitcoin as a DA layer
  ☆13Jul 14, 2023Updated 2 years ago
• zkHubHQ / distributed-halo2

  View on GitHub
  ☆10Sep 15, 2023Updated 2 years ago
• lyronctk / kzg-blob

  View on GitHub
  Prove multi-opens of EIP-4844 KZG blobs
  ☆16Jun 15, 2023Updated 2 years ago
• Modulus-Labs / leela_vs_world

  View on GitHub
  A repository for the Leela VS the World project for On-Chain machine learning
  ☆20Sep 26, 2024Updated last year
• automata-network / tee-builder

  View on GitHub
  ☆26Nov 15, 2023Updated 2 years ago
• odradev / evm-at-risc0

  View on GitHub
  ☆17Feb 13, 2023Updated 3 years ago
• 0xfuturistic / sequencer-commitments

  View on GitHub
  🔴 💬 A hack for the OP Stack enabling sequencer commitments.
  ☆28Dec 4, 2023Updated 2 years ago
• han0110 / halo2-kzg-srs

  View on GitHub
  ☆33Jan 4, 2024Updated 2 years ago
• ZeroSync / giza

  View on GitHub
  A Cairo VM prover implemented using Winterfell
  ☆17May 4, 2023Updated 2 years ago
• simonkamp / curve-trees

  View on GitHub
  ☆36Oct 14, 2024Updated last year
• 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
• zkemail / halo2-regex

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆35Jul 25, 2024Updated last year
• zk-ml / tachikoma

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

  View on GitHub
  Herodotus EVM contracts
  ☆17Sep 1, 2025Updated 5 months ago
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• emilianobonassi / zkFHE

  View on GitHub
  Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
  ☆86Apr 20, 2023Updated 2 years ago
• astriaorg / sequencer-relayer

  View on GitHub
  relays blocks from the shared sequencer to the DA layer
  ☆27May 25, 2023Updated 2 years ago
• brevis-network / zk-benchmark

  View on GitHub
  Benchmark of multiple zk implementations.
  ☆83Aug 3, 2023Updated 2 years ago
• recmo / evm-groth16

  View on GitHub
  Groth16 verifier in EVM
  ☆23Jul 8, 2023Updated 2 years ago
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 10 months ago
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• lambdaclass / lambdaworks_kzg

  View on GitHub
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Jun 2, 2023Updated 2 years ago
• zkfs-io / zkfs

  View on GitHub
  Distributed, Incentivised, Zero-Knowledge File System
  ☆37Jun 4, 2023Updated 2 years ago
• nlok5923 / SherLOCKED

  View on GitHub
  🏆 Finalist at EthOnline'23 Hackathon 🏆
  ☆12Nov 4, 2023Updated 2 years ago
• Miyamura80 / ZKMicrophone

  View on GitHub
  🎙🔒 ZK Microphone: Trusted audio in the age of deepfakes 🔒🎙 Generative AI is a threat to society. It enables disinformation, manipulat…
  ☆92Jul 23, 2023Updated 2 years ago
• privacy-ethereum / Nova

  View on GitHub
  Nova: Recursive SNARKs without trusted setup
  ☆44Aug 21, 2023Updated 2 years ago
• 0xPolygonZero / hyperstark

  View on GitHub
  Early prototype.
  ☆23Mar 30, 2023Updated 2 years ago
• arnaucube / fri-commitment

  View on GitHub
  FRI low-degree-testing & polynomial commitment scheme
  ☆24Mar 26, 2023Updated 2 years ago
• supranational / pasta-msm

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 5 months ago
• jat9292 / Private-token

  View on GitHub
  Tokens with private balances using zkSNARKs and Homomorphic Encryption
  ☆26Oct 23, 2023Updated 2 years ago
• arnaucube / nova-study

  View on GitHub
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆45May 31, 2023Updated 2 years ago
• plume-sig / zk-nullifier-sig

  View on GitHub
  Implementation of ERC 7524 - PLUME for ECDSA Nullifiers
  ☆139Jun 6, 2025Updated 8 months ago
• privacy-ethereum / DefinitelySetup

  View on GitHub
  The repository for high quality Trusted setups for groth16 based SNARKS
  ☆22Jul 18, 2025Updated 6 months ago
• jules / grumpkin

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• lambdaclass / simpleworks

  View on GitHub
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆25Feb 8, 2023Updated 3 years ago