pub trait PermutationAirBuilderWithExposedValues: PermutationAirBuilder {
// Required method
fn permutation_exposed_values(&self) -> &[Self::VarEF];
}Expand description
Permutation AIR builder that exposes certain values to both prover and verifier after the permutation challenges are drawn. These can be thought of as “public values” known after the challenges are drawn.
Exposed values are used internally by the prover and verifier in cross-table permutation arguments.
Required Methods§
fn permutation_exposed_values(&self) -> &[Self::VarEF]
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.