Merge pull request a16z#392 from imikushin/fib-e2e-use-type-parameters

fib_e2e: Actually use the type parameters 🙃
manijeh-a · Jun 17, 2024 · 83173dd · 83173dd
2 parents 8df78a1 + 3675469
commit 83173dd
Showing 1 changed file with 6 additions and 7 deletions.
diff --git a/jolt-core/src/jolt/vm/rv32i_vm.rs b/jolt-core/src/jolt/vm/rv32i_vm.rs
@@ -218,13 +218,12 @@ mod tests {
 
         let preprocessing =
             RV32IJoltVM::preprocess(bytecode.clone(), memory_init, 1 << 20, 1 << 20, 1 << 20);
-        let (proof, commitments) =
-            <RV32IJoltVM as Jolt<Fr, HyraxScheme<G1Projective>, C, M>>::prove(
-                io_device,
-                trace,
-                circuit_flags,
-                preprocessing.clone(),
-            );
+        let (proof, commitments) = <RV32IJoltVM as Jolt<F, PCS, C, M>>::prove(
+            io_device,
+            trace,
+            circuit_flags,
+            preprocessing.clone(),
+        );
         let verification_result = RV32IJoltVM::verify(preprocessing, proof, commitments);
         assert!(
             verification_result.is_ok(),