air-script 0.4.0

use winter_air::{Air, BatchingMethod, FieldExtension, ProofOptions};
use winter_math::fields::f64::BaseElement as Felt;
use winterfell::{Trace, TraceTable};

use crate::{
    functions::functions_complex_with_mir::{FunctionsAir, PublicInputs},
    helpers::{AirTester, MyTraceTable},
};

#[derive(Clone)]
struct FunctionsAirTester {}

impl AirTester for FunctionsAirTester {
    type PubInputs = PublicInputs;

    fn build_main_trace(&self, length: usize) -> MyTraceTable {
        let trace_width = 17;
        let mut trace = TraceTable::new(trace_width, length);
        let start = Felt::new(0);

        trace.fill(
            |state| {
                state[0] = start;
                state[1] = start;
                state[2] = start;
                state[3] = start;
                state[4] = start;
                state[5] = start;
                state[6] = start;
                state[7] = start;
                state[8] = start;
                state[9] = start;
                state[10] = start;
                state[11] = start;
                state[12] = start;
                state[13] = start;
                state[14] = start;
                state[15] = start;
                state[16] = start;
            },
            |_, state| {
                state[3] = Felt::new(2);
            },
        );

        MyTraceTable::new(trace, 0)
    }

    fn public_inputs(&self) -> PublicInputs {
        let zero = Felt::new(0);
        PublicInputs::new([zero; 16])
    }

    // For this test we need a blowup factor of 16 instead of the default 8
    fn build_proof_options(&self) -> ProofOptions {
        ProofOptions::new(
            32, // number of queries
            16, // blowup factor
            0,  // grinding factor
            FieldExtension::None,
            8,                      // FRI folding factor
            31,                     // FRI max remainder polynomial degree
            BatchingMethod::Linear, // method of batching used in computing constraint composition polynomial
            BatchingMethod::Linear, // method of batching used in computing DEEP polynomial
        )
    }
}

#[test]
fn test_functions_complex_air() {
    let air_tester = Box::new(FunctionsAirTester {});
    let length = 1024;

    let main_trace = air_tester.build_main_trace(length);
    let aux_trace = air_tester.build_aux_trace(length);
    let pub_inputs = air_tester.public_inputs();
    let trace_info = air_tester.build_trace_info(length);
    let options = air_tester.build_proof_options();

    let air = FunctionsAir::new(trace_info, pub_inputs, options);
    main_trace.validate::<FunctionsAir, Felt>(&air, aux_trace.as_ref());
}