Struct IncomingInstance 

pub struct IncomingInstance<CM: CommitmentDef> {
    pub cm_w: CM::Commitment,
    pub x: Vec<CM::Scalar>,
}

IncomingInstance defines Nova’s incoming instance.

Fields

cm_w: CM::Commitment

IncomingInstance::cm_w is the witness commitment.

x: Vec<CM::Scalar>

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

Trait Implementations

impl<CM: CommitmentDef> Absorbable for IncomingInstance<CM>

fn absorb_into<F: PrimeField>(&self, dest: &mut Vec<F>)

Absorbable::absorb_into absorbs self into the given destination vector of field elements.

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 + CommitmentDef> Clone for IncomingInstance<CM>

where CM::Commitment: Clone, CM::Scalar: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<CM: Debug + CommitmentDef> Debug for IncomingInstance<CM>

where CM::Commitment: Debug, CM::Scalar: Debug,

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

Formats the value using the given formatter.

impl<CM: CommitmentDef> Dummy<&ArithConfig> for IncomingInstance<CM>

fn dummy(cfg: &ArithConfig) -> Self

Dummy::dummy constructs a dummy value of Self based on the given configuration cfg.

impl<CM: Eq + CommitmentDef> Eq for IncomingInstance<CM>

where CM::Commitment: Eq, CM::Scalar: Eq,

impl<CM: CommitmentDef> FoldingInstance<CM> for IncomingInstance<CM>

const N_COMMITMENTS: usize = 1

FoldingInstance::N_COMMITMENTS defines the number of commitments contained in the instance.

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

FoldingInstance::commitments returns the commitments contained in the instance.

fn public_inputs(&self) -> &[CM::Scalar]

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

fn public_inputs_mut(&mut self) -> &mut [CM::Scalar]

FoldingInstance::public_inputs_mut returns the mutable reference to the public inputs contained in the instance.

impl<CM: PartialEq + CommitmentDef> PartialEq for IncomingInstance<CM>

where CM::Commitment: PartialEq, CM::Scalar: PartialEq,

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

Equality operator ==.

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

Inequality operator !=.

impl<A, CM> Relation<IncomingWitness<CM>, IncomingInstance<CM>> for NovaKey<A, CM>

where A: ArithRelation<Vec<CM::Scalar>, Vec<CM::Scalar>>, CM: CommitmentOps,

type Error = Error

Relation::Error defines the error type that may occur when checking the relation.

fn check_relation(&self, w: &IW<CM>, u: &IU<CM>) -> Result<(), Self::Error>

Relation::check_relation returns Ok(()) when w and u satisfy self, or an error otherwise.

impl<CM: PartialEq + CommitmentDef> StructuralPartialEq for IncomingInstance<CM>

where CM::Commitment: PartialEq, CM::Scalar: PartialEq,

impl<A: Arith, CM: CommitmentOps> WitnessInstanceSampler<IncomingWitness<CM>, IncomingInstance<CM>> for NovaKey<A, CM>

type Source = Assignments<<CM as CommitmentDef>::Scalar, Vec<<CM as CommitmentDef>::Scalar>>

WitnessInstanceSampler::Source defines the type of the source from which a satisfying pair is sampled.

type Error = Error

WitnessInstanceSampler::Error defines the error type that may occur when sampling a satisfying pair.

fn sample( &self, z: Self::Source, rng: impl RngCore, ) -> Result<(IW<CM>, IU<CM>), Error>

WitnessInstanceSampler::sample draws a random satisfying pair.