Schnorr (mavkit-libs.Epoxy_tx.Tx

module Affine : sig ... end

type pk = Affine.point

val pk_encoding : (SchnorrPV.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 : 
  (SchnorrPV.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