(meta): polynomial interface

[lonerapier]

To make polynomial API ready enough for PLONK, we need following methods:

• [x] #28
• [x] #29
• [ ] #30
• [x] #31
• [x] #32
• [ ] #33

This article has really concise explanations of common optimisations used throughout proof systems:

• [ ] #34
• [x] #35
• [ ] #36

Any others I'm missing?