Make0 (snarky_signature.Snarky_signature.Signature.Make0)

Parameters

module Inputs : Inputs_intf

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