Fix Stateful for FriReducedOpeningChip (#1218)

openvm-org · Jan 15, 2025 · 66a8134 · 66a8134
1 parent 466236a
commit 66a8134
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/extensions/native/circuit/src/fri/mod.rs b/extensions/native/circuit/src/fri/mod.rs
@@ -593,6 +593,7 @@ where
 impl<F: PrimeField32> Stateful<Vec<u8>> for FriReducedOpeningChip<F> {
     fn load_state(&mut self, state: Vec<u8>) {
         self.records = bitcode::deserialize(&state).unwrap();
+        self.height = self.records.iter().map(|record| record.a_reads.len()).sum();
     }
 
     fn store_state(&self) -> Vec<u8> {