Dimensions

zheng/reference/props/ring-aware-fhe
ring-aware FHE proving specialized constraint encoding and jet library for proving FHE bootstrapping operations. not a third prover β€” the IOP (SuperSpartan + sumcheck) and composition (HyperNova) are unchanged. the ring structure of R_q is exploited at the constraint level through ring-structured…

Local Graph