Refactor FriReducedOpeningChip

openvm-org · Jan 22, 2025 · edc6db6 · edc6db6
1 parent 322765a
commit edc6db6
Show file tree

Hide file tree

Showing 13 changed files with 576 additions and 421 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/vm/src/arch/testing/mod.rs b/crates/vm/src/arch/testing/mod.rs
@@ -256,6 +256,18 @@ impl VmChipTestBuilder<BabyBear> {
         let tester = tester.load(self.execution);
         tester.load(self.program)
     }
+    pub fn build_babybear_poseidon2(self) -> VmChipTester<BabyBearPoseidon2Config> {
+        self.memory
+            .controller
+            .borrow_mut()
+            .finalize(None::<&mut Poseidon2PeripheryChip<BabyBear>>);
+        let tester = VmChipTester {
+            memory: Some(self.memory),
+            ..Default::default()
+        };
+        let tester = tester.load(self.execution);
+        tester.load(self.program)
+    }
 }
 
 impl<F: PrimeField32> Default for VmChipTestBuilder<F> {

diff --git a/extensions/native/circuit/Cargo.toml b/extensions/native/circuit/Cargo.toml
@@ -30,6 +30,7 @@ eyre.workspace = true
 serde.workspace = true
 serde-big-array.workspace = true
 bitcode.workspace = true
+static_assertions.workspace = true
 
 [dev-dependencies]
 openvm-stark-sdk = { workspace = true }