Trait folding::expressions::FoldingColumnTrait

pub trait FoldingColumnTrait: Copy + Clone {
    // Required method
    fn is_witness(&self) -> bool;

    // Provided method
    fn degree(&self) -> Degree { ... }
}

Required Methods

fn is_witness(&self) -> bool

Provided Methods

fn degree(&self) -> Degree

Return the degree of the column

• 0 if the column is a constant
• 1 if the column will take part of the randomisation (see top level documentation

Implementors

impl FoldingColumnTrait for Column