Function verify_stark 

pub fn verify_stark<const DEF_IDX: u16>(
    input_commit: &Commit,
    expected: &ProofOutput,
)