folding::instance_witness

Trait RelaxableWitness

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

Trait to make a witness relaxable/homogenizable

Required Methods§

Source

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

Implementors§