Module sp1_recursion_core::air

Structs

• Block
  The smallest unit of memory that can be read and written to.
• ChallengerPublicValues
• 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.
• 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.
• RecursionPublicValues
  The PublicValues struct is used to store all of a reduce proof’s public values.

Constants

• CHALLENGER_STATE_NUM_ELTS
• NUM_PV_ELMS_TO_HASH
• PV_DIGEST_NUM_WORDS
• RECURSION_PUBLIC_VALUES_COL_MAP
• RECURSIVE_PROOF_NUM_PV_ELTS

Traits

• BinomialExtensionUtils
• BlockBuilder
• 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.