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.
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.