search

scroll-tech / halo2

Other
43 stars 39 forks source link

Polynomials are evaluated twice (before multiopen and inside multiopen) #40

Open kunxian-xia opened 1 year ago

kunxian-xia commented 1 year ago

The ProverQuery struct does not contain the evaluation of the poly at the point (which is already computed before we invoke the multiopen prover). https://github.com/scroll-tech/halo2/blob/b8e458e8af4146e058fbe3dafa73973b23d403bd/halo2_proofs/src/poly/query.rs#L20-L29

Then the multiopen prover will evaluate the polynomials again. Therefore, I suggest we add another field called eval of type C::Scalar in the ProverQuery struct.