Fix test broken after branch update

a16z · Oct 21, 2024 · 97f0f40 · 97f0f40
1 parent fe25ffc
commit 97f0f40
Showing 1 changed file with 9 additions and 6 deletions.
diff --git a/jolt-core/src/jolt/vm/rv32i_vm.rs b/jolt-core/src/jolt/vm/rv32i_vm.rs
@@ -497,12 +497,15 @@ mod tests {
 
         let preprocessing =
             RV32IJoltVM::preprocess(bytecode.clone(), memory_init, 1 << 20, 1 << 20, 1 << 20);
-        let (proof, commitments, debug_info) =
-            <RV32IJoltVM as Jolt<Fr, HyperKZG<Bn254>, C, M>>::prove(
-                io_device,
-                trace,
-                preprocessing.clone(),
-            );
+        let (proof, commitments, debug_info) = <RV32IJoltVM as Jolt<
+            Fr,
+            HyperKZG<Bn254, KeccakTranscript>,
+            C,
+            M,
+            KeccakTranscript,
+        >>::prove(
+            io_device, trace, preprocessing.clone()
+        );
         let verification_result =
             RV32IJoltVM::verify(preprocessing, proof, commitments, debug_info);
         assert!(