Module v2

Modules

• evalcheck_v2
  The multivariate evalcheck polynomial protocol.
• greedy_evalcheck_v2
  An interactive protocol for proving/verifying evaluation claims on virtual polynomials.