Trait folding::instance_witness::Witness

source · 
pub trait Witness<G: CommitmentCurve>: Sized + Foldable<G::ScalarField> { }

Implementors§

source§

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