Struct Felt

pub struct Felt<F> {
    pub idx: u32,
    /* private fields */
}

A variable that represents an emulated field element.

Used to do field arithmetic for recursive verification.

Fields

idx: u32

Implementations

impl<F> Felt<F>

pub const fn new(id: u32, handle: *mut FeltHandle<F>) -> Self

pub fn id(&self) -> String

pub fn loc(&self) -> String

pub fn inverse(&self) -> SymbolicFelt<F>

where F: Field,

Trait Implementations

impl<F: Field> Add<F> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> Add<Felt<F>> for SymbolicFelt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the + operator.

fn add(self, rhs: Felt<F>) -> 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> Add<SymbolicFelt<F>> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Field> Add for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<F: Clone> Clone for Felt<F>

fn clone(&self) -> Felt<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for Felt<F>

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

Formats the value using the given formatter.

impl<F: Field> Div<F> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<F: Field> Div<Felt<F>> for SymbolicFelt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the / operator.

fn div(self, rhs: Felt<F>) -> 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> Div<SymbolicFelt<F>> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the / operator.

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

Performs the / operation.

impl<F: Field> Div for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the / operator.

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

Performs the / operation.

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> From<Felt<F>> for SymbolicFelt<F>

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

Converts to this type from the input type.

impl<C: Config> FromConstant<C> for Felt<C::F>

type Constant = <C as Config>::F

fn constant(value: Self::Constant, builder: &mut Builder<C>) -> Self

impl<F: Hash> Hash for Felt<F>

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<C: Config> MemVariable<C> for Felt<C::F>

fn size_of() -> usize

fn load(&self, ptr: Ptr<C::N>, index: MemIndex<C::N>, builder: &mut Builder<C>)

Loads the variable from the heap.

fn store( &self, ptr: Ptr<<C as Config>::N>, index: MemIndex<C::N>, builder: &mut Builder<C>, )

Stores the variable to the heap.

impl<F: Field> Mul<F> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> Mul<Felt<F>> for SymbolicFelt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the * operator.

fn mul(self, rhs: Felt<F>) -> 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> Mul<SymbolicFelt<F>> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> Mul for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the * operator.

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

Performs the * operation.

impl<F: Field> MulAssign<Felt<F>> for SymbolicFelt<F>

fn mul_assign(&mut self, rhs: Felt<F>)

Performs the *= operation.

impl<F: Field> Neg for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<F: PartialEq> PartialEq for Felt<F>

fn eq(&self, other: &Felt<F>) -> 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> Sub<F> for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<F: Field> Sub<Felt<F>> for SymbolicFelt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the - operator.

fn sub(self, rhs: Felt<F>) -> 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> Sub for Felt<F>

type Output = SymbolicFelt<F>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<C: Config> Variable<C> for Felt<C::F>

type Expression = SymbolicFelt<<C as Config>::F>

fn uninit(builder: &mut Builder<C>) -> Self

fn assign(&self, src: Self::Expression, builder: &mut Builder<C>)

fn assert_eq( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

fn assert_ne( lhs: impl Into<Self::Expression>, rhs: impl Into<Self::Expression>, builder: &mut Builder<C>, )

impl<F: Copy> Copy for Felt<F>

impl<F: Eq> Eq for Felt<F>

impl<F> Send for Felt<F>

impl<F> StructuralPartialEq for Felt<F>

impl<F> Sync for Felt<F>