Structs§
- Block
- The smallest unit of memory that can be read and written to.
- Challenger
Public Values - 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.
- 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.
- Recursion
Public Values - 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§
- Binomial
Extension Utils - Block
Builder - 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.