[perf] Optimize FriReducedOpeningChip (#1248)

* Refactor FriReducedOpeningChip

* Remove redundant codes & update ISA docs

* Reduce degree of FriReducedOpeningChip to 3

* Revert degree changes

* Fix lint

* Update ISA docs

Author: nyunyunyunyu

Cargo.lock

@@ -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> {

crates/vm/src/arch/testing/mod.rs

@@ -41,7 +41,13 @@ where
     VC::Periphery: Chip<BabyBearPoseidon2Config>,
 {
     setup_tracing();
-    let engine = BabyBearPoseidon2Engine::new(FriParameters::standard_fast());
+    let mut log_blowup = 1;
+    while config.system().max_constraint_degree > (1 << log_blowup) + 1 {
+        log_blowup += 1;
+    }
+    let engine = BabyBearPoseidon2Engine::new(
+        FriParameters::standard_with_100_bits_conjectured_security(log_blowup),
+    );
     let vm = VirtualMachine::new(engine, config);
     let pk = vm.keygen();
     let mut result = vm.execute_and_generate(exe, input).unwrap();

crates/vm/src/utils/stark_utils.rs

@@ -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 }