Struct DummyElem 

pub struct DummyElem<F>(/* private fields */);

A dummy field element for OracleSetupChannel, generic over the field F it stands in for.

The setup channel performs no real verification, so the field values flowing through it are never inspected. DummyElem<F> is a zero-sized stand-in whose arithmetic is all no-ops; the PhantomData<F> lets it satisfy FieldOps<Scalar = F> without doing (pointless) real field arithmetic during the structural dry run.

Trait Implementations

impl<F> Add for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the + operator.

fn add(self, _rhs: Self) -> Self

Performs the + operation.

impl<F> Add<&DummyElem<F>> for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the + operator.

fn add(self, _rhs: &Self) -> Self

Performs the + operation.

impl<F> AddAssign for DummyElem<F>

fn add_assign(&mut self, _rhs: Self)

Performs the += operation.

impl<F> AddAssign<&DummyElem<F>> for DummyElem<F>

fn add_assign(&mut self, _rhs: &Self)

Performs the += operation.

impl<F: Clone> Clone for DummyElem<F>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Copy> Copy for DummyElem<F>

impl<F: Debug> Debug for DummyElem<F>

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

Formats the value using the given formatter.

impl<F: Default> Default for DummyElem<F>

fn default() -> DummyElem<F>

Returns the “default value” for a type.

impl<F: Eq> Eq for DummyElem<F>

impl<F: Field> FieldOps for DummyElem<F>

type Scalar = F

fn zero() -> Self

Returns the zero element (additive identity).

fn one() -> Self

Returns the one element (multiplicative identity).

fn square_transpose<FSub: Field>(_elems: &mut [Self])

where F: ExtensionField<FSub>,

Transpose the subfield elements in a slice of field elements.

impl<F> From<F> for DummyElem<F>

fn from(_value: F) -> Self

Converts to this type from the input type.

impl<F> InvertOrZero for DummyElem<F>

fn invert_or_zero(self) -> Self

Returns the inverted value or zero in case when self is zero

unsafe fn invert(self) -> Self

where Self: Sized,

Returns the multiplicative inverse.

impl<F> Mul for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the * operator.

fn mul(self, _rhs: Self) -> Self

Performs the * operation.

impl<F> Mul<&DummyElem<F>> for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the * operator.

fn mul(self, _rhs: &Self) -> Self

Performs the * operation.

impl<F> MulAssign for DummyElem<F>

fn mul_assign(&mut self, _rhs: Self)

Performs the *= operation.

impl<F> MulAssign<&DummyElem<F>> for DummyElem<F>

fn mul_assign(&mut self, _rhs: &Self)

Performs the *= operation.

impl<F> Neg for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<F: PartialEq> PartialEq for DummyElem<F>

fn eq(&self, other: &DummyElem<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> Product for DummyElem<F>

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

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

impl<'a, F> Product<&'a DummyElem<F>> for DummyElem<F>

fn product<I: Iterator<Item = &'a Self>>(_iter: I) -> Self

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

impl<F> Square for DummyElem<F>

fn square(self) -> Self

Returns the value multiplied by itself

impl<F: PartialEq> StructuralPartialEq for DummyElem<F>

impl<F> Sub for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the - operator.

fn sub(self, _rhs: Self) -> Self

Performs the - operation.

impl<F> Sub<&DummyElem<F>> for DummyElem<F>

type Output = DummyElem<F>

The resulting type after applying the - operator.

fn sub(self, _rhs: &Self) -> Self

Performs the - operation.

impl<F> SubAssign for DummyElem<F>

fn sub_assign(&mut self, _rhs: Self)

Performs the -= operation.

impl<F> SubAssign<&DummyElem<F>> for DummyElem<F>

fn sub_assign(&mut self, _rhs: &Self)

Performs the -= operation.

impl<F> Sum for DummyElem<F>

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

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

impl<'a, F> Sum<&'a DummyElem<F>> for DummyElem<F>

fn sum<I: Iterator<Item = &'a Self>>(_iter: I) -> Self

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