Module Integrated.Make

Parameters

module Scalar : sig ... end
module Group : sig ... end
module Message : sig ... end
module Output_hash : sig ... end

Signature

val eval : constraint_constants:Genesis_constants.Constraint_constants.t -> private_key:Scalar.value -> Message.value -> Output_hash.t
module Checked : sig ... end