Trait EmptyMessageBuilder 

pub trait EmptyMessageBuilder: AirBuilder { }

A message builder for which sending and receiving messages is a no-op.

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<F: Field> EmptyMessageBuilder for DebugConstraintBuilder<'_, F>

Available on debug-assertions enabled only.

impl<F: Field> EmptyMessageBuilder for SymbolicAirBuilder<F>

impl<SC: StarkGenericConfig> EmptyMessageBuilder for ProverConstraintFolder<'_, SC>

impl<SC: StarkGenericConfig> EmptyMessageBuilder for VerifierConstraintFolder<'_, SC>

Implementors

impl<F, EF, PubVar, Var, Expr> EmptyMessageBuilder for GenericVerifierConstraintFolder<'_, F, EF, PubVar, Var, Expr>

where F: Field, EF: ExtensionField<F>, Expr: AbstractField<F = EF> + From<F> + Add<Var, Output = Expr> + Add<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<F, Output = Expr> + MulAssign<EF>, Var: Into<Expr> + Copy + Add<F, Output = Expr> + Add<Var, Output = Expr> + Add<Expr, Output = Expr> + Sub<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<Expr, Output = Expr> + Mul<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<Expr, Output = Expr> + Send + Sync, PubVar: Into<Expr> + Copy,

impl<F: Field, EF: ExtensionField<F>> EmptyMessageBuilder for sp1_hypercube::DebugConstraintBuilder<'_, F, EF>

impl<F: Field, K: Field + From<F> + Add<F, Output = K> + Sub<F, Output = K> + Mul<F, Output = K>, EF: Field + Mul<K, Output = EF>> EmptyMessageBuilder for ConstraintSumcheckFolder<'_, F, K, EF>