Module constraints
openvm_
native_
compiler
1.0.0
Module constraints
Module Items
Modules
Structs
In crate openvm_
native_
compiler
Modules
asm
constraints
conversion
ir
prelude
Structs
CastfOpcodeIter
FieldArithmeticOpcodeIter
FieldExtensionOpcodeIter
FriOpcodeIter
NativeBranchEqualOpcode
NativeJalOpcodeIter
NativeLoadStore4Opcode
NativeLoadStoreOpcodeIter
NativeRangeCheckOpcodeIter
Poseidon2OpcodeIter
VerifyBatchOpcodeIter
Enums
CastfOpcode
FieldArithmeticOpcode
FieldExtensionOpcode
FriOpcode
NativeJalOpcode
NativeLoadStoreOpcode
NativePhantom
NativeRangeCheckOpcode
Poseidon2Opcode
VerifyBatchOpcode
Constants
BLOCK_LOAD_STORE_SIZE
openvm_native_compiler
Module
constraints
Copy item path
Settings
Help
Summary
Source
Modules
§
halo2
Halo2 helper functions
opcodes
Structs
§
Constraint
A constraint is an operation and a list of nested arguments.
Constraint
Compiler
The backend for the constraint compiler.