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.0.tar.gz

sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4

sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

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