The vFHE Library
An open-source Python library for Zero-Knowledge Proofs (ZKP), Fully Homomorphic Encryption (FHE), and Verifiable FHE (vFHE).
Efficient Arithmetic Backends
Efficient backends for arithmetic on power-of-two cyclotomic rings over RNS, finite fields, arbitrary precision, and complex numbers, all optimized with Intel AVX512-IFMA instructions. Future releases will include optimizations for other architectures.
Zero-Knowledge Proofs
The library will include a generic framework for implementing IOPs, a set of polynomial commitment schemes, basic cryptographic primitives (Merkle trees, Fiat-Shamir transform, etc), and complete ZK-SNARK implementations.
Fully Homomorphic Encryption
A comprehensive suite for module-LWE-based cryptography, featuring high-level FHE schemes over RNS (currently CKKS and GSW), bootstrapping algorithms, and related techniques, all built on a proof-friendly arithmetic framework.
Verifiable FHE (vFHE)
By combining homomorphic encryption with zero-knowledge proofs, the library will provide multiple verifiable FHE frameworks, tailored to specific application needs.