w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Proof size can be reduced by 1 field element #40

Open swasilyev opened 2 years ago

swasilyev commented 2 years ago

As pointed by @InaOana, verifier can restore the evaluation of the quotient polynomial from the evaluations of the column polynomials available in the proof, thus no need to include it.