enricobottazzi/zk-fhe Issues
Support non-native arithmetic
Updated 1Refactor
ClosedHalo2base over PSE-Halo2
Closed 3Add constraint on `m`
Closed
Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme