Trait VectorWitnessable

pub trait VectorWitnessable<C: Config>: Witnessable<C> { }

Implementations on Foreign Types

impl VectorWitnessable<OuterConfig> for usize

impl VectorWitnessable<OuterConfig> for AdjacentOpenedValues<OuterChallenge>

impl VectorWitnessable<OuterConfig> for AirProofData<InnerVal, InnerChallenge>

impl VectorWitnessable<OuterConfig> for Bn254Fr

impl VectorWitnessable<OuterConfig> for Hash<BabyBear, Bn254Fr, 1>

impl VectorWitnessable<OuterConfig> for Vec<AdjacentOpenedValues<OuterChallenge>>

impl VectorWitnessable<OuterConfig> for Vec<Vec<OuterChallenge>>

impl VectorWitnessable<OuterConfig> for Vec<Vec<OuterVal>>

impl VectorWitnessable<OuterConfig> for Vec<OuterBatchOpening>

impl VectorWitnessable<OuterConfig> for Vec<OuterChallenge>

impl VectorWitnessable<OuterConfig> for Vec<OuterVal>

Implementors

impl VectorWitnessable<OuterConfig> for DigestVal<OuterConfig>

impl VectorWitnessable<OuterConfig> for OuterBatchOpening

impl VectorWitnessable<OuterConfig> for OuterChallenge

impl VectorWitnessable<OuterConfig> for OuterCommitPhaseStep

impl VectorWitnessable<OuterConfig> for OuterQueryProof

impl VectorWitnessable<OuterConfig> for OuterVal