Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bls12-381-gen
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val check_bytes : Bytes.t -> boolval check_compressed_bytes : Bytes.t -> boolcheck_compressed_bytes bs checks if the given bytes bs represents a point on the curve
compressed_of_uncompressed bs allocates (size_in_bytes / 2) bytes to copy the compressed version of the point represented by the size_in_bytes bytes (i.e. the « uncompressed » version).
uncompressed_of_compressed bs allocates size_in_bytes bytes to copy the uncompressed version of the point represented by the (size_in_bytes / 2) bytes (i.e. the « compressed » version). The method is signed as « unsafe » because it does not verify the point is on the curve. Therefore, check_compressed_bytes must be used to get a safe version.
val is_zero : Bytes.t -> boolval random : unit -> Bytes.tval zero : unit -> Bytes.tval one : unit -> Bytes.t