openvm_
native_
recursion
0.1.0-alpha
Vector
Witnessable
Implementations on Foreign Types
AdjacentOpenedValues<OuterChallenge>
AirProofData<BabyBearPoseidon2RootConfig>
Bn254Fr
Hash<BabyBear, Bn254Fr, 1>
Vec<AdjacentOpenedValues<OuterChallenge>>
Vec<OuterBatchOpening>
Vec<OuterChallenge>
Vec<OuterVal>
Vec<Vec<OuterChallenge>>
Vec<Vec<OuterVal>>
usize
Implementors
In openvm_
native_
recursion::
witness
openvm_native_recursion
::
witness
Trait
VectorWitnessable
Copy item path
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
§
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
DigestVal
<
OuterConfig
>
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
OuterBatchOpening
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
OuterChallenge
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
OuterCommitPhaseStep
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
OuterQueryProof
Source
§
impl
VectorWitnessable
<
OuterConfig
> for
OuterVal