Closed bbuenz closed 1 year ago
Multilinear KZG for a mu-variate polynomial is supposed to use 2^(mu-1) scalars to compute the first component of the proof but currently uses 2^mu scalars and bases. Somehow it still verifies. The issue seems to be line 271 of https://github.com/EspressoSystems/hyperplonk/blob/main/subroutines/src/pcs/multilinear_kzg/mod.rs
The scalars have the form [a,a,b,b,...]
Multilinear KZG for a mu-variate polynomial is supposed to use 2^(mu-1) scalars to compute the first component of the proof but currently uses 2^mu scalars and bases. Somehow it still verifies. The issue seems to be line 271 of https://github.com/EspressoSystems/hyperplonk/blob/main/subroutines/src/pcs/multilinear_kzg/mod.rs
The scalars have the form [a,a,b,b,...]