chore(deps): upgrade dependency triton-vm

tasm-lib/Cargo.toml

@@ -27,7 +27,7 @@ rand = "0.8.5"
 rayon = "1"
 serde = { version = "1", features = ["derive"] }
 serde_json = "1"
-triton-vm = { git = "https://github.com/TritonVM/triton-vm", rev = "5baeeaeb" }
+triton-vm = { git = "https://github.com/TritonVM/triton-vm", rev = "9653716e" }
 
 [dev-dependencies.cargo-husky]
 version = "1"

tasm-lib/src/lib.rs

@@ -345,13 +345,8 @@ fn prove_and_verify(
     // let code_header = &code[0..std::cmp::min(code.len(), 100)];
     // println!("Execution succeeded. Now proving {code_header}");
     let tick = SystemTime::now();
-    let proof = triton_vm::prove(
-        StarkParameters::default(),
-        &claim,
-        program,
-        nondeterminism.clone(),
-    )
-    .unwrap();
+    let proof =
+        triton_vm::prove(Stark::default(), &claim, program, nondeterminism.clone()).unwrap();
     println!(
         "Done proving. Elapsed time: {:?}",
         tick.elapsed().expect("Don't mess with time")
@@ -364,7 +359,7 @@ fn prove_and_verify(
     );
 
     assert!(
-        triton_vm::verify(StarkParameters::default(), &claim, &proof),
+        triton_vm::verify(Stark::default(), &claim, &proof),
         "Generated proof must verify for program:\n {}",
         program,
     );