triton_air::cross_table_argument

Trait CrossTableArg

Source 
pub trait CrossTableArg {
    // Required methods
    fn default_initial() -> XFieldElement
       where Self: Sized;
    fn compute_terminal(
        symbols: &[BFieldElement],
        initial: XFieldElement,
        challenge: XFieldElement,
    ) -> XFieldElement
       where Self: Sized;
}

Required Methods§

Source

fn default_initial() -> XFieldElement
where Self: Sized,

Source

fn compute_terminal( symbols: &[BFieldElement], initial: XFieldElement, challenge: XFieldElement, ) -> XFieldElement
where Self: Sized,

Implementors§