Crate sp1_recursion_core

Source

Re-exports§

pub use runtime::*;

Modules§

air
builder
chips
machine
runtime
shape
stark
sys

Structs§

Address
BaseAluInstr
An instruction invoking the extension field ALU.
BaseAluIo
The inputs and outputs to an operation of the base field ALU.
BatchFRIBaseVecIo
The base-field-valued vector inputs to the batch FRI operation.
BatchFRIEvent
The event encoding the data of a single iteration within the batch FRI 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 BatchFRIIo like many of the other events.
BatchFRIExtSingleIo
The extension-field-valued single inputs to the batch FRI operation.
BatchFRIExtVecIo
The extension-field-valued vector inputs to the batch FRI operation.
BatchFRIInstr
An instruction invoking the batch FRI operation. Addresses for extension field elements are of the same type as for base field elements.
BatchFRIInstrFFI
BatchFRIIo
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.
ExpReverseBitsEventFFI
ExpReverseBitsInstr
An instruction invoking the exp-reverse-bits operation.
ExpReverseBitsInstrFFI
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.
FriFoldInstrFFI
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.
SelectInstr
An instruction invoking the select operation.
SelectIo
The inputs and outputs to a select operation.

Enums§

MemAccessKind

Type Aliases§

BaseAluEvent
ExtAluEvent
MemEvent
Poseidon2Event
Poseidon2Instr
Poseidon2WideEvent
SelectEvent
The event encoding the inputs and outputs of a select operation.