search

arkworks-rs / sumcheck

linear-time sumcheck protocol for multilinear polynomials and related addends
Apache License 2.0
51 stars 29 forks source link

Use `ark-bcs` as interactive proof transcript #50

Open tsunrise opened 2 years ago

tsunrise commented 2 years ago

ark-bcs is almost done. While univariate sumcheck is IP, we can still use the transcript by implementing ark-bcs::iop::IOPProver.

Also, write constraints for sumcheck (should not be too much work)

tsunrise commented 2 years ago

This issue will replace and closes #38