Module air

Structs

• Block
  The smallest unit of memory that can be read and written to.
• ChallengerPublicValues
• InstructionCols
• IsExtZeroOperation
  A set of columns needed to compute whether the given word is 0.
• IsZeroOperation
  A set of columns needed to compute whether the given word is 0.
• MemoryAccessCols
• MemoryInitCols
• MemoryReadCols
  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 access.
• MemoryReadSingleCols
  Memory read access of a single field element.
• MemoryReadWriteCols
  Memory read-write access.
• MemoryReadWriteSingleCols
  Memory read-write access of a single field element.
• MultiBuilder
  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.
• OpcodeSelectorCols
  Selectors for the opcode.
• RecursionPublicValues
  The PublicValues struct is used to store all of a reduce proof’s public values.

Enums

• RangeCheckOpcode
  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

• BinomialExtensionUtils
• BlockBuilder
• MemoryAccessTimestampCols
• MemoryCols
  The common columns for all memory access types.
• RecursionInteractionAirBuilder
  Builder trait containing helper functions to send/receive interactions.
• RecursionMemoryAirBuilder
• SP1RecursionAirBuilder
  A trait which contains all helper methods for building SP1 recursion machine AIRs.