Parameter Make.3-Message

type t
val derive : t -> private_key:Curve.Scalar.t -> public_key:Curve.t -> Curve.Scalar.t
val derive_for_mainnet : t -> private_key:Curve.Scalar.t -> public_key:Curve.t -> Curve.Scalar.t
val derive_for_testnet : t -> private_key:Curve.Scalar.t -> public_key:Curve.t -> Curve.Scalar.t
val hash : t -> public_key:Curve.t -> r:Impl.Field.t -> Curve.Scalar.t
val hash_for_mainnet : t -> public_key:Curve.t -> r:Impl.Field.t -> Curve.Scalar.t
val hash_for_testnet : t -> public_key:Curve.t -> r:Impl.Field.t -> Curve.Scalar.t
type var
val hash_checked : var -> public_key:Curve.var -> r:Impl.Field.Var.t -> Curve.Scalar.var Impl.Checked.t