1-Inputs.Opening_proof_backend
type t = ( Curve.Affine.Backend.t, Scalar_field.t ) Kimchi_types.opening_proof