Structs§
- Block
- The smallest unit of memory that can be read and written to.
- Challenger
Public Values - Instruction
Cols - IsExt
Zero Operation - A set of columns needed to compute whether the given word is 0.
- IsZero
Operation - A set of columns needed to compute whether the given word is 0.
- Memory
Access Cols - Memory
Init Cols - Memory
Read Cols - NOTE: These are very similar to core/src/memory/columns.rs
The reason we cannot use those structs directly is that they use “shard”.
In our recursive VM, we don’t have shards, we only have
clk(i.e. timestamp). - Memory
Read Single Cols - Memory read access of a single field element.
- Memory
Read Write Cols - Memory read-write access.
- Memory
Read Write Single Cols - Memory read-write access of a single field element.
- Multi
Builder - The MultiBuilder is used for the multi table. It is used to create a virtual builder for one of the sub tables in the multi table.
- Opcode
Selector Cols - Selectors for the opcode.
- Recursion
Public Values - The PublicValues struct is used to store all of a reduce proof’s public values.
Enums§
- Range
Check Opcode - A byte opcode which the chip can process.
Constants§
- CHALLENGER_
STATE_ NUM_ ELTS - NUM_
PV_ ELMS_ TO_ HASH - NUM_
RANGE_ CHECK_ OPS - The number of different range check operations.
- PV_
DIGEST_ NUM_ WORDS - RECURSION_
PUBLIC_ VALUES_ COL_ MAP - RECURSIVE_
PROOF_ NUM_ PV_ ELTS
Traits§
- Binomial
Extension Utils - Block
Builder - Memory
Access Timestamp Cols - Memory
Cols - The common columns for all memory access types.
- Recursion
Interaction AirBuilder - Builder trait containing helper functions to send/receive interactions.
- Recursion
Memory AirBuilder - SP1Recursion
AirBuilder - A trait which contains all helper methods for building SP1 recursion machine AIRs.