Type Alias InnerChallenge

pub type InnerChallenge = BinomialExtensionField<InnerVal, 4>;

Aliased Type

struct InnerChallenge { /* private fields */ }

Trait Implementations

impl Hintable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>> for InnerChallenge

type HintVariable = Ext<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>

fn read(builder: &mut Builder<InnerConfig>) -> Self::HintVariable

fn write(&self) -> Vec<Vec<<InnerConfig as Config>::N>>

fn witness(variable: &Self::HintVariable, builder: &mut Builder<C>)

impl<FA, const D: usize> Add<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the + operator.

fn add(self, rhs: FA) -> BinomialExtensionField<FA, D>

Performs the + operation.

impl<FA, const D: usize> Add for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the + operator.

fn add( self, rhs: BinomialExtensionField<FA, D>, ) -> BinomialExtensionField<FA, D>

Performs the + operation.

impl<FA, const D: usize> AddAssign<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn add_assign(&mut self, rhs: FA)

Performs the += operation.

impl<FA, const D: usize> AddAssign for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn add_assign(&mut self, rhs: BinomialExtensionField<FA, D>)

Performs the += operation.

impl<FA, const D: usize> Clone for BinomialExtensionField<FA, D>

where FA: Clone,

fn clone(&self) -> BinomialExtensionField<FA, D>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<FA, const D: usize> Debug for BinomialExtensionField<FA, D>

where FA: Debug,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<FA, const D: usize> Default for BinomialExtensionField<FA, D>

where FA: FieldAlgebra,

fn default() -> BinomialExtensionField<FA, D>

Returns the “default value” for a type.

impl<'de, FA, const D: usize> Deserialize<'de> for BinomialExtensionField<FA, D>

where FA: Deserialize<'de>,

fn deserialize<__D>( __deserializer: __D, ) -> Result<BinomialExtensionField<FA, D>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<F, const D: usize> Display for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<F, const D: usize> Div for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<F, D>

The resulting type after applying the / operator.

fn div( self, rhs: BinomialExtensionField<F, D>, ) -> <BinomialExtensionField<F, D> as Div>::Output

Performs the / operation.

impl<F, const D: usize> DivAssign for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

fn div_assign(&mut self, rhs: BinomialExtensionField<F, D>)

Performs the /= operation.

impl<F, const D: usize> ExtensionField<F> for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

type ExtensionPacking = BinomialExtensionField<<F as Field>::Packing, D>

fn is_in_basefield(&self) -> bool

fn as_base(&self) -> Option<Base>

fn ext_powers_packed(&self) -> Powers<Self::ExtensionPacking>

Construct an iterator which returns powers of self packed into ExtensionPacking elements.

impl<F, const D: usize> Field for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

const GENERATOR: BinomialExtensionField<F, D>

A generator of this field’s entire multiplicative group.

type Packing = BinomialExtensionField<F, D>

fn try_inverse(&self) -> Option<BinomialExtensionField<F, D>>

The multiplicative inverse of this field element, if it exists.

fn halve(&self) -> BinomialExtensionField<F, D>

Computes input/2. Should be overwritten by most field implementations to use bitshifts. Will error if the field characteristic is 2.

fn order() -> BigUint

fn is_zero(&self) -> bool

fn is_one(&self) -> bool

fn div_2exp_u64(&self, exp: u64) -> Self

self / 2^exp

fn exp_u64_generic<FA>(val: FA, power: u64) -> FA

where FA: FieldAlgebra<F = Self>,

Exponentiation by a u64 power. This is similar to exp_u64, but more general in that it can be used with FieldAlgebras, not just this concrete field.

fn inverse(&self) -> Self

fn multiplicative_group_factors() -> Vec<(BigUint, usize)>

A list of (factor, exponent) pairs.

fn bits() -> usize

impl<FA, const D: usize> FieldAlgebra for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

const ZERO: BinomialExtensionField<FA, D>

The additive identity of the algebra.

const ONE: BinomialExtensionField<FA, D>

The multiplicative identity of the Algebra

const TWO: BinomialExtensionField<FA, D>

The element in the algebra given by ONE + ONE.

const NEG_ONE: BinomialExtensionField<FA, D>

The element in the algebra given by -ONE.

type F = BinomialExtensionField<<FA as FieldAlgebra>::F, D>

fn from_f( f: <BinomialExtensionField<FA, D> as FieldAlgebra>::F, ) -> BinomialExtensionField<FA, D>

Interpret a field element as a commutative algebra element.

fn from_canonical_u8(n: u8) -> BinomialExtensionField<FA, D>

Convert from a canonical u8.

fn from_canonical_u16(n: u16) -> BinomialExtensionField<FA, D>

Convert from a canonical u16.

fn from_canonical_u32(n: u32) -> BinomialExtensionField<FA, D>

Convert from a canonical u32.

fn from_canonical_u64(n: u64) -> BinomialExtensionField<FA, D>

Convert from a canonical u64.

fn from_canonical_usize(n: usize) -> BinomialExtensionField<FA, D>

Convert from a canonical usize.

fn from_wrapped_u32(n: u32) -> BinomialExtensionField<FA, D>

fn from_wrapped_u64(n: u64) -> BinomialExtensionField<FA, D>

fn square(&self) -> BinomialExtensionField<FA, D>

The elementary function square(a) = a^2.

fn zero_vec(len: usize) -> Vec<BinomialExtensionField<FA, D>>

Allocates a vector of zero elements of length len. Many operating systems zero pages before assigning them to a userspace process. In that case, our process should not need to write zeros, which would be redundant. However, the compiler may not always recognize this.

fn from_bool(b: bool) -> Self

Convert from a bool.

fn double(&self) -> Self

The elementary function double(a) = 2*a.

fn cube(&self) -> Self

The elementary function cube(a) = a^3.

fn exp_u64(&self, power: u64) -> Self

Exponentiation by a u64 power.

fn exp_const_u64<const POWER: u64>(&self) -> Self

Exponentiation by a constant power.

fn exp_power_of_2(&self, power_log: usize) -> Self

Compute self^{2^power_log} by repeated squaring.

fn mul_2exp_u64(&self, exp: u64) -> Self

self * 2^exp

fn powers(&self) -> Powers<Self>

Construct an iterator which returns powers of self: self^0, self^1, self^2, ....

fn shifted_powers(&self, start: Self) -> Powers<Self>

Construct an iterator which returns powers of self shifted by start: start, start*self^1, start*self^2, ....

fn powers_packed<P>(&self) -> Powers<P>

where P: PackedField<Scalar = Self>,

Construct an iterator which returns powers of self packed into PackedField elements.

fn shifted_powers_packed<P>(&self, start: Self) -> Powers<P>

where P: PackedField<Scalar = Self>,

Construct an iterator which returns powers of self shifted by start and packed into PackedField elements.

fn dot_product<const N: usize>(u: &[Self; N], v: &[Self; N]) -> Self

Compute the dot product of two vectors.

impl<FA, const D: usize> FieldExtensionAlgebra<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

const D: usize = D

fn from_base(b: FA) -> BinomialExtensionField<FA, D>

fn from_base_slice(bs: &[FA]) -> BinomialExtensionField<FA, D>

Suppose this field extension is represented by the quotient ring B[X]/(f(X)) where B is Base and f is an irreducible polynomial of degree D. This function takes a slice bs of length at exactly D, and constructs the field element \sum_i bs[i] * X^i.

fn from_base_fn<F>(f: F) -> BinomialExtensionField<FA, D>

where F: FnMut(usize) -> FA,

Similar to core:array::from_fn, with the same caveats as from_base_slice.

fn from_base_iter<I>(iter: I) -> BinomialExtensionField<FA, D>

where I: Iterator<Item = FA>,

fn as_base_slice(&self) -> &[FA]

Suppose this field extension is represented by the quotient ring B[X]/(f(X)) where B is Base and f is an irreducible polynomial of degree D. This function takes a field element \sum_i bs[i] * X^i and returns the coefficients as a slice bs of length at most D containing, from lowest degree to highest.

fn monomial(exponent: usize) -> Self

Suppose this field extension is represented by the quotient ring B[X]/(f(X)) where B is Base and f is an irreducible polynomial of degree D. This function returns the field element X^exponent if exponent < D and panics otherwise. (The fact that f is not known at the point that this function is defined prevents implementing exponentiation of higher powers since the reduction cannot be performed.)

impl<FA, const D: usize> From<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra,

fn from(x: FA) -> BinomialExtensionField<FA, D>

Converts to this type from the input type.

impl<F, const D: usize> HasFrobenius<F> for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

fn frobenius(&self) -> BinomialExtensionField<F, D>

FrobeniusField automorphisms: x -> x^n, where n is the order of BaseField.

fn repeated_frobenius(&self, count: usize) -> BinomialExtensionField<F, D>

Repeated Frobenius automorphisms: x -> x^(n^count).

Follows precomputation suggestion in Section 11.3.3 of the Handbook of Elliptic and Hyperelliptic Curve Cryptography.

fn frobenius_inv(&self) -> BinomialExtensionField<F, D>

Algorithm 11.3.4 in Handbook of Elliptic and Hyperelliptic Curve Cryptography.

fn minimal_poly(self) -> Vec<F>

fn galois_group(self) -> Vec<Self>

impl<FA, const D: usize> Hash for BinomialExtensionField<FA, D>

where FA: Hash,

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<FA, const D: usize> Mul<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the * operator.

fn mul(self, rhs: FA) -> BinomialExtensionField<FA, D>

Performs the * operation.

impl<FA, const D: usize> Mul for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the * operator.

fn mul( self, rhs: BinomialExtensionField<FA, D>, ) -> BinomialExtensionField<FA, D>

Performs the * operation.

impl<FA, const D: usize> MulAssign<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn mul_assign(&mut self, rhs: FA)

Performs the *= operation.

impl<FA, const D: usize> MulAssign for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn mul_assign(&mut self, rhs: BinomialExtensionField<FA, D>)

Performs the *= operation.

impl<FA, const D: usize> Neg for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the - operator.

fn neg(self) -> BinomialExtensionField<FA, D>

Performs the unary - operation.

impl<FA, const D: usize> Ord for BinomialExtensionField<FA, D>

where FA: Ord,

fn cmp(&self, other: &BinomialExtensionField<FA, D>) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl<FA, const D: usize> PartialEq for BinomialExtensionField<FA, D>

where FA: PartialEq,

fn eq(&self, other: &BinomialExtensionField<FA, D>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<FA, const D: usize> PartialOrd for BinomialExtensionField<FA, D>

where FA: PartialOrd,

fn partial_cmp(&self, other: &BinomialExtensionField<FA, D>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<FA, const D: usize> Product for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn product<I>(iter: I) -> BinomialExtensionField<FA, D>

where I: Iterator<Item = BinomialExtensionField<FA, D>>,

Takes an iterator and generates Self from the elements by multiplying the items.

impl<FA, const D: usize> Serialize for BinomialExtensionField<FA, D>

where FA: Serialize,

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<FA, const D: usize> Sub<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the - operator.

fn sub(self, rhs: FA) -> BinomialExtensionField<FA, D>

Performs the - operation.

impl<FA, const D: usize> Sub for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

type Output = BinomialExtensionField<FA, D>

The resulting type after applying the - operator.

fn sub( self, rhs: BinomialExtensionField<FA, D>, ) -> BinomialExtensionField<FA, D>

Performs the - operation.

impl<FA, const D: usize> SubAssign<FA> for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn sub_assign(&mut self, rhs: FA)

Performs the -= operation.

impl<FA, const D: usize> SubAssign for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn sub_assign(&mut self, rhs: BinomialExtensionField<FA, D>)

Performs the -= operation.

impl<FA, const D: usize> Sum for BinomialExtensionField<FA, D>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: BinomiallyExtendable<D>,

fn sum<I>(iter: I) -> BinomialExtensionField<FA, D>

where I: Iterator<Item = BinomialExtensionField<FA, D>>,

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<F, const D: usize> TwoAdicField for BinomialExtensionField<F, D>

where F: Field + HasTwoAdicBinomialExtension<D>,

const TWO_ADICITY: usize = F::EXT_TWO_ADICITY

The number of factors of two in this field’s multiplicative group.

fn two_adic_generator(bits: usize) -> BinomialExtensionField<F, D>

Returns a generator of the multiplicative group of order 2^bits. Assumes bits <= TWO_ADICITY, otherwise the result is undefined.

impl<FA, const D: usize> Copy for BinomialExtensionField<FA, D>

where FA: Copy,

impl<FA, const D: usize> Eq for BinomialExtensionField<FA, D>

where FA: Eq,

impl<F, const D: usize> Packable for BinomialExtensionField<F, D>

where F: BinomiallyExtendable<D>,

impl<FA, const D: usize> StructuralPartialEq for BinomialExtensionField<FA, D>