package bls12-381

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-bls-signature-04#section-3.1

In a basic scheme, rogue key attacks are handled by requiring all messages signed by an aggregate signature to be distinct. This requirement is enforced in the definition of AggregateVerify.

The Sign and Verify functions are identical to CoreSign and CoreVerify (Section 2), respectively.

val sign : sk -> Stdlib.Bytes.t -> signature

val verify : pk -> Stdlib.Bytes.t -> signature -> bool

val aggregate_verify : (pk * Stdlib.Bytes.t) list -> signature -> bool

raise Invalid_argument if the messages are not distinct