You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The extensions of Bn256 base field Fq2 and Fq6 are constructed choosing a quadratic/cubic non-residue in their respective base field. Each of these extensions implement the function multiply_by_nonresidue, which multiplies an element by a non-residue element of the extension field.
However, these extensions each have another function that is identical:
The remaining extension, Fq12, does not seem to have such duplicated function.
These functions are not used anywhere, I think they are just duplicates and should be removed for clarity.
Edit:
Moreover, the following comments should be corrected:
The extensions of
Bn256
base fieldFq2
andFq6
are constructed choosing a quadratic/cubic non-residue in their respective base field. Each of these extensions implement the functionmultiply_by_nonresidue
, which multiplies an element by a non-residue element of the extension field.However, these extensions each have another function that is identical:
Fq2
hasmul_by_xi
halo2curves/src/bn256/fq2.rs
Line 300 in 6e2ff38
Fq6
hasmul_by_v
.halo2curves/src/bn256/fq6.rs
Line 268 in 6e2ff38
The remaining extension,
Fq12
, does not seem to have such duplicated function.These functions are not used anywhere, I think they are just duplicates and should be removed for clarity.
Edit:
Moreover, the following comments should be corrected:
halo2curves/src/bn256/fq6.rs
Line 258 in 6e2ff38
This
v
is the non-residue used for the quadratic extension[Fq12 : Fq6]
. It is a quadritic, not cubic, non-residue.The same applies for:
halo2curves/src/bn256/fq2.rs
Line 277 in 6e2ff38
This should be cubic, not quadriatic.
The text was updated successfully, but these errors were encountered: