package bls12-381-unix

  1. Overview
  2. Docs

Module MinPk.PopSource

Sourcetype proof = Bytes.t
Sourceval sign : Fr.Stubs.scalar -> Bytes.t -> bytes
Sourceval verify : Bytes.t -> Bytes.t -> Bytes.t -> bool
Sourceval pop_prove : Fr.Stubs.scalar -> bytes
Sourceval pop_verify : Bytes.t -> Bytes.t -> bool
Sourceval aggregate_verify : (Bytes.t * Bytes.t) list -> Bytes.t -> Bytes.t -> bool
OCaml

Innovation. Community. Security.