package bls12-381

  1. Overview
  2. Docs

Module Bls12_381.GTSource

Prime subgroup of Fq12, of order Fr.order, represented additively

Sourceexception Not_in_group of Bytes.t
Sourcetype t

Represents an element in the prime subgroup

Sourceval order : Z.t

The order of the group. It is the same than Fr.order

Sourceval size_in_bytes : int

Minimal number of bytes required to encode a value of the group

Sourceval size_in_memory : int

Actual number of bytes allocated for a value of type t

Sourceval check_bytes : Bytes.t -> bool

Checks the bytes represent a point in the prime subgroup. The expected encoding is the same than Fq12.of_bytes_exn.

Sourceval of_bytes_exn : Bytes.t -> t

Same than Fq12.of_bytes_exn but also verifies the element is in the prime subgroup. Raise Not_in_group if the element is not in the prime subgroup.

Sourceval of_bytes_opt : Bytes.t -> t option

Same than of_bytes_exn but returns an option instead of an exception.

Sourceval to_bytes : t -> Bytes.t

Same than Fq12.to_bytes.

Sourceval eq : t -> t -> bool
Sourceval zero : t

The neutral element of the subgroup. It is equal to Fq12.one.

Sourceval is_zero : t -> bool

is_zero x is equivalent to eq x zero

Sourceval one : t

A generator of the group. It is set to the result of Pairing.pairing G1.one G2.one.

Sourceval is_one : t -> bool

is_one x is equivalent to eq x one

Sourceval random : ?state:Random.State.t -> unit -> t

Generate a random element. The function ensures the element is in the prime subgroup.

The routines in the module Random.State are used to generate the elements. A state can be given to the function to be used. If no state is given, Random.get_state is used.

To create a value of type Random.State.t, you can use Random.State.make [|42|].

Sourceval add : t -> t -> t

add x y returns the sum of x and y. It is equivalent to Fq12.mul x y.

Sourceval negate : t -> t

negate x returns the opposite of x. It is equivalent to Fq12.inverse_exn x.

Sourceval mul : t -> Fr.t -> t

mul x n returns [n] x, i.e. the result of adding x n-times with itself. It is equivalent to Fq12.pow x (Fr.to_z n)