openvm_
native_
circuit
1.0.0
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
Constant
EXT_DEG
Copy item path
Settings
Help
Summary
Source
pub const EXT_DEG:
usize
= 4;