Trait folding::instance_witness::RelaxableWitness

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

Trait to make a witness relaxable/homogenizable

Required Methods

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

Implementors

impl<G: CommitmentCurve, W: Witness<G>> RelaxableWitness<G, W> for RelaxedWitness<G, W>

impl<G: CommitmentCurve, W: Witness<G>> RelaxableWitness<G, W> for W