fix stale data

Author: darth-cy

crates/continuations/src/verifier/common/non_leaf.rs

@@ -48,7 +48,6 @@ impl<C: Config> NonLeafVerifierVariables<C> {
             let proof = builder.get(proofs, i);
             assert_required_air_for_agg_vm_present(builder, &proof);
             let proof_vm_pvs = self.verify_internal_or_leaf_verifier_proof(builder, &proof);
-
             assert_single_segment_vm_exit_successfully(builder, &proof);
             builder.if_eq(i, RVar::zero()).then_or_else(
                 |builder| {

crates/vm/src/arch/vm.rs

@@ -474,7 +474,6 @@ where
             .map(|(&h, w)| (h as usize, w))
             .collect::<Vec<_>>();
         let ctx = PreflightCtx::new_with_capacity(&capacities, instret_end);
-
         let system_config: &SystemConfig = self.config().as_ref();
         let adapter_offset = system_config.access_adapter_air_id_offset();
         // ATTENTION: this must agree with `num_memory_airs`
@@ -511,7 +510,6 @@ where
             .finalize::<Val<E::SC>>(system_config.continuation_enabled);
         #[cfg(feature = "perf-metrics")]
         crate::metrics::end_segment_metrics(&mut exec_state);
-
         let instret = exec_state.vm_state.instret();
         let pc = exec_state.vm_state.pc();
         let memory = exec_state.vm_state.memory;
@@ -685,7 +683,6 @@ where
             PreflightExecutor<Val<E::SC>, VB::RecordArena>,
     {
         self.transport_init_memory_to_device(&state.memory);
-
         let PreflightExecutionOutput {
             system_records,
             record_arenas,
@@ -696,7 +693,6 @@ where
             (system_records.exit_code == Some(ExitCode::Success as u32)).then_some(to_state.memory);
         let ctx = self.generate_proving_ctx(system_records, record_arenas)?;
         let proof = self.engine.prove(&self.pk, ctx);
-
         Ok((proof, final_memory))
     }
 

extensions/native/circuit/src/hint_space_provider.rs

@@ -84,7 +84,7 @@ impl<F> HintSpaceProviderChip<F> {
 
 impl<F: PrimeField32> HintSpaceProviderChip<F> {
     pub fn generate_trace(&self) -> RowMajorMatrix<F> {
-        let data = self.data.lock().unwrap();
+        let data = std::mem::take(&mut *self.data.lock().unwrap());
         let num_real_rows = data.len();
         let trace_height = num_real_rows.next_power_of_two().max(2);