package octez-plompiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

type pk = Mec.Curve.Jubjub.AffineEdwards.t

type signature = {

}

type sk = Mec.Curve.Jubjub.AffineEdwards.Scalar.t

val neuterize : sk -> pk

val sign : 
  ?compressed:bool ->
  sk ->
  Csir.Scalar.t ->
  Mec.Curve.Jubjub.AffineEdwards.Scalar.t ->
  signature

val verify : 
  ?compressed:bool ->
  msg:Csir.Scalar.t ->
  pk:pk ->
  signature:signature ->
  unit ->
  bool