Trait folding::instance_witness::RelaxablePair

source · 
pub trait RelaxablePair<G: CommitmentCurve, I: Instance<G>, W: Witness<G>> {
    // Required method
    fn relax(
        self,
        zero_poly: &Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>>
    ) -> (RelaxedInstance<G, I>, RelaxedWitness<G, W>);
}

Required Methods§

source

fn relax( self, zero_poly: &Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>> ) -> (RelaxedInstance<G, I>, RelaxedWitness<G, W>)

Implementations on Foreign Types§

source§

impl<G, I, W> RelaxablePair<G, I, W> for (I, W)where G: CommitmentCurve, I: Instance<G> + RelaxableInstance<G, I>, W: Witness<G> + RelaxableWitness<G, W>,

source§

fn relax( self, zero_poly: &Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>> ) -> (RelaxedInstance<G, I>, RelaxedWitness<G, W>)

source§

impl<G, I, W> RelaxablePair<G, I, W> for (RelaxedInstance<G, I>, RelaxedWitness<G, W>)where G: CommitmentCurve, I: Instance<G> + RelaxableInstance<G, I>, W: Witness<G> + RelaxableWitness<G, W>,

source§

fn relax( self, _zero_poly: &Evaluations<G::ScalarField, Radix2EvaluationDomain<G::ScalarField>> ) -> (RelaxedInstance<G, I>, RelaxedWitness<G, W>)

Implementors§