Trait sp1_core::air::MessageBuilder

pub trait MessageBuilder<M> {
    // Required methods
    fn send(&mut self, message: M);
    fn receive(&mut self, message: M);
}

A Builder with the ability to encode the existance of interactions with other AIRs by sending and receiving messages.

Required Methods

fn send(&mut self, message: M)

fn receive(&mut self, message: M)

Implementations on Foreign Types

impl<'a, AB: AirBuilder + MessageBuilder<M>, M> MessageBuilder<M> for FilteredAirBuilder<'a, AB>

fn send(&mut self, message: M)

fn receive(&mut self, message: M)

Implementors

impl<AB: EmptyMessageBuilder, M> MessageBuilder<M> for AB

impl<F: Field> MessageBuilder<AirInteraction<SymbolicExpression<F>>> for InteractionBuilder<F>