Module adapters
openvm_
native_
circuit
1.0.0
Module adapters
Module Items
Modules
In crate openvm_
native_
circuit
Modules
adapters
air
chip
Structs
CastF
CastFCoreAir
CastFCoreChip
CastFCoreCols
CastFExtension
CastFRecord
FieldArithmetic
FieldArithmeticCoreAir
FieldArithmeticCoreChip
FieldArithmeticCoreCols
FieldArithmeticRecord
FieldExtension
FieldExtensionCoreAir
FieldExtensionCoreChip
FieldExtensionCoreCols
FieldExtensionRecord
FriReducedOpeningChip
FriReducedOpeningRecord
JalRangeCheckAir
JalRangeCheckChip
JalRangeCheckRecord
Native
NativeConfig
NativeLoadStoreCoreAir
NativeLoadStoreCoreChip
NativeLoadStoreCoreCols
NativeLoadStoreCoreRecord
Rv32WithKernelsConfig
Enums
CastFExtensionExecutor
CastFExtensionPeriphery
NativeConfigExecutor
NativeConfigPeriphery
NativeExecutor
NativePeriphery
Rv32WithKernelsConfigExecutor
Rv32WithKernelsConfigPeriphery
Constants
BETA
EXT_DEG
OVERALL_WIDTH
Functions
execute_program
Type Aliases
CastFAir
CastFChip
FieldArithmeticAir
FieldArithmeticChip
FieldExtensionAir
FieldExtensionChip
NativeBranchEqAir
NativeBranchEqChip
NativeLoadStoreAir
NativeLoadStoreChip
openvm_native_circuit
Module
adapters
Copy item path
Settings
Help
Summary
Source
Modules
§
alu_
native_
adapter
branch_
native_
adapter
convert_
adapter
loadstore_
native_
adapter
native_
vectorized_
adapter