Enum sp1_recursion_compiler::ir::SymbolicExt

pub enum SymbolicExt<F: Field, EF: Field> {
    Const(EF, Digest<EF>),
    Base(Rc<SymbolicFelt<F>>, Digest<EF>),
    Val(Ext<F, EF>, Digest<EF>),
    Add(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>),
    Mul(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>),
    Sub(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>),
    Div(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>),
    Neg(Rc<SymbolicExt<F, EF>>, Digest<EF>),
}

Variants

Const(EF, Digest<EF>)

Base(Rc<SymbolicFelt<F>>, Digest<EF>)

Val(Ext<F, EF>, Digest<EF>)

Add(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>)

Mul(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>)

Sub(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>)

Div(Rc<SymbolicExt<F, EF>>, Rc<SymbolicExt<F, EF>>, Digest<EF>)

Neg(Rc<SymbolicExt<F, EF>>, Digest<EF>)

Trait Implementations

impl<F: Field, EF: ExtensionField<F>> AbstractField for SymbolicExt<F, EF>

fn generator() -> Self

A generator of this field’s entire multiplicative group.

type F = EF

fn zero() -> Self

fn one() -> Self

fn two() -> Self

fn neg_one() -> Self

fn from_f(f: Self::F) -> Self

fn from_bool(b: bool) -> Self

fn from_canonical_u8(n: u8) -> Self

fn from_canonical_u16(n: u16) -> Self

fn from_canonical_u32(n: u32) -> Self

fn from_canonical_u64(n: u64) -> Self

fn from_canonical_usize(n: usize) -> Self

fn from_wrapped_u32(n: u32) -> Self

fn from_wrapped_u64(n: u64) -> Self

fn double(&self) -> Self

fn square(&self) -> Self

fn cube(&self) -> Self

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

Exponentiation by a u64 power.

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

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

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

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

fn powers_packed<P>(&self) -> PackedPowers<Self, P>

where P: PackedField<Scalar = Self>,

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

where P: PackedField<Scalar = Self>,

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

fn try_div<Rhs>(self, rhs: Rhs) -> Option<Self::Output>

where Rhs: Field, Self: Mul<Rhs>,

impl<F: Field, EF: ExtensionField<F>, E: ExtensionOperand<F, EF>> Add<E> for SymbolicExt<F, EF>

type Output = SymbolicExt<F, EF>

The resulting type after applying the + operator.

fn add(self, rhs: E) -> Self::Output

Performs the + operation.

impl<F: Field, EF: ExtensionField<F>> Add<SymbolicExt<F, EF>> for Felt<F>

type Output = SymbolicExt<F, EF>

The resulting type after applying the + operator.

fn add(self, rhs: SymbolicExt<F, EF>) -> Self::Output

Performs the + operation.

impl<F: Field, EF: ExtensionField<F>, E: Any> AddAssign<E> for SymbolicExt<F, EF>

fn add_assign(&mut self, rhs: E)

Performs the += operation.

impl<F: Clone + Field, EF: Clone + Field> Clone for SymbolicExt<F, EF>

fn clone(&self) -> SymbolicExt<F, EF>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field, EF: Debug + Field> Debug for SymbolicExt<F, EF>

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

Formats the value using the given formatter.

impl<F: Field, EF: ExtensionField<F>> Default for SymbolicExt<F, EF>

fn default() -> Self

Returns the “default value” for a type.

impl<F: Field, EF: ExtensionField<F>, E: Any> Div<E> for SymbolicExt<F, EF>

type Output = SymbolicExt<F, EF>

The resulting type after applying the / operator.

fn div(self, rhs: E) -> Self::Output

Performs the / operation.

impl<F: Field, EF: ExtensionField<F>> Div<SymbolicExt<F, EF>> for Felt<F>

type Output = SymbolicExt<F, EF>

The resulting type after applying the / operator.

fn div(self, rhs: SymbolicExt<F, EF>) -> Self::Output

Performs the / operation.

impl<F: Field, EF: ExtensionField<F>, E: Any> DivAssign<E> for SymbolicExt<F, EF>

fn div_assign(&mut self, rhs: E)

Performs the /= operation.

impl<F: Field, EF: ExtensionField<F>> From<Ext<F, EF>> for SymbolicExt<F, EF>

fn from(e: Ext<F, EF>) -> Self

Converts to this type from the input type.

impl<F: Field, EF: ExtensionField<F>> From<F> for SymbolicExt<F, EF>

fn from(f: F) -> Self

Converts to this type from the input type.

impl<F: Field, EF: ExtensionField<F>> From<Felt<F>> for SymbolicExt<F, EF>

fn from(value: Felt<F>) -> Self

Converts to this type from the input type.

impl<F: Field, EF: Field> Hash for SymbolicExt<F, EF>

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

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<F: Field, EF: ExtensionField<F>, E: Any> Mul<E> for SymbolicExt<F, EF>

type Output = SymbolicExt<F, EF>

The resulting type after applying the * operator.

fn mul(self, rhs: E) -> Self::Output

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>> Mul<SymbolicExt<F, EF>> for Felt<F>

type Output = SymbolicExt<F, EF>

The resulting type after applying the * operator.

fn mul(self, rhs: SymbolicExt<F, EF>) -> Self::Output

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>> Mul<SymbolicExt<F, EF>> for SymbolicFelt<F>

type Output = SymbolicExt<F, EF>

The resulting type after applying the * operator.

fn mul(self, rhs: SymbolicExt<F, EF>) -> Self::Output

Performs the * operation.

impl<F: Field, EF: ExtensionField<F>, E: Any> MulAssign<E> for SymbolicExt<F, EF>

fn mul_assign(&mut self, rhs: E)

Performs the *= operation.

impl<F: Field, EF: ExtensionField<F>> Neg for SymbolicExt<F, EF>

type Output = SymbolicExt<F, EF>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<F: Field, EF: Field> PartialEq for SymbolicExt<F, EF>

fn eq(&self, other: &Self) -> 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<F: Field, EF: ExtensionField<F>> Product for SymbolicExt<F, EF>

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

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

impl<F: Field, EF: ExtensionField<F>, E: Any> Sub<E> for SymbolicExt<F, EF>

type Output = SymbolicExt<F, EF>

The resulting type after applying the - operator.

fn sub(self, rhs: E) -> Self::Output

Performs the - operation.

impl<F: Field, EF: ExtensionField<F>> Sub<SymbolicExt<F, EF>> for Felt<F>

type Output = SymbolicExt<F, EF>

The resulting type after applying the - operator.

fn sub(self, rhs: SymbolicExt<F, EF>) -> Self::Output

Performs the - operation.

impl<F: Field, EF: ExtensionField<F>, E: Any> SubAssign<E> for SymbolicExt<F, EF>

fn sub_assign(&mut self, rhs: E)

Performs the -= operation.

impl<F: Field, EF: ExtensionField<F>> Sum for SymbolicExt<F, EF>

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

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

impl<F: Field, EF: Field> Eq for SymbolicExt<F, EF>