package octez-proto-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=dbc3b675aee59c2c574e5d0a771193a2ecfca31e7a5bc5aed66598080596ce1c
sha512=b97ed762b9d24744305c358af0d20f394376b64bfdd758dd4a81775326caf445caa57c4f6445da3dd6468ff492de18e4c14af6f374dfcbb7e4d64b7b720e5e2a
doc/octez-proto-libs.protocol-environment/Tezos_protocol_environment/V5/Make/Bls_signature/index.html
Module Make.Bls_signatureSource
Build a value of type pk without performing any check on the input. It is safe to use this function when verifying a signature as the signature function verifies if the point is in the prime subgroup. Using unsafe_pk_of_bytes removes a verification performed twice when used pk_of_bytes_exn or pk_of_bytes_opt.
The expected bytes format are the compressed form of a point on G1.
Build a value of type pk safely, i.e. the function checks the bytes given in parameters represents a point on the curve and in the prime subgroup. Return None if the bytes are not in the correct format or does not represent a point in the prime subgroup.
The expected bytes format are the compressed form of a point on G1.
Returns a bytes representation of a value of type pk. The output is the compressed form a the point G1.t the pk represents.
Build a value of type signature without performing any check on the input. It is safe to use this function when verifying a signature as the signature function verifies if the point is in the prime subgroup. Using unsafe_signature_of_bytes removes a verification performed twice when using signature_of_bytes_exn or signature_of_bytes_opt.
The expected bytes format are the compressed form of a point on G2.
Build a value of type signature safely, i.e. the function checks the bytes given as argument represents a point on the curve and in the prime subgroup. Return None if the bytes are not in the correct format or do not represent a point in the prime subgroup.
The expected bytes format are the compressed form of a point on G2.
Returns a bytes representation of a value of type signature. The output is the compressed form of the G2.t point the signature represents.
aggregate_signature_opt signatures aggregates the signatures signatures, following https://datatracker.ietf.org/doc/html/draft-irtf-cfrg-bls-signature-04#section-2.8. Return None if INVALID is expected in the specification