search

EspressoSystems / hyperplonk

MIT License
182 stars 38 forks source link

Use a unified trait for PolyIOPs #69

Closed chancharles92 closed 2 years ago

chancharles92 commented 2 years ago

This issue involves significant refactoring, probably not worth doing it now.

TODO:

  1. Define a unified trait for PolyIOP.
  2. Remove traits for sumcheck/zerocheck/prodcheck/permcheck/hyperplonk. Instead, implement PolyIOP trait for the corresponding functionalities.