(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?

[0xJepsen]

Maybe we break this down into 2-3 tickets?

[Autoparallel]

@lonerapier do you think that #30 and #31 are redundant?

[lonerapier]

i think we haven't yet implemented ifft, other than that everything's done 🚀

Amazing work sir, so easy to follow the code 🙇

[Autoparallel]

We could really benefit from revisiting these issues 😓