package tezos-plompiler

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type signature = {
  1. sig_u_bytes : bool list;
  2. sig_r : Mec.Curve.Jubjub.AffineEdwards.t;
  3. c_bytes : bool list;
}
val neuterize : sk -> pk
val sign : ?compressed:bool -> sk -> Csir.Scalar.t -> Mec.Curve.Jubjub.AffineEdwards.Scalar.t -> signature
val verify : ?compressed:bool -> msg:Csir.Scalar.t -> pk:pk -> signature:signature -> unit -> bool