pub type Fp2 = Bn254Fp2;
Aliased Type§
struct Fp2 {
pub c0: Bn254Fp,
pub c1: Bn254Fp,
}
Fields§
§c0: Bn254Fp
Real coordinate
c1: Bn254Fp
Imaginary coordinate
Trait Implementations§
Source§impl FieldExtension<Bn254Fp> for Fp2
impl FieldExtension<Bn254Fp> for Fp2
Source§type Coeffs = [Bn254Fp; 2]
type Coeffs = [Bn254Fp; 2]
This should be [BaseField; D]. It is an associated type due to rust const generic limitations.
Source§fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
fn from_coeffs([c0, c1]: Self::Coeffs) -> Self
Create an extension field element from its base field coefficients.
Source§fn from_bytes(bytes: &[u8]) -> Self
fn from_bytes(bytes: &[u8]) -> Self
Create an extension field element from little-endian bytes.
Source§fn to_coeffs(self) -> Self::Coeffs
fn to_coeffs(self) -> Self::Coeffs
Convert an extension field element to its base field coefficients.
Source§fn frobenius_map(&self, power: usize) -> Self
fn frobenius_map(&self, power: usize) -> Self
Frobenius map: take
self
to the p^power
th power, where p
is the prime characteristic of the field.