Inner
Val
openvm_
native_
recursion
1.0.0
Inner
Val
Aliased Type
Trait Implementations
Hintable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>>
In openvm_
native_
recursion::
hints
Traits
Hintable
VecAutoHintable
Type Aliases
InnerBatchOpening
InnerChallenge
InnerChallengeMmcs
InnerCommitPhaseStep
InnerCompress
InnerDigest
InnerFriProof
InnerHash
InnerInputProof
InnerPerm
InnerQueryProof
InnerVal
InnerValMmcs
openvm_native_recursion
::
hints
Type Alias
InnerVal
Copy item path
Settings
Help
Summary
Source
pub type InnerVal =
BabyBear
;
Aliased Type
§
struct InnerVal {
/* private fields */
}
Trait Implementations
§
Source
§
impl
Hintable
<
AsmConfig
<
MontyField31
<
BabyBearParameters
>,
BinomialExtensionField
<
MontyField31
<
BabyBearParameters
>, 4>>> for
InnerVal
Source
§
type
HintVariable
=
Felt
<
MontyField31
<
BabyBearParameters
>>
Source
§
fn
read
(builder: &mut
Builder
<
InnerConfig
>) -> Self::
HintVariable
Source
§
fn
write
(&self) ->
Vec
<
Vec
<<
InnerConfig
as
Config
>::
N
>>
Source
§
fn
witness
(variable: &Self::
HintVariable
, builder: &mut
Builder
<C>)