1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
use super::cubic_extension::*;
use crate::fields::*;
use core::marker::PhantomData;
pub trait Fp6Config: 'static + Send + Sync + Copy {
type Fp2Config: Fp2Config;
const NONRESIDUE: Fp2<Self::Fp2Config>;
const SQRT_PRECOMP: Option<SqrtPrecomputation<Fp6<Self>>> = None;
const FROBENIUS_COEFF_FP6_C1: &'static [Fp2<Self::Fp2Config>];
const FROBENIUS_COEFF_FP6_C2: &'static [Fp2<Self::Fp2Config>];
#[inline(always)]
fn mul_fp2_by_nonresidue_in_place(fe: &mut Fp2<Self::Fp2Config>) -> &mut Fp2<Self::Fp2Config> {
*fe *= &Self::NONRESIDUE;
fe
}
#[inline(always)]
fn mul_fp2_by_nonresidue(mut fe: Fp2<Self::Fp2Config>) -> Fp2<Self::Fp2Config> {
Self::mul_fp2_by_nonresidue_in_place(&mut fe);
fe
}
}
pub struct Fp6ConfigWrapper<P: Fp6Config>(PhantomData<P>);
impl<P: Fp6Config> CubicExtConfig for Fp6ConfigWrapper<P> {
type BasePrimeField = <P::Fp2Config as Fp2Config>::Fp;
type BaseField = Fp2<P::Fp2Config>;
type FrobCoeff = Fp2<P::Fp2Config>;
const SQRT_PRECOMP: Option<SqrtPrecomputation<CubicExtField<Self>>> = P::SQRT_PRECOMP;
const DEGREE_OVER_BASE_PRIME_FIELD: usize = 6;
const NONRESIDUE: Self::BaseField = P::NONRESIDUE;
const FROBENIUS_COEFF_C1: &'static [Self::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C1;
const FROBENIUS_COEFF_C2: &'static [Self::FrobCoeff] = P::FROBENIUS_COEFF_FP6_C2;
#[inline(always)]
fn mul_base_field_by_nonresidue_in_place(fe: &mut Self::BaseField) -> &mut Self::BaseField {
P::mul_fp2_by_nonresidue_in_place(fe)
}
fn mul_base_field_by_frob_coeff(
c1: &mut Self::BaseField,
c2: &mut Self::BaseField,
power: usize,
) {
*c1 *= &Self::FROBENIUS_COEFF_C1[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
*c2 *= &Self::FROBENIUS_COEFF_C2[power % Self::DEGREE_OVER_BASE_PRIME_FIELD];
}
}
pub type Fp6<P> = CubicExtField<Fp6ConfigWrapper<P>>;
impl<P: Fp6Config> Fp6<P> {
pub fn mul_assign_by_fp2(&mut self, other: Fp2<P::Fp2Config>) {
self.c0 *= &other;
self.c1 *= &other;
self.c2 *= &other;
}
pub fn mul_by_fp(&mut self, element: &<P::Fp2Config as Fp2Config>::Fp) {
self.c0.mul_assign_by_fp(element);
self.c1.mul_assign_by_fp(element);
self.c2.mul_assign_by_fp(element);
}
pub fn mul_by_fp2(&mut self, element: &Fp2<P::Fp2Config>) {
self.c0.mul_assign(element);
self.c1.mul_assign(element);
self.c2.mul_assign(element);
}
pub fn mul_by_1(&mut self, c1: &Fp2<P::Fp2Config>) {
let mut b_b = self.c1;
b_b.mul_assign(c1);
let mut t1 = *c1;
{
let mut tmp = self.c1;
tmp.add_assign(&self.c2);
t1.mul_assign(&tmp);
t1.sub_assign(&b_b);
P::mul_fp2_by_nonresidue_in_place(&mut t1);
}
let mut t2 = *c1;
{
let mut tmp = self.c0;
tmp.add_assign(&self.c1);
t2.mul_assign(&tmp);
t2.sub_assign(&b_b);
}
self.c0 = t1;
self.c1 = t2;
self.c2 = b_b;
}
pub fn mul_by_01(&mut self, c0: &Fp2<P::Fp2Config>, c1: &Fp2<P::Fp2Config>) {
let mut a_a = self.c0;
let mut b_b = self.c1;
a_a.mul_assign(c0);
b_b.mul_assign(c1);
let mut t1 = *c1;
{
let mut tmp = self.c1;
tmp.add_assign(&self.c2);
t1.mul_assign(&tmp);
t1.sub_assign(&b_b);
P::mul_fp2_by_nonresidue_in_place(&mut t1);
t1.add_assign(&a_a);
}
let mut t3 = *c0;
{
let mut tmp = self.c0;
tmp.add_assign(&self.c2);
t3.mul_assign(&tmp);
t3.sub_assign(&a_a);
t3.add_assign(&b_b);
}
let mut t2 = *c0;
t2.add_assign(c1);
{
let mut tmp = self.c0;
tmp.add_assign(&self.c1);
t2.mul_assign(&tmp);
t2.sub_assign(&a_a);
t2.sub_assign(&b_b);
}
self.c0 = t1;
self.c1 = t2;
self.c2 = t3;
}
}
impl<P: Fp6Config> CyclotomicMultSubgroup for Fp6<P> {}