MPCheckHintBN254

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254

#[derive(Drop, Serde, Debug)]
pub struct MPCheckHintBN254 {
    pub lambda_root: E12D<u288>,
    pub lambda_root_inverse: E12D<u288>,
    pub w: MillerLoopResultScalingFactor<u288>,
    pub Ris: Span<E12D<u288>>,
    pub big_Q: Array<u288>,
    pub z: felt252,
}

Members

lambda_root

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::lambda_root

pub lambda_root: E12D<u288>

lambda_root_inverse

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::lambda_root_inverse

pub lambda_root_inverse: E12D<u288>

w

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::w

pub w: MillerLoopResultScalingFactor<u288>

Ris

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::Ris

pub Ris: Span<E12D<u288>>

big_Q

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::big_Q

pub big_Q: Array<u288>

z

Fully qualified path: garaga::ec::pairing::pairing_check::MPCheckHintBN254::z

pub z: felt252