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

tezos-octez-v20.1.tag.bz2

sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61

sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

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

Module `MinPk.Pop`Source

Proof of possession scheme described in 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 in section 4.2.3.

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

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

Sourceval pop_prove : sk -> proof

pop_proof sk implements section 3.3.2.

Sourceval pop_verify : pk -> proof -> bool

pop_verify pk signature implements 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.