Trait PairingVar

pub trait PairingVar<E: Pairing> {
    type G1Var: CurveVar<E::G1, <<E as Pairing>::BaseField as Field>::BasePrimeField>;
    type G2Var: CurveVar<E::G2, <<E as Pairing>::BaseField as Field>::BasePrimeField>;
    type GTVar: FieldVar<E::TargetField, <<E as Pairing>::BaseField as Field>::BasePrimeField>;
    type G1PreparedVar: ToBytesGadget<<<E as Pairing>::BaseField as Field>::BasePrimeField> + AllocVar<E::G1Prepared, <<E as Pairing>::BaseField as Field>::BasePrimeField> + Clone + Debug;
    type G2PreparedVar: ToBytesGadget<<<E as Pairing>::BaseField as Field>::BasePrimeField> + AllocVar<E::G2Prepared, <<E as Pairing>::BaseField as Field>::BasePrimeField> + Clone + Debug;

    // Required methods
    fn miller_loop(
        p: &[Self::G1PreparedVar],
        q: &[Self::G2PreparedVar],
    ) -> Result<Self::GTVar, SynthesisError>;
    fn final_exponentiation(
        p: &Self::GTVar,
    ) -> Result<Self::GTVar, SynthesisError>;
    fn prepare_g1(
        q: &Self::G1Var,
    ) -> Result<Self::G1PreparedVar, SynthesisError>;
    fn prepare_g2(
        q: &Self::G2Var,
    ) -> Result<Self::G2PreparedVar, SynthesisError>;

    // Provided methods
    fn pairing(
        p: Self::G1PreparedVar,
        q: Self::G2PreparedVar,
    ) -> Result<Self::GTVar, SynthesisError> { ... }
    fn product_of_pairings(
        p: &[Self::G1PreparedVar],
        q: &[Self::G2PreparedVar],
    ) -> Result<Self::GTVar, SynthesisError> { ... }
}

Specifies the constraints for computing a pairing in the yybilinear group E.

Required Associated Types

type G1Var: CurveVar<E::G1, <<E as Pairing>::BaseField as Field>::BasePrimeField>

An variable representing an element of G1. This is the R1CS equivalent of E::G1Projective.

type G2Var: CurveVar<E::G2, <<E as Pairing>::BaseField as Field>::BasePrimeField>

An variable representing an element of G2. This is the R1CS equivalent of E::G2Projective.

type GTVar: FieldVar<E::TargetField, <<E as Pairing>::BaseField as Field>::BasePrimeField>

An variable representing an element of GT. This is the R1CS equivalent of E::GT.

type G1PreparedVar: ToBytesGadget<<<E as Pairing>::BaseField as Field>::BasePrimeField> + AllocVar<E::G1Prepared, <<E as Pairing>::BaseField as Field>::BasePrimeField> + Clone + Debug

An variable representing cached precomputation that can speed up pairings computations. This is the R1CS equivalent of E::G1Prepared.

type G2PreparedVar: ToBytesGadget<<<E as Pairing>::BaseField as Field>::BasePrimeField> + AllocVar<E::G2Prepared, <<E as Pairing>::BaseField as Field>::BasePrimeField> + Clone + Debug

An variable representing cached precomputation that can speed up pairings computations. This is the R1CS equivalent of E::G2Prepared.

Required Methods

fn miller_loop( p: &[Self::G1PreparedVar], q: &[Self::G2PreparedVar], ) -> Result<Self::GTVar, SynthesisError>

Computes a multi-miller loop between elements of p and q.

fn final_exponentiation(p: &Self::GTVar) -> Result<Self::GTVar, SynthesisError>

Computes a final exponentiation over p.

fn prepare_g1(q: &Self::G1Var) -> Result<Self::G1PreparedVar, SynthesisError>

Performs the precomputation to generate Self::G1PreparedVar.

fn prepare_g2(q: &Self::G2Var) -> Result<Self::G2PreparedVar, SynthesisError>

Performs the precomputation to generate Self::G2PreparedVar.

Provided Methods

fn pairing( p: Self::G1PreparedVar, q: Self::G2PreparedVar, ) -> Result<Self::GTVar, SynthesisError>

Computes a pairing over p and q.

fn product_of_pairings( p: &[Self::G1PreparedVar], q: &[Self::G2PreparedVar], ) -> Result<Self::GTVar, SynthesisError>

Computes a product of pairings over the elements in p and q.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<P: Bls12Config> PairingVar<Bls12<P>> for ark_r1cs_std::pairing::bls12::PairingVar<P>

type G1Var = ProjectiveVar<<P as Bls12Config>::G1Config, FpVar<<P as Bls12Config>::Fp>>

type G2Var = ProjectiveVar<<P as Bls12Config>::G2Config, QuadExtVar<FpVar<<<P as Bls12Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<P as Bls12Config>::Fp2Config>>>

type G1PreparedVar = G1PreparedVar<P>

type G2PreparedVar = G2PreparedVar<P>

type GTVar = QuadExtVar<CubicExtVar<QuadExtVar<FpVar<<<<<P as Bls12Config>::Fp12Config as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<<P as Bls12Config>::Fp12Config as Fp12Config>::Fp6Config as Fp6Config>::Fp2Config>>, Fp6ConfigWrapper<<<P as Bls12Config>::Fp12Config as Fp12Config>::Fp6Config>>, Fp12ConfigWrapper<<P as Bls12Config>::Fp12Config>>

impl<P: MNT4Config> PairingVar<MNT4<P>> for ark_r1cs_std::pairing::mnt4::PairingVar<P>

type G1Var = ProjectiveVar<<P as MNT4Config>::G1Config, FpVar<<P as MNT4Config>::Fp>>

type G2Var = ProjectiveVar<<P as MNT4Config>::G2Config, QuadExtVar<FpVar<<<P as MNT4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<P as MNT4Config>::Fp2Config>>>

type G1PreparedVar = G1PreparedVar<P>

type G2PreparedVar = G2PreparedVar<P>

type GTVar = QuadExtVar<QuadExtVar<FpVar<<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config as Fp2Config>::Fp>, Fp2ConfigWrapper<<<P as MNT4Config>::Fp4Config as Fp4Config>::Fp2Config>>, Fp4ConfigWrapper<<P as MNT4Config>::Fp4Config>>

impl<P: MNT6Config> PairingVar<MNT6<P>> for ark_r1cs_std::pairing::mnt6::PairingVar<P>

type G1Var = ProjectiveVar<<P as MNT6Config>::G1Config, FpVar<<P as MNT6Config>::Fp>>

type G2Var = ProjectiveVar<<P as MNT6Config>::G2Config, CubicExtVar<FpVar<<<P as MNT6Config>::Fp3Config as Fp3Config>::Fp>, Fp3ConfigWrapper<<P as MNT6Config>::Fp3Config>>>

type G1PreparedVar = G1PreparedVar<P>

type G2PreparedVar = G2PreparedVar<P>

type GTVar = QuadExtVar<CubicExtVar<FpVar<<<<P as MNT6Config>::Fp6Config as Fp6Config>::Fp3Config as Fp3Config>::Fp>, Fp3ConfigWrapper<<<P as MNT6Config>::Fp6Config as Fp6Config>::Fp3Config>>, Fp6ConfigWrapper<<P as MNT6Config>::Fp6Config>>