Crate sp1_recursion_core_v2

Source

Re-exports§

pub use runtime::*;

Modules§

air
builder
chips
machine
runtime
stark

Structs§

Address
BaseAluInstr
An instruction invoking the extension field ALU.
BaseAluIo
The inputs and outputs to an operation of the base field ALU.
CommitPublicValuesEvent
The event for committing to the public values.
CommitPublicValuesInstr
An instruction that will save the public values to the execution record and will commit to it’s digest.
ExpReverseBitsEvent
The event encoding the inputs and outputs of an exp-reverse-bits operation. The len operand is now stored as the length of the exp field.
ExpReverseBitsInstr
An instruction invoking the exp-reverse-bits operation.
ExpReverseBitsIo
The inputs and outputs to an exp-reverse-bits operation.
ExtAluInstr
An instruction invoking the extension field ALU.
ExtAluIo
The inputs and outputs to an operation of the extension field ALU.
FriFoldBaseIo
The base-field-valued inputs to the FRI fold operation.
FriFoldEvent
The event encoding the data of a single iteration within the FRI fold operation. For any given event, we are accessing a single element of the Vec inputs, so that the event is not a type alias for FriFoldIo like many of the other events.
FriFoldExtSingleIo
The extension-field-valued single inputs to the FRI fold operation.
FriFoldExtVecIo
The extension-field-valued vector inputs to the FRI fold operation.
FriFoldInstr
An instruction invoking the FRI fold operation. Addresses for extension field elements are of the same type as for base field elements.
FriFoldIo
MemInstr
MemIo
The inputs and outputs to the manual memory management/memory initialization table.
Poseidon2Io
The inputs and outputs to a Poseidon2 permutation.
Poseidon2SkinnyInstr
An instruction invoking the Poseidon2 permutation.

Enums§

MemAccessKind

Type Aliases§

BaseAluEvent
ExtAluEvent
MemEvent
Poseidon2Event
Poseidon2Instr
Poseidon2WideEvent