triton_vm::prelude

Trait AIR

Source 
pub trait AIR: Seal {
    type MainColumn: MasterMainColumn + EnumCount;
    type AuxColumn: MasterAuxColumn + EnumCount;

    // Required methods
    fn initial_constraints(
        circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>,
    ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>;
    fn consistency_constraints(
        circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>,
    ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>;
    fn transition_constraints(
        circuit_builder: &ConstraintCircuitBuilder<DualRowIndicator>,
    ) -> Vec<ConstraintCircuitMonad<DualRowIndicator>>;
    fn terminal_constraints(
        circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>,
    ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>;
}
Expand description

The main trait for the tables’ Arithmetic Intermediate Representation.

This is a sealed trait. It is not intended (or possible) to implement this trait outside the crate defining it.

§Object safety

This trait is not object safe.

Required Associated Types§

Source

type MainColumn: MasterMainColumn + EnumCount

Source

type AuxColumn: MasterAuxColumn + EnumCount

Required Methods§

Source

fn initial_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

Source

fn consistency_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

Source

fn transition_constraints( circuit_builder: &ConstraintCircuitBuilder<DualRowIndicator>, ) -> Vec<ConstraintCircuitMonad<DualRowIndicator>>

Source

fn terminal_constraints( circuit_builder: &ConstraintCircuitBuilder<SingleRowIndicator>, ) -> Vec<ConstraintCircuitMonad<SingleRowIndicator>>

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§