zkFHE / zkOpenFHEView external linksLinks
A ZKP-augmented fork of the OpenFHE library
☆24Jul 6, 2024Updated last year
Alternatives and similar repositories for zkOpenFHE
Users that are interested in zkOpenFHE are comparing it to the libraries listed below
Sorting:
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- An implementation of the Rinocchio protocol (SNARK for Ring Arithmetic) over SEAL FHE ring elements☆39Dec 4, 2023Updated 2 years ago
- spqlios arithmetic library for FHE and post-quantum crypto☆26Nov 12, 2025Updated 3 months ago
- Around applying the VDF construcrtion based on isogenies between super-signular elliptic curves☆15Oct 19, 2021Updated 4 years ago
- ☆11Apr 2, 2024Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Nov 30, 2023Updated 2 years ago
- Malachite as consensus engine for Ethereum execution clients via Engine API☆23Oct 30, 2025Updated 3 months ago
- python implementation of dpack evm packaging format☆18Apr 24, 2024Updated last year
- Groth16 zkSNARK bellman proof verifier using cloudflare/bn256 Pairing☆13Apr 22, 2020Updated 5 years ago
- Community contributions to the OpenFHE project☆14Mar 8, 2025Updated 11 months ago
- Optimizations for Pairing-Based Cryptography☆17Sep 10, 2021Updated 4 years ago
- Scripts to generate data for security parameters constraints section☆17Dec 11, 2024Updated last year
- ☆39Oct 24, 2023Updated 2 years ago
- ☆36Aug 20, 2023Updated 2 years ago
- ☆19Jun 6, 2025Updated 8 months ago
- 🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs☆22Jun 3, 2023Updated 2 years ago
- MOSFHET: Optimized Software for FHE over the Torus☆22Aug 24, 2025Updated 5 months ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- An interface for the EVM in the browser, to simulate and visualize your onchain activity.☆27Nov 21, 2025Updated 2 months ago
- ☆20Jul 10, 2025Updated 7 months ago
- A library for decentralized private computation☆19Jul 21, 2021Updated 4 years ago
- ☆22Sep 6, 2016Updated 9 years ago
- A python library for the fully homomorphic encryption scheme ACES☆17Feb 14, 2025Updated last year
- Rust Code for CELPC☆20Mar 28, 2025Updated 10 months ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆29Aug 15, 2025Updated 5 months ago
- A toolchain for interaction with the Proof Market protocol.☆23Jan 5, 2024Updated 2 years ago
- A lattice-based non-interactive folding scheme written in Rust☆121Dec 17, 2025Updated last month
- Pure C++ Ver. of TFHE.☆103Feb 7, 2026Updated last week
- Zcash-flavored Ed25519 for use in Zebra.☆35Jan 23, 2026Updated 3 weeks ago
- LegoGroth16 implementation on top of Zexe☆25Dec 3, 2021Updated 4 years ago
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated last year
- SGX implementation of the TEE prover used in the Automata Multi-Prover AVS☆29Jul 29, 2025Updated 6 months ago
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆114Mar 20, 2024Updated last year
- Verifiable FHE prototype☆27Aug 12, 2024Updated last year
- A Fully Homomorphic Encryption (FHE) library for bridging the gap between theory and practice with a focus on performance and accuracy.☆137Nov 4, 2025Updated 3 months ago
- Sage implementation of the isogeny-and-pairing based VDF☆25Feb 25, 2021Updated 4 years ago
- Elliptic curve search experiments☆35Mar 6, 2023Updated 2 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated 8 months ago
- Lecture notes on the Foundations of Isogeny-based Cryptography☆32Sep 5, 2024Updated last year