openvm_native_recursion::witness

Trait VectorWitnessable

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

Implementations on Foreign Types§

Source§

impl VectorWitnessable<OuterConfig> for usize

Source§

impl VectorWitnessable<OuterConfig> for AdjacentOpenedValues<OuterChallenge>

Source§

impl VectorWitnessable<OuterConfig> for AirProofData<BabyBearPoseidon2RootConfig>

Source§

impl VectorWitnessable<OuterConfig> for Bn254Fr

Source§

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

Source§

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

Source§

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

Source§

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

Source§

impl VectorWitnessable<OuterConfig> for Vec<OuterBatchOpening>

Source§

impl VectorWitnessable<OuterConfig> for Vec<OuterChallenge>

Source§

impl VectorWitnessable<OuterConfig> for Vec<OuterVal>

Implementors§