Skip to main content

BaseAirWithPublicValues

Trait BaseAirWithPublicValues 

pub trait BaseAirWithPublicValues<F>: BaseAir<F> {
    // Provided method
    fn num_public_values(&self) -> usize { ... }
}
Expand description

An extension of BaseAir that includes support for public values.

Provided Methods§

fn num_public_values(&self) -> usize

Return the number of expected public values.

Dyn Compatibility§

This trait is dyn compatible.

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

Implementors§