diff --git a/jolt-core/src/jolt/vm/rv32i_vm.rs b/jolt-core/src/jolt/vm/rv32i_vm.rs index 6c14ddf03..ba09b6787 100644 --- 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) = - , C, M>>::prove( - io_device, - trace, - preprocessing.clone(), - ); + let (proof, commitments, debug_info) = , + C, + M, + KeccakTranscript, + >>::prove( + io_device, trace, preprocessing.clone() + ); let verification_result = RV32IJoltVM::verify(preprocessing, proof, commitments, debug_info); assert!(