Make_signer (snarky_signature.Snarky_signature.Signature.Make

Parameters

module Inputs : Signer_inputs_intf with type Bool.t = bool

type message = Inputs.Field.t array

module Signature : sig ... end

module Private_key : sig ... end

module Public_key : sig ... end

val challenge : 
  public_key:Inputs.Group.t ->
  r:Inputs.Field.t ->
  Inputs.Field.t array ->
  Inputs.Scalar.t

val check : Signature.t -> Public_key.t -> message -> Inputs.Bool.t

val derive : 
  Inputs.Field.t array ->
  public_key:Inputs.Group.t ->
  private_key:Inputs.Scalar.t ->
  Inputs.Hash.t

val sign : 
  Private_key.t ->
  Inputs.Field.t array ->
  Inputs.Field.t * Inputs.Scalar.t