hashcloak/fhe_risc0_zkvm 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

hashcloak/fhe_risc0_zkvm

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/hashcloak/fhe_risc0_zkvm)

Close

hashcloak / fhe_risc0_zkvmView on GitHubMore

• External links
• Readme badge

FHE in the Risc0 zkVM

☆25Nov 16, 2023Updated 2 years ago

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
  ☆32Oct 25, 2025Updated 4 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.
  ☆27Dec 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
  ☆39Oct 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
• zk-ml / tachikoma

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

  View on GitHub
  Library and gadget to do regex string matches in halo2
  ☆36Jul 25, 2024Updated last year
• nullity00 / maci-noir

  View on GitHub
  Writing MACI circuits in Noir
  ☆16Oct 8, 2023Updated 2 years ago
• HerodotusDev / herodotus-evm

  View on GitHub
  Herodotus EVM contracts
  ☆17Sep 1, 2025Updated 6 months 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
• lambdaclass / lambdaworks_kzg

  View on GitHub
  An ABI compatible for KZG EIP-4844 in Rust
  ☆23Jun 2, 2023Updated 2 years ago
• Rate-Limiting-Nullifier / kzg-rln

  View on GitHub
  RLN on KZG
  ☆21Sep 20, 2023Updated 2 years ago
• 0xmozak / mozak-vm

  View on GitHub
  Mozak RISC-V Virtual Machine
  ☆25Mar 24, 2025Updated 11 months 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
• supranational / pasta-msm

  View on GitHub
  High-performance Multi-scalar Multiplication for Pasta curves
  ☆24Sep 6, 2025Updated 6 months 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
• 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 9 months ago
• lambdaclass / simpleworks

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

  View on GitHub
  Implementation of the Grumpkin curve in Rust.
  ☆29Jul 5, 2023Updated 2 years ago
• privacy-ethereum / multisetups

  View on GitHub
  A simple, IPFS-based multi-party trusted setup utility for snarkjs
  ☆27Mar 13, 2023Updated 2 years ago