String_signmodule Inner_curve = Snark_params.Tick.Inner_curveval string_to_input :
Stdlib.String.t ->
( 'a, bool ) Random_oracle.Input.Legacy.tval verify :
?signature_kind:Mina_signature_kind.t ->
Signature_lib.Schnorr.Legacy.Signature.t ->
(Kimchi_pasta_basic.Fp.t * Kimchi_pasta_basic.Fp.t) ->
Stdlib.String.t ->
boolval sign :
?signature_kind:Mina_signature_kind.t ->
Signature_lib.Schnorr.Legacy.Private_key.t ->
Stdlib.String.t ->
Signature_lib.Schnorr.Legacy.Signature.t