search

zcash / halo2

The Halo2 zero-knowledge proving system
https://zcash.github.io/halo2/
Other
712 stars 487 forks source link

Do not include the fixed and instance column evaluations into the proof #806

Open ConstanceBeguier opened 8 months ago

ConstanceBeguier commented 8 months ago

It seems that fixed and instance column evaluations are included into the proof.

See halo2 book section 4.3.1: image

See halo2/halo2_proofs/src/plonk/prover.rs: image image

I think it is not necessary because they are evaluated from public values. By removing them, we could reduce the size of the proof.