Struct wagyu_zcash::librustzcash::algebra::curve::bls12_381::Bls12

pub struct Bls12;

Trait Implementations

impl Engine for Bls12

type G1 = G1

The projective representation of an element in G1.

type G1Affine = G1Affine

The affine representation of an element in G1.

type G2 = G2

The projective representation of an element in G2.

type G2Affine = G2Affine

The affine representation of an element in G2.

type Fq = Fq

The base field that hosts G1.

type Fqe = Fq2

The extension field that hosts G2.

type Fqk = Fq12

The extension field that hosts the target group of the pairing.

fn miller_loop<'a, I>(i: I) -> Self::Fqk where
    I: IntoIterator<Item = &'a (&'a <Self::G1Affine as PairingCurveAffine>::Prepared, &'a <Self::G2Affine as PairingCurveAffine>::Prepared)>, 

Perform a miller loop with some number of (G1, G2) pairs.

fn final_exponentiation(r: &Fq12) -> Option<Fq12>

Perform final exponentiation of the result of a miller loop.

fn pairing<G1, G2>(p: G1, q: G2) -> Self::Fqk where
    G1: Into<Self::G1Affine>,
    G2: Into<Self::G2Affine>, 

Performs a complete pairing operation (p, q).

impl ScalarEngine for Bls12

type Fr = Fr

This is the scalar field of the engine's groups.

impl JubjubEngine for Bls12

type Fs = Fs

The scalar field of the Jubjub curve

type Params = JubjubBls12

The parameters of Jubjub and the Sapling protocol

impl JubjubParams<Bls12> for JubjubBls12

fn edwards_d(&self) -> &Fr

The d constant of the twisted Edwards curve.

fn montgomery_a(&self) -> &Fr

The A constant of the birationally equivalent Montgomery curve.

fn montgomery_2a(&self) -> &Fr

The A constant, doubled.

fn scale(&self) -> &Fr

The scaling factor used for conversion from the Montgomery form.

fn pedersen_hash_generators(&self) -> &[Point<Bls12, PrimeOrder>]

Returns the generators (for each segment) used in all Pedersen commitments.

fn pedersen_hash_exp_table(&self) -> &[Vec<Vec<Point<Bls12, PrimeOrder>>>]

Returns the exp table for Pedersen hashes.

fn pedersen_hash_chunks_per_generator(&self) -> usize

Returns the maximum number of chunks per segment of the Pedersen hash.

fn fixed_base_chunks_per_generator(&self) -> usize

Returns the number of chunks needed to represent a full scalar during fixed-base exponentiation.

fn pedersen_circuit_generators(&self) -> &[Vec<Vec<(Fr, Fr)>>]

Returns the pre-computed window tables [-4, 3, 2, 1, 1, 2, 3, 4] of different magnitudes of the Pedersen hash segment generators.

fn generator(&self, base: FixedGenerators) -> &Point<Bls12, PrimeOrder>

Returns a fixed generator.

fn circuit_generators(&self, base: FixedGenerators) -> &[Vec<(Fr, Fr)>]

Returns a window table [0, 1, ..., 8] for different magnitudes of some fixed generator.

fn pedersen_hash_exp_window_size() -> u32

Returns the window size for exponentiation of Pedersen hash generators outside the circuit

impl Clone for Bls12

fn clone(&self) -> Bls12

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Bls12

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.