package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Package contains no libraries

Parameters

module L : sig ... end

Signature

type pk = L.scalar * L.scalar

val pk_encoding : 
  (P.pk, pk L.repr, pk) Plompiler__.Encoding.Encodings(L).encoding

type signature = {

sig_u_bytes : bool list L.repr;
sig_r : (L.scalar * L.scalar) L.repr;
c_bytes : bool list L.repr;

}

val signature_encoding : 
  (P.signature, signature, bool list * (pk * bool list))
    Plompiler__.Encoding.Encodings(L).encoding

val g : Mec.Curve.Jubjub.AffineEdwards.t

val verify : 
  ?compressed:bool ->
  g:(L.scalar * L.scalar) L.repr ->
  msg:L.scalar L.repr ->
  pk:pk L.repr ->
  signature:signature ->
  unit ->
  bool L.repr L.t