add app.fri.log_blowup = 1 check for chunk circuit

Author: kunxian-xia

Cargo.lock

@@ -19,6 +19,7 @@ openvm-native-compiler = { workspace = true, default-features = false }
 openvm-native-recursion = { workspace = true, default-features = false }
 openvm-native-transpiler = { workspace = true, default-features = false }
 openvm-transpiler = { workspace = true, default-features = false }
+openvm-stark-sdk.workspace = true
 
 alloy-primitives.workspace = true
 tiny-keccak.workspace = true

crates/integration/Cargo.toml

@@ -50,6 +50,7 @@ impl ProverType for ChunkProverType {
         path_app_config: P,
     ) -> Result<openvm_sdk::config::AppConfig<openvm_sdk::config::SdkVmConfig>, Error> {
         let mut config = read_app_config(path_app_config)?;
+        assert_eq!(config.app_fri_params.fri_params.log_blowup, 1);
         config.app_vm_config.system.config = config
             .app_vm_config
             .system