Struct FibonacciAir 

pub struct FibonacciAir;

The Fibonacci AIR.

Two columns (a = column 0, b = column 1) with transition constraints ensuring each row is the Fibonacci successor of the previous row.

Examples

use field_cat::{F101, Field};
use machine_cat::{Air, FibonacciAir, FibonacciInput, StepCount};

let air = FibonacciAir;
let input = FibonacciInput::new(
    F101::new(1), F101::new(1), StepCount::new(3),
);
let trace = air.generate_trace(&input)?;

// 4 rows: (1,1), (1,2), (2,3), (3,5)
assert_eq!(trace.row_count().count(), 4);

Trait Implementations

impl<F: Field> Air<F> for FibonacciAir

type Input = FibonacciInput<F>

The type of input this AIR computes over.

fn column_count(&self) -> ColumnCount

The number of columns in this AIR’s trace.

fn constraints(&self) -> Vec<AirExpr<F>>

The transition constraints.

fn generate_trace(&self, input: &FibonacciInput<F>) -> Result<Trace<F>, Error>

Generate the execution trace from an input.

impl Clone for FibonacciAir

fn clone(&self) -> FibonacciAir

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for FibonacciAir

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for FibonacciAir