Sumcheck Benchmark

[alireza-shirzad]

A sumcheck prover and verifier time estimator would be extremely useful, now that sumcheck is being used literally EVERYWHERE.
I suggest an interface where the user enters the following:

1. Field type
2. Machine Type
3. number of variables
4. maximum individual degree
5. A zk flag (optiona, indicates if it's zk or not)

[mmaker]

Good point! this is part of the "cookbook" feature, that is only partially developed, where we have a way of adding a pre-fabricated list of operations. We have examples for KZG, but it would be really nice to have one for sumcheck as you say