Feat/streaming_prover

jolt-core/benches/e2e_profiling.rs

@@ -203,7 +203,7 @@ fn prove_example(
     let mut tasks = Vec::new();
     let mut program = host::Program::new(example_name);
     let (bytecode, init_memory_state, _) = program.decode();
-    let (_, trace, _, program_io) = program.trace(&serialized_input, &[], &[]);
+    let (_lazy_trace, trace, _, program_io) = program.trace(&serialized_input, &[], &[]);
     let padded_trace_len = (trace.len() + 1).next_power_of_two();
     drop(trace);
 

jolt-core/src/poly/mod.rs

@@ -7,6 +7,7 @@ pub mod identity_poly;
 pub mod lagrange_poly;
 pub mod lt_poly;
 pub mod multilinear_polynomial;
+pub mod multiquadratic_poly;
 pub mod one_hot_polynomial;
 pub mod opening_proof;
 pub mod prefix_suffix;