Struct Null 

pub struct Null;

Null is a zero-sized type that absorbs any arithmetic and always returns itself.

It also has itself as its in-circuit representation, which does not allocate any variables or require any constraints.

Trait Implementations

impl<F> Add<F> for Null

type Output = Null

The resulting type after applying the + operator.

fn add(self, _: F) -> Null

Performs the + operation.

impl<F> Add<F> for &Null

type Output = Null

The resulting type after applying the + operator.

fn add(self, _: F) -> Null

Performs the + operation.

impl<F: Field> AllocVar<Null, F> for Null

fn new_variable<T: Borrow<Null>>( _cs: impl Into<Namespace<F>>, _f: impl FnOnce() -> Result<T, SynthesisError>, _mode: AllocationMode, ) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant( cs: impl Into<Namespace<F>>, t: impl Borrow<V>, ) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new private witness of type Self in the ConstraintSystem cs.

fn new_variable_with_inferred_mode<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new constant or private witness of type Self in the ConstraintSystem cs with the allocation mode inferred from cs. A constant is allocated if cs is None, and a private witness is allocated otherwise.

impl Clone for Null

fn clone(&self) -> Null

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Null

impl Debug for Null

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

Formats the value using the given formatter.

impl Default for Null

fn default() -> Null

Returns the “default value” for a type.

impl Eq for Null

impl<F: Field> GR1CSVar<F> for Null

type Value = Null

The type of the “native” value that Self represents in the constraint system.

fn cs(&self) -> ConstraintSystemRef<F>

Returns the underlying ConstraintSystemRef.

fn value(&self) -> Result<Self::Value, SynthesisError>

Returns the value that is assigned to self in the underlying ConstraintSystem.

fn is_constant(&self) -> bool

Returns true if self is a circuit-generation-time constant.

impl<F> Mul<F> for Null

type Output = Null

The resulting type after applying the * operator.

fn mul(self, _: F) -> Null

Performs the * operation.

impl<F> Mul<F> for &Null

type Output = Null

The resulting type after applying the * operator.

fn mul(self, _: F) -> Null

Performs the * operation.

impl PartialEq for Null

fn eq(&self, other: &Null) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Null

impl Sum for Null

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

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