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 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 RelaxedR1CSInstance into the current one

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

Mutably folds an incoming RelaxedR1CSInstance into the current one

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>