HyperGreco 2024-08 # ZK # FHE # cryptography HyperGreco is a tailored GKR prover for FHE (BFV) encryption based on the Greco scheme and Lasso lookups. Improves proof generation time by 40x and witness preprocessing by 800x.
HyperGreco is a tailored GKR prover for FHE (BFV) encryption based on the Greco scheme and Lasso lookups. Improves proof generation time by 40x and witness preprocessing by 800x.
