package octez-libs

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

module Affine : sig ... end

type pk = Affine.point

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

type signature = {

sig_u_bytes : bool list L.repr;
sig_r : Affine.point L.repr;
c_bytes : bool list L.repr;

}

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

val verify : 
  ?compressed:bool ->
  g:Affine.point L.repr ->
  msg:L.scalar L.repr ->
  pk:pk L.repr ->
  signature:signature ->
  unit ->
  bool L.repr L.t