prime field power check with exponentiation_gadget()
vadym-f opened this issue · comments
Base field declared as my_Fp for parent gadget() class prevents verifying exponentiation in a base (prime) field.
For prime fields, it could be explicitly defined that base field is the field given (as template parameter), to complement base field definitions (my_Fp) for extensions like Fp2_model.