package octez-libs

You can search for identifiers within the package.

in-package search v0.2.0

A package that contains multiple base libraries used by the Octez suite

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

octez-19.1.tar.gz

sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e

sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

doc/octez-libs.bls12-381-signature/Bls12_381_signature/MinSig/Pop/index.html

Module `MinSig.Pop`Source

Follow section 3.3.

A proof of possession scheme uses a separate public key validation step, called a proof of possession, to defend against rogue key attacks. This enables an optimization to aggregate signature verification for the case that all signatures are on the same message.

Sourcetype proof = Bytes.t

Sourceval sign : sk -> Bytes.t -> signature

Equivalent to core_sign with the DST given in the specification, section 4.2.3

Sourceval verify : pk -> Bytes.t -> signature -> bool

Equivalent to core_verify with the DST given in the specification section 4.2.3

Sourceval pop_prove : sk -> proof

pop_proof sk implements the algorithm described in section 3.3.2

Sourceval pop_verify : pk -> proof -> bool

pop_verify pk proof implements the algorithm described in section 3.3.3

Sourceval aggregate_verify : (pk * proof) list -> Bytes.t -> signature -> bool

aggregate_verify pks msg aggregated_signature performs a aggregate signature verification. It supposes the same message msg has been signed. It implements the FastAggregateVerify algorithm specified in section 3.3.4