Trait ark_r1cs_std::pairing::PairingVar

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

    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>;

    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, ConstraintF> + AllocVar<E::G1, ConstraintF> + AllocVar<E::G1Affine, ConstraintF>

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

type G2Var: CurveVar<E::G2, ConstraintF> + AllocVar<E::G2, ConstraintF> + AllocVar<E::G2Affine, ConstraintF>

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

type GTVar: FieldVar<E::TargetField, ConstraintF>

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

type G1PreparedVar: ToBytesGadget<ConstraintF> + AllocVar<E::G1Prepared, ConstraintF> + Clone + Debug

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

type G2PreparedVar: ToBytesGadget<ConstraintF> + AllocVar<E::G2Prepared, ConstraintF> + 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.

Implementors

impl<P: Bls12Config> PairingVar<Bls12<P>, <P as Bls12Config>::Fp> 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>, <P as MNT4Config>::Fp> 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>, <P as MNT6Config>::Fp> 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>>