package bls12-381-unix

  1. Overview
  2. Docs
type proof = Bytes.t
val sign : Fr.Stubs.scalar -> Bytes.t -> bytes
val verify : Bytes.t -> Bytes.t -> Bytes.t -> bool
val pop_prove : Fr.Stubs.scalar -> bytes
val pop_verify : Bytes.t -> Bytes.t -> bool
val aggregate_verify : (Bytes.t * Bytes.t) list -> Bytes.t -> Bytes.t -> bool