Module exp

Structs

Exp

Functions

make_claims

make_eval_claims

make_exp_witnesses

Constructs BaseExpWitness instances and adds the exponentiation-result witnesses to the MultiplicationWitnesses.

max_n_vars