Crate openvm_rv32_adapters

Source

Structs§

Rv32HeapAdapterAir
This adapter reads from NUM_READS <= 2 pointers and writes to 1 pointer.
Rv32HeapAdapterChip
Rv32HeapBranchAdapterAir
Rv32HeapBranchAdapterChip
Rv32HeapBranchAdapterCols
This adapter reads from NUM_READS <= 2 pointers.
Rv32HeapBranchReadRecord
Rv32IsEqualModAdapterAir
Rv32IsEqualModAdapterChip
Rv32IsEqualModAdapterCols
This adapter reads from NUM_READS <= 2 pointers and writes to a register.
Rv32IsEqualModReadRecord
Rv32IsEqualModWriteRecord
Rv32VecHeapAdapterAir
Rv32VecHeapAdapterChip
This adapter reads from R (R <= 2) pointers and writes to 1 pointer.
Rv32VecHeapAdapterCols
Rv32VecHeapReadRecord
Rv32VecHeapTwoReadsAdapterAir
Rv32VecHeapTwoReadsAdapterChip
This adapter reads from 2 pointers and writes to 1 pointer.
Rv32VecHeapTwoReadsAdapterCols
Rv32VecHeapTwoReadsReadRecord
Rv32VecHeapTwoReadsWriteRecord
Rv32VecHeapWriteRecord