Function utils_analyze_largest_segments

bitvm/src/chunk/api_runtime_utils.rs:443–490

This is a duplicate of [`utils_execute_chunked_g16`], just to analyze worst case scenarios

(
    aux_hints: Vec<Vec<Hint>>,
    bc_hints: Vec<Script>,
    segments: &[Segment],
    disprove_scripts: &[ScriptBuf; NUM_TAPS],
)

/// This is a duplicate of [`utils_execute_chunked_g16`], just to analyze worst case scenarios
fn utils_analyze_largest_segments(
    aux_hints: Vec<Vec<Hint>>,
    bc_hints: Vec<Script>,
    segments: &[Segment],
    disprove_scripts: &[ScriptBuf; NUM_TAPS],
) {
    let mut max_script_size = 0;
    let mut max_script_size_index = 0;
    let mut max_stack_depth = 0;
    let mut max_stack_depth_index = 0;
    let mut tap_script_index = 0;
    for i in 0..aux_hints.len() {
        if segments[i].scr_type == ScriptType::NonDeterministic {
            continue;
        }
        let hint_script = script! {
            for h in &aux_hints[i] {
                {h.push()}
            }
            {bc_hints[i].clone()}
        };
        let total_script = hint_script
            .clone()
            .push_script(disprove_scripts[tap_script_index].clone());
        let script_size = total_script.len();
        if script_size > max_script_size {
            max_script_size = script_size;
            max_script_size_index = tap_script_index;
        }

        let exec_result = execute_script(total_script);
        let stack_depth = exec_result.stats.max_nb_stack_items;
        if stack_depth > max_stack_depth {
            max_stack_depth = stack_depth;
            max_stack_depth_index = tap_script_index;
        }
        tap_script_index += 1;
    }

    println!(
        "Max script size with the current VK is {} at index {}",
        max_script_size, max_script_size_index
    );
    println!(
        "(This shouldn't change with the VK) Max stack depth used is {} at index {}",
        max_stack_depth, max_stack_depth_index
    );
}

pub(crate) fn execute_script_from_assertion(
    segments: &[Segment],