Schnorr (mavkit-libs.Epoxy_tx.Tx

module Affine : sig ... end

type pk = Affine.point

val pk_encoding : 
  (Mec.Curve.Jubjub.AffineEdwards.t, 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 : 
  (Plompiler__Gadget_schnorr.Make(Mec.Curve.Jubjub.AffineEdwards)(Plompiler.Anemoi128).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