openvm_
native_
recursion
0.1.0-alpha
Inner
Val
Aliased type
Trait Implementations
Hintable<AsmConfig<MontyField31<BabyBearParameters>, BinomialExtensionField<MontyField31<BabyBearParameters>, 4>>>
In openvm_
native_
recursion::
hints
openvm_native_recursion
::
hints
Type Alias
InnerVal
Copy item path
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>)