search

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

Support non-native arithmetic #14

Open enricobottazzi opened 9 months ago

enricobottazzi commented 9 months ago

Currently, the circuit doesn't support Q values that are outside of the p prime of the circuit. This is a limitation. Solution is to add support to non-native arithmetic. A possible tooling to use is https://github.com/privacy-scaling-explorations/halo2wrong

kilic commented 4 months ago

Also rework of halo2wrong https://github.com/kilic/halo2wrong2 could be considered