Trait SP1OperationOutput 

pub trait SP1OperationOutput<T> {
    // Required methods
    fn alloc() -> T;
    fn to_output(&self, ctx: &mut FuncCtx) -> T;
    fn assign(&self, other: T);
}

Trait for handling operation outputs in SP1.

This trait provides methods for allocating and assigning operation outputs.

Required Methods

fn alloc() -> T

Allocates space for the output and returns the allocated value.

fn to_output(&self, ctx: &mut FuncCtx) -> T

Replace all contents with IrVar(Output…)

fn assign(&self, other: T)

Assigns the output.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl SP1OperationOutput<()> for ()

fn alloc()

fn to_output(&self, _: &mut FuncCtx)

fn assign(&self, (): Self)

impl<const N: usize> SP1OperationOutput<[ExprRef<<ConstraintCompiler as AirBuilder>::F>; N]> for [ExprRef<<ConstraintCompiler as AirBuilder>::F>; N]

fn alloc() -> Self

fn to_output(&self, ctx: &mut FuncCtx) -> Self

fn assign(&self, other: Self)

Implementors

impl SP1OperationOutput<ExprRef<<ConstraintCompiler as AirBuilder>::F>> for ExprRef<<ConstraintCompiler as AirBuilder>::F>

impl SP1OperationOutput<Word<ExprRef<<ConstraintCompiler as AirBuilder>::F>>> for Word<ExprRef<<ConstraintCompiler as AirBuilder>::F>>