emilianobonassi / zkFHEView external linksLinks
Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.
☆86Apr 20, 2023Updated 2 years ago
Alternatives and similar repositories for zkFHE
Users that are interested in zkFHE are comparing it to the libraries listed below
Sorting:
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated last year
- ☆83Jan 7, 2025Updated last year
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- Secure and performant zkEVM compiled from evmone via zkLLVM☆16Jan 3, 2024Updated 2 years ago
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- FHE in the Risc0 zkVM☆25Nov 16, 2023Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- A STARK-based VM focused on code reuse, performance, and modularity☆341Jul 31, 2025Updated 6 months ago
- ☆26Feb 25, 2024Updated last year
- ☆38Jul 30, 2025Updated 6 months ago
- halo2-lib-eddsa☆11Feb 2, 2024Updated 2 years ago
- Noir support for Zed☆11May 3, 2024Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Jun 27, 2023Updated 2 years ago
- Verifiable FHE with GKR☆28Oct 5, 2024Updated last year
- Middleware to compile Circom circuits to Nova prover☆244Mar 1, 2024Updated last year
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Feb 16, 2024Updated 2 years ago
- Verifying a 512-layer CNN w/ Nova☆171May 5, 2023Updated 2 years ago
- The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve☆218Dec 5, 2023Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated last year
- Set of smart contracts on StarkNet for Akira Decentralised Exchange☆12Nov 18, 2025Updated 2 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- ☆10Sep 15, 2023Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Aug 30, 2023Updated 2 years ago
- Benchmark of multiple zk implementations.☆83Aug 3, 2023Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Jul 6, 2023Updated 2 years ago
- Multi-party computation libraries written in Rust 🦀☆284Updated this week
- A testing & development environment for Circom.☆117Jul 31, 2025Updated 6 months ago
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Mar 3, 2025Updated 11 months ago
- Groth16 verifier in EVM☆23Jul 8, 2023Updated 2 years ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- Mozak RISC-V Virtual Machine☆25Mar 24, 2025Updated 10 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year