Struct RelaxedR1CSInstance 

pub struct RelaxedR1CSInstance<E: Engine> { /* private fields */ }

A type that holds a Relaxed R1CS instance

Implementations

impl<E: Engine> RelaxedR1CSInstance<E>

pub fn default( _ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey, S: &R1CSShape<E>, ) -> RelaxedR1CSInstance<E>

Produces a default RelaxedR1CSInstance given R1CSGens and R1CSShape

pub fn from_r1cs_instance( ck: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::CommitmentKey, S: &R1CSShape<E>, instance: &R1CSInstance<E>, ) -> RelaxedR1CSInstance<E>

Initializes a new RelaxedR1CSInstance from an R1CSInstance

pub fn comm_W( &self, ) -> &<<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment

Returns a reference to the commitment to the witness W.

This is useful for commitment operations.

pub fn comm_E( &self, ) -> &<<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment

Returns a reference to the commitment to the error vector E.

This is useful for commitment operations.

pub fn X(&self) -> &[E::Scalar]

Returns a reference to the public inputs/outputs.

This is useful for public IO access.

pub fn u(&self) -> E::Scalar

Returns the relaxation factor u.

This is useful for accessing the relaxation factor in folding.

pub fn new( S: &R1CSShape<E>, comm_W: <<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment, comm_E: <<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment, u: E::Scalar, X: Vec<E::Scalar>, ) -> Result<RelaxedR1CSInstance<E>, NovaError>

Creates a RelaxedR1CSInstance from its component parts.

This is useful for constructing instances when commitments are computed separately from instance creation.

Validates that X has the correct length for the given shape.

pub fn from_r1cs_instance_unchecked( comm_W: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment, X: &[E::Scalar], ) -> RelaxedR1CSInstance<E>

Initializes a new RelaxedR1CSInstance from an R1CSInstance

pub fn fold( &self, U2: &R1CSInstance<E>, comm_T: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment, r: &E::Scalar, ) -> RelaxedR1CSInstance<E>

Folds an incoming R1CSInstance into the current one

pub fn fold_relaxed( &self, U2: &RelaxedR1CSInstance<E>, comm_T: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::Commitment, r: &E::Scalar, ) -> RelaxedR1CSInstance<E>

Folds an incoming RelaxedR1CSInstance into the current one

pub fn derandomize( &self, dk: &<<E as Engine>::CE as CommitmentEngineTrait<E>>::DerandKey, r_W: &E::Scalar, r_E: &E::Scalar, ) -> RelaxedR1CSInstance<E>

Derandomizes the instance by removing the randomness from the commitments.

Trait Implementations

impl<E: Engine> AbsorbInROTrait<E> for RelaxedR1CSInstance<E>

fn absorb_in_ro(&self, ro: &mut E::RO)

Absorbs the value in the provided RO

impl<E: Clone + Engine> Clone for RelaxedR1CSInstance<E>

where E::Scalar: Clone,

fn clone(&self) -> RelaxedR1CSInstance<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Engine> Debug for RelaxedR1CSInstance<E>

where E::Scalar: Debug,

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

Formats the value using the given formatter.

impl<'de, E: Engine> Deserialize<'de> for RelaxedR1CSInstance<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: PartialEq + Engine> PartialEq for RelaxedR1CSInstance<E>

where E::Scalar: PartialEq,

fn eq(&self, other: &RelaxedR1CSInstance<E>) -> 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<E: Engine> Serialize for RelaxedR1CSInstance<E>

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E: Engine> TranscriptReprTrait<<E as Engine>::GE> for RelaxedR1CSInstance<E>

fn to_transcript_bytes(&self) -> Vec<u8>

returns a byte representation of self to be added to the transcript

impl<E: Eq + Engine> Eq for RelaxedR1CSInstance<E>

where E::Scalar: Eq,

impl<E: Engine> StructuralPartialEq for RelaxedR1CSInstance<E>