Add supplementary small group bases for some common fields

[weikengchen]

Description

This is related to https://github.com/arkworks-rs/algebra/pull/547.

The idea is that for some TurboPlonk implementations, we use the small base not just when we run out of 2-arity, but we use it when constructing the larger domain (e.g., 6x larger). It is preferred to use 6x (by using a 3) rather than 8x.

This is used in the Noah library as a performance improvement.

---

Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.

• [x] Targeted PR against correct branch (master)
• [x] Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• [x] Re-reviewed Files changed in the Github PR explorer

N/A:

• [ ] Wrote unit tests
• [ ] Updated relevant documentation in the code
• [ ] Added a relevant changelog entry to the Pending section in CHANGELOG.md

[weikengchen]

Should we add a CHANGELOG entry for this?

[weikengchen]

Depends on https://github.com/arkworks-rs/algebra/pull/547.

[weikengchen]

Needs to debug and fix the one related to secp256k1.

[weikengchen]

Depends on https://github.com/arkworks-rs/algebra/pull/550

[weikengchen]

I think it is ready to merge. I will appreciate a cut of the alpha version. Is the next cut already scheduled? (I dare not to cut a release since the last time I did that was two years ago I think)