Module bn128

Modules

add

mul

pair

Constants

ADD_INPUT_LEN

Input length for the add operation. ADD takes two uncompressed G1 points (64 bytes each).

MUL_INPUT_LEN

Input length for the multiplication operation. MUL takes an uncompressed G1 point (64 bytes) and scalar (32 bytes).

PAIR_ELEMENT_LEN

Pair element length. PAIR elements are composed of an uncompressed G1 point (64 bytes) and an uncompressed G2 point (128 bytes).

Functions

new_g1_point

Creates a new G1 point from the given x and y coordinates.

read_fq

Reads a single Fq from the input slice.

read_point

Reads the x and y points from the input slice.

run_add

run_mul

run_pair