ark_r1cs_std/fields/
fp4.rs

1use crate::fields::{fp2::Fp2Var, quadratic_extension::*};
2use ark_ff::{
3    fields::{Fp4ConfigWrapper, QuadExtConfig},
4    Fp4Config,
5};
6
7/// A quartic extension field constructed as the tower of a
8/// quadratic extension over a quadratic extension field.
9/// This is the R1CS equivalent of `ark_ff::Fp4<P>`.
10pub type Fp4Var<P> = QuadExtVar<Fp2Var<<P as Fp4Config>::Fp2Config>, Fp4ConfigWrapper<P>>;
11
12impl<P: Fp4Config> QuadExtVarConfig<Fp2Var<P::Fp2Config>> for Fp4ConfigWrapper<P> {
13    fn mul_base_field_var_by_frob_coeff(fe: &mut Fp2Var<P::Fp2Config>, power: usize) {
14        fe.c0 *= Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
15        fe.c1 *= Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
16    }
17}
ark_r1cs_std/fields/fp4.rs

ark_r1cs_std/fields/
fp4.rs
