GitHub repository: yuriko627/zk-fhe
Primary language: Rust
Description: Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme