pub fn compute_first_fri_layer(ctx: & mut Vec<Uint256>) {
    //Prepare evaluation point
    adjust_query_indicies_and_prepare_eval_points(ctx);

    //Read and decommit trace
    read_query_responses_and_decommit(
        ctx, 
        stark_params::N_COLUMNS_IN_MASK, 
        stark_params::N_COLUMNS_IN_TRACE0, 
        map::MM_TRACE_QUERY_RESPONSES, 
        ctx[map::MM_TRACE_COMMITMENT].clone()
    );

    if stark_params::N_COLUMNS_IN_TRACE1 > 0 { //true - hash (simulated) interaction
        //Read and decommit second trace
        read_query_responses_and_decommit(
            ctx, 
            stark_params::N_COLUMNS_IN_MASK, 
            stark_params::N_COLUMNS_IN_TRACE1, 
            map::MM_TRACE_QUERY_RESPONSES + stark_params::N_COLUMNS_IN_TRACE0, 
            ctx[map::MM_TRACE_COMMITMENT+1].clone()
        );
    }

    //Read and decommit composition polynomial
    read_query_responses_and_decommit(
        ctx, 
        stark_params::CONSTRAINTS_DEGREE_BOUND, 
        stark_params::CONSTRAINTS_DEGREE_BOUND, 
        map::MM_COMPOSITION_QUERY_RESPONSES,
        ctx[map::MM_OODS_COMMITMENT].clone()
    );

    //Make sure the prover provided proper evaluations
    oods_check(ctx);
}
/*
    Computes the first FRI layer by reading the query responses and calling
    the OODS contract.

    The OODS contract will build and sum boundary constraints that check that
    the prover provided the proper evaluations for the Out of Domain Sampling.

    I.e. if the prover said that f(z) = c, the first FRI layer will include
    the term (f(x) - c)/(x-z).
*/
Computes the first FRI layer by reading the query responses and calling
the OODS contract.

The OODS contract will build and sum boundary constraints that check that
the prover provided the proper evaluations for the Out of Domain Sampling.


Computes the first FRI layer by reading the query responses and calling the OODS contract . The OODS contract will build and sum boundary constraints that check that the prover provided the proper evaluations for the Out of Domain Sampling .
pub fn compute_first_fri_layer(ctx: & mut Vec<Uint256>) {
    //Prepare evaluation point
    adjust_query_indicies_and_prepare_eval_points(ctx);
    //Read and decommit trace
    read_query_responses_and_decommit(
        ctx, 
        stark_params::N_COLUMNS_IN_MASK, 
        stark_params::N_COLUMNS_IN_TRACE0, 
        map::MM_TRACE_QUERY_RESPONSES, 
        ctx[map::MM_TRACE_COMMITMENT].clone()
    );
    if stark_params::N_COLUMNS_IN_TRACE1 > 0 { //true - hash (simulated) interaction
        //Read and decommit second trace
        read_query_responses_and_decommit(
            ctx, 
            stark_params::N_COLUMNS_IN_MASK, 
            stark_params::N_COLUMNS_IN_TRACE1, 
            map::MM_TRACE_QUERY_RESPONSES + stark_params::N_COLUMNS_IN_TRACE0, 
            ctx[map::MM_TRACE_COMMITMENT+1].clone()
        );
    }
    //Read and decommit composition polynomial
    read_query_responses_and_decommit(
        ctx, 
        stark_params::CONSTRAINTS_DEGREE_BOUND, 
        stark_params::CONSTRAINTS_DEGREE_BOUND, 
        map::MM_COMPOSITION_QUERY_RESPONSES,
        ctx[map::MM_OODS_COMMITMENT].clone()
    );
    //Make sure the prover provided proper evaluations
    oods_check(ctx);
}
pub fn compute_first_fri_layer ( ctx : & mut Vec < Uint256 > ) { //Prepare evaluation point adjust_query_indicies_and_prepare_eval_points ( ctx ) ; //Read and decommit trace read_query_responses_and_decommit ( ctx , stark_params :: N_COLUMNS_IN_MASK , stark_params :: N_COLUMNS_IN_TRACE0 , map :: MM_TRACE_QUERY_RESPONSES , ctx [ map :: MM_TRACE_COMMITMENT ] . clone ( ) ) ; if stark_params :: N_COLUMNS_IN_TRACE1 > 0 { //true - hash (simulated) interaction //Read and decommit second trace read_query_responses_and_decommit ( ctx , stark_params :: N_COLUMNS_IN_MASK , stark_params :: N_COLUMNS_IN_TRACE1 , map :: MM_TRACE_QUERY_RESPONSES + stark_params :: N_COLUMNS_IN_TRACE0 , ctx [ map :: MM_TRACE_COMMITMENT + 1 ] . clone ( ) ) ; } //Read and decommit composition polynomial read_query_responses_and_decommit ( ctx , stark_params :: CONSTRAINTS_DEGREE_BOUND , stark_params :: CONSTRAINTS_DEGREE_BOUND , map :: MM_COMPOSITION_QUERY_RESPONSES , ctx [ map :: MM_OODS_COMMITMENT ] . clone ( ) ) ; //Make sure the prover provided proper evaluations oods_check ( ctx ) ; }
Computes the first FRI layer by reading the query responses and calling
the OODS contract.
Computes the first FRI layer by reading the query responses and calling the OODS contract .
ctx
& mut Vec<Uint256>
ctx
& mut Vec<Uint256>