package tezos-plompiler

  1. Overview
  2. Docs

Module Schnorr.PSource

Sourceval g : Plompiler__.Gadget_schnorr.Curve.t
Sourcetype pk = Plompiler__.Gadget_schnorr.Curve.t
Sourcetype signature = {
  1. sig_u_bytes : bool list;
  2. sig_r : Plompiler__.Gadget_schnorr.Curve.t;
  3. c_bytes : bool list;
}
Sourcetype sk = Plompiler__.Gadget_schnorr.Curve.Scalar.t
Sourceval neuterize : sk -> pk
Sourceval sign : ?compressed:bool -> sk -> Csir.Scalar.t -> Plompiler__.Gadget_schnorr.Curve.Scalar.t -> signature
Sourceval verify : ?compressed:bool -> msg:Csir.Scalar.t -> pk:pk -> signature:signature -> unit -> bool
OCaml

Innovation. Community. Security.