Crate sp1_recursion_core_v2

source ·

Re-exports§

Modules§

Structs§

  • An instruction invoking the extension field ALU.
  • The inputs and outputs to an operation of the base field ALU.
  • The event for committing to the public values.
  • An instruction that will save the public values to the execution record and will commit to it’s digest.
  • 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.
  • An instruction invoking the exp-reverse-bits operation.
  • The inputs and outputs to an exp-reverse-bits operation.
  • An instruction invoking the extension field ALU.
  • The inputs and outputs to an operation of the extension field ALU.
  • The base-field-valued inputs to the FRI fold operation.
  • 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.
  • The extension-field-valued single inputs to the FRI fold operation.
  • The extension-field-valued vector inputs to the FRI fold operation.
  • An instruction invoking the FRI fold operation. Addresses for extension field elements are of the same type as for base field elements.
  • The inputs and outputs to the manual memory management/memory initialization table.
  • The inputs and outputs to a Poseidon2 permutation.
  • An instruction invoking the Poseidon2 permutation.

Enums§

Type Aliases§