Struct Bls12_381

pub struct Bls12_381 { /* private fields */ }

Bls12_381 provides access to curve and field arithmetics on the BLS12-381 curve.

Implementations

impl Bls12_381

pub fn env(&self) -> &Env

pub fn g1_is_in_subgroup(&self, p: &G1Affine) -> bool

Checks if a point p in G1 is in the correct subgroup.

pub fn g1_add(&self, p0: &G1Affine, p1: &G1Affine) -> G1Affine

Adds two points p0 and p1 in G1.

pub fn g1_checked_add(&self, p0: &G1Affine, p1: &G1Affine) -> Option<G1Affine>

Adds two points p0 and p1 in G1, ensuring that the result is in the correct subgroup. Note the subgroup check is computationally expensive, so if want to perform a series of additions i.e. agg = p0 + p1 + .. + pn, it may make sense to only call g1_checked_add on the final addition, while using g1_add (non-checked version) on the intermediate ones.

pub fn g1_mul(&self, p0: &G1Affine, scalar: &Fr) -> G1Affine

Multiplies a point p0 in G1 by a scalar.

pub fn g1_msm(&self, vp: Vec<G1Affine>, vs: Vec<Fr>) -> G1Affine

Performs a multi-scalar multiplication (MSM) operation in G1.

pub fn map_fp_to_g1(&self, fp: &Fp) -> G1Affine

Maps an element in the base field Fp to a point in G1.

pub fn hash_to_g1(&self, msg: &Bytes, dst: &Bytes) -> G1Affine

Hashes a message msg to a point in G1, using a domain separation tag dst.

pub fn g2_is_in_subgroup(&self, p: &G2Affine) -> bool

Checks if a point p in G2 is in the correct subgroup.

pub fn g2_add(&self, p0: &G2Affine, p1: &G2Affine) -> G2Affine

Adds two points p0 and p1 in G2.

pub fn g2_checked_add(&self, p0: &G2Affine, p1: &G2Affine) -> Option<G2Affine>

Adds two points p0 and p1 in G2, ensuring that the result is in the correct subgroup. Note the subgroup check is computationally expensive, so if want to perform a series of additions i.e. agg = p0 + p1 + .. +pn,
it may make sense to only call g2_checked_add on the final addition, while using g2_add (non-checked version) on the intermediate ones.

pub fn g2_mul(&self, p0: &G2Affine, scalar: &Fr) -> G2Affine

Multiplies a point p0 in G2 by a scalar.

pub fn g2_msm(&self, vp: Vec<G2Affine>, vs: Vec<Fr>) -> G2Affine

Performs a multi-scalar multiplication (MSM) operation in G2.

pub fn map_fp2_to_g2(&self, fp2: &Fp2) -> G2Affine

Maps an element in the base field Fp2 to a point in G2.

pub fn hash_to_g2(&self, msg: &Bytes, dst: &Bytes) -> G2Affine

Hashes a message msg to a point in G2, using a domain separation tag dst.

pub fn pairing_check(&self, vp1: Vec<G1Affine>, vp2: Vec<G2Affine>) -> bool

Performs a pairing check between vectors of points in G1 and G2.

This function computes the pairing for each pair of points in the provided vectors vp1 (G1 points) and vp2 (G2 points) and verifies if the overall pairing result is equal to the identity in the target group.

Returns:

• true if the pairing check holds (i.e., the pairing result is valid and equal to the identity element), otherwise false.

Panics:

• If the lengths of vp1 and vp2 are not equal or if they are empty.

pub fn fr_add(&self, lhs: &Fr, rhs: &Fr) -> Fr

Adds two scalars in the BLS12-381 scalar field Fr.

pub fn fr_sub(&self, lhs: &Fr, rhs: &Fr) -> Fr

Subtracts one scalar from another in the BLS12-381 scalar field Fr.

pub fn fr_mul(&self, lhs: &Fr, rhs: &Fr) -> Fr

Multiplies two scalars in the BLS12-381 scalar field Fr.

pub fn fr_pow(&self, lhs: &Fr, rhs: u64) -> Fr

Raises a scalar to the power of a given exponent in the BLS12-381 scalar field Fr.

pub fn fr_inv(&self, lhs: &Fr) -> Fr

Computes the multiplicative inverse of a scalar in the BLS12-381 scalar field Fr.