Struct IncomingInstanceVar 

pub struct IncomingInstanceVar<CM: CommitmentDefGadget> {
    pub cm_w: CM::CommitmentVar,
    pub x: Vec<CM::ScalarVar>,
}

IncomingInstanceVar defines Nova’s incoming instance variable.

Fields

cm_w: CM::CommitmentVar

IncomingInstanceVar::cm_w is the witness commitment.

x: Vec<CM::ScalarVar>

IncomingInstanceVar::x is the vector of public inputs (to the circuit).

Trait Implementations

impl<CM: CommitmentDefGadget> AbsorbableVar<<CM as CommitmentDefGadget>::ConstraintField> for IncomingInstanceVar<CM>

fn absorb_into( &self, dest: &mut Vec<FpVar<CM::ConstraintField>>, ) -> Result<(), SynthesisError>

AbsorbableVar::absorb_into absorbs self into the given destination vector of field element variables.

impl<CM: CommitmentDefGadget> AllocVar<IncomingInstance<<CM as CommitmentDefGadget>::Widget>, <CM as CommitmentDefGadget>::ConstraintField> for IncomingInstanceVar<CM>

fn new_variable<T: Borrow<IncomingInstance<CM::Widget>>>( cs: impl Into<Namespace<CM::ConstraintField>>, 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<CM: Clone + CommitmentDefGadget> Clone for IncomingInstanceVar<CM>

where CM::CommitmentVar: Clone, CM::ScalarVar: Clone,

fn clone(&self) -> IncomingInstanceVar<CM>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<CM: CommitmentDefGadget> CondSelectGadget<<CM as CommitmentDefGadget>::ConstraintField> for IncomingInstanceVar<CM>

fn conditionally_select( cond: &Boolean<CM::ConstraintField>, true_value: &Self, false_value: &Self, ) -> Result<Self, SynthesisError>

If cond == &Boolean::TRUE, then this returns true_value; else, returns false_value.

fn conditionally_select_power_of_two_vector( position: &[Boolean<ConstraintF>], values: &[Self], ) -> Result<Self, SynthesisError>

Returns an element of values whose index in represented by position. position is an array of boolean that represents an unsigned integer in big endian order.

impl<CM: Debug + CommitmentDefGadget> Debug for IncomingInstanceVar<CM>

where CM::CommitmentVar: Debug, CM::ScalarVar: Debug,

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

Formats the value using the given formatter.

impl<CM: CommitmentDefGadget> FoldingInstanceVar<CM> for IncomingInstanceVar<CM>

fn commitments(&self) -> Vec<&CM::CommitmentVar>

FoldingInstanceVar::commitments returns the commitments contained in the instance variable.

fn public_inputs(&self) -> &Vec<CM::ScalarVar>

FoldingInstanceVar::public_inputs returns the reference to the public inputs contained in the instance variable.

fn new_witness_with_public_inputs( cs: impl Into<Namespace<CM::ConstraintField>>, u: &Self::Value, x: Vec<CM::ScalarVar>, ) -> Result<Self, SynthesisError>

FoldingInstanceVar::new_witness_with_public_inputs allocates a folding instance in the circuit as a witness variable, with the given pre-allocated public inputs.

impl<CM: CommitmentDefGadget> GR1CSVar<<CM as CommitmentDefGadget>::ConstraintField> for IncomingInstanceVar<CM>

type Value = IncomingInstance<<CM as CommitmentDefGadget>::Widget>

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

fn cs(&self) -> ConstraintSystemRef<CM::ConstraintField>

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<CM: PartialEq + CommitmentDefGadget> PartialEq for IncomingInstanceVar<CM>

where CM::CommitmentVar: PartialEq, CM::ScalarVar: PartialEq,

fn eq(&self, other: &IncomingInstanceVar<CM>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<CM: PartialEq + CommitmentDefGadget> StructuralPartialEq for IncomingInstanceVar<CM>

where CM::CommitmentVar: PartialEq, CM::ScalarVar: PartialEq,