lducas / FHEW

Other
218 stars 46 forks source link

mod Q #22

Open lizhihao43219 opened 3 years ago

lizhihao43219 commented 3 years ago

Hello, I have a question. In the process of bootstrapping, accumulator of ring-GSW is neended, which is in the R_Q and where

const long int Q = (long int) 1 << 32; typedef int32_t ZmodQ; typedef uint32_t uZmodQ;

ZmodQ is actually an int32_t type, so I think module Q operation must be operated. But in the process of homomorphic accumulation, there is no operation of module Q. Can you explain why here? Is it to ensure that all operations do not exceed the scope of Q? How is this guaranteed?