enricobottazzi / zk-fhe

Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme
MIT License
109 stars 5 forks source link

Add constraints on `m` #9

Closed enricobottazzi closed 10 months ago

enricobottazzi commented 10 months ago