Skip to content

Draft: Evalcheck Cleanup

Kabir Peshawaria requested to merge user/kabir/evalcheck_cleanup into user/kabir/multilinear-basis

This is a draft for two reasons:

  • requires !67 (merged) to be merged first
  • WIP: Need to fix the three example files

Summary: Replaces Packed and Shift eval claims with new sumcheck claims

Merge request reports