Module generator_exponent

Exponentiation of a generator with a series of bit columns based on the data-parallel GKR circuit described here:

https://www.irreducible.com/posts/integer-multiplication-in-binius

Modules

• prove
• verify