openvm_
circuit
1.0.0
In openvm_
circuit::
arch
Modules
hasher
segment
testing
vm
Structs
AdapterAirContext
AdapterRuntimeContext
BasicAdapterInterface
BusIndexManager
DynAdapterInterface
DynArray
ExecutionBridge
ExecutionBridgeInteractor
ExecutionBus
ExecutionState
FlatInterface
ImmInstruction
MemoryConfig
MinimalInstruction
SignedImmInstruction
SystemBase
SystemConfig
SystemPort
SystemTraceHeights
VecHeapAdapterInterface
VecHeapTwoReadsAdapterInterface
VmAirWrapper
VmChipComplex
VmChipWrapper
VmComplexTraceHeights
VmInventory
VmInventoryBuilder
VmInventoryTraceHeights
Enums
ChipId
ExecutionError
PcIncOrSet
SystemExecutor
SystemPeriphery
VmInventoryError
Constants
BOUNDARY_AIR_ID
CONNECTOR_AIR_ID
MERKLE_AIR_ID
POSEIDON2_WIDTH
PROGRAM_AIR_ID
PROGRAM_CACHED_TRACE_INDEX
PUBLIC_VALUES_AIR_ID
Traits
AnyEnum
InstructionExecutor
PhantomSubExecutor
VmAdapterAir
VmAdapterChip
VmAdapterInterface
VmConfig
VmCoreAir
VmCoreChip
VmExtension
Functions
generate_air_proof_input
get_default_segmentation_strategy
vm_poseidon2_config
Type Aliases
Result
SystemComplex
openvm_circuit
::
arch
Constant
CONNECTOR_AIR_ID
Copy item path
Settings
Help
Summary
Source
pub const CONNECTOR_AIR_ID:
usize
= 1;