ronkathon
ronkathon copied to clipboard
feat: create IP module
We should have an Interactive Proof (IP) module for IPs other than sumcheck (e.g., zero check). We could also have IOPs placed in here too (e.g., Spartan).
Wording could maybe be adjusted slightly here, but we should organize around this to an extent.