p3_air

Trait PermutationAirBuilder

Source 
pub trait PermutationAirBuilder: ExtensionBuilder {
    type MP: Matrix<Self::VarEF>;
    type RandomVar: Into<Self::ExprEF> + Copy;

    // Required methods
    fn permutation(&self) -> Self::MP;
    fn permutation_randomness(&self) -> &[Self::RandomVar];
}
Expand description

Trait for builders supporting permutation arguments (e.g., for lookup constraints).

Required Associated Types§

Source

type MP: Matrix<Self::VarEF>

Matrix type over extension field variables representing a permutation.

Source

type RandomVar: Into<Self::ExprEF> + Copy

Randomness variable type used in permutation commitments.

Required Methods§

Source

fn permutation(&self) -> Self::MP

Return the matrix representing permutation registers.

Source

fn permutation_randomness(&self) -> &[Self::RandomVar]

Return the list of randomness values for permutation argument.

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.

Implementors§