issues
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
Code Review and constraint assumptions review
#6
Closed
enricobottazzi
closed
9 months ago
enricobottazzi
commented
11 months ago
For example, this is something I'm not sure about
https://github.com/enricobottazzi/zk-fhe/blob/master/src/chips/poly_operations.rs#L283
https://github.com/enricobottazzi/zk-fhe/blob/master/examples/bfv.rs#L254
https://github.com/enricobottazzi/zk-fhe/blob/master/examples/bfv.rs#L433
For example, this is something I'm not sure about