feat: make customize easy (#239)

* make submodules allow adding other pi inputs to customize scroll toolchain

* expose encoded pi api

* apply review

* group types

* move sol types out

* re-export

* fmt

* fix feature gate

* update commit

Author: lightsing

crates/circuits/batch-circuit/batch_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [890757180, 1649007893, 1418561989, 1736314948, 223360016, 1081880906, 1677391942, 1226516817];
+pub const COMMIT: [u32; 8] = [1323428575, 739444403, 975817221, 1884376082, 1869082474, 301119364, 847692461, 1689905020];

crates/circuits/batch-circuit/src/circuit.rs

@@ -5,8 +5,10 @@ use scroll_zkvm_types_circuit::{
     io::read_witnesses,
     public_inputs::{
         Version,
-        batch::{BatchInfo, VersionedBatchInfo},
-        chunk::VersionedChunkInfo,
+        scroll::{
+            batch::{BatchInfo, VersionedBatchInfo},
+            chunk::VersionedChunkInfo,
+        },
     },
 };
 

crates/circuits/bundle-circuit/bundle_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [1247172214, 1931214656, 1068729231, 398739518, 1658920406, 920892194, 1958141633, 1294205275];
+pub const COMMIT: [u32; 8] = [395255096, 1538461738, 1900404427, 924047718, 794880083, 331615215, 287045005, 551525680];

crates/circuits/bundle-circuit/src/circuit.rs

@@ -5,8 +5,10 @@ use scroll_zkvm_types_circuit::{
     io::read_witnesses,
     public_inputs::{
         Version,
-        batch::VersionedBatchInfo,
-        bundle::{BundleInfo, VersionedBundleInfo},
+        scroll::{
+            batch::VersionedBatchInfo,
+            bundle::{BundleInfo, VersionedBundleInfo},
+        },
     },
 };
 

crates/circuits/chunk-circuit/chunk_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [521613781, 1622539563, 151651136, 1386962758, 237337157, 1727643820, 1779614850, 552755794];
+pub const COMMIT: [u32; 8] = [153372445, 1720016086, 1822473630, 946375535, 421518027, 1979460861, 209770256, 812698810];

crates/circuits/chunk-circuit/src/circuit.rs

@@ -1,11 +1,11 @@
 use openvm::init;
-use scroll_zkvm_types_chunk::ChunkWitness;
+use scroll_zkvm_types_chunk::scroll::ChunkWitness;
 use scroll_zkvm_types_circuit::{
     Circuit,
     io::read_witnesses,
     public_inputs::{
         Version,
-        chunk::{ChunkInfo, VersionedChunkInfo},
+        scroll::chunk::{ChunkInfo, VersionedChunkInfo},
     },
 };
 

crates/integration/src/bin/chunk-scanner.rs

@@ -10,7 +10,7 @@ use scroll_zkvm_integration::{
     ProverTester,
     testers::chunk::{ChunkProverTester, exec_chunk},
 };
-use scroll_zkvm_types::{chunk::ChunkWitness, version};
+use scroll_zkvm_types::{scroll::chunk::ChunkWitness, version};
 use std::collections::HashMap;
 use std::{fs::File, path::PathBuf, slice};
 use url::Url;

crates/integration/src/testers/batch.rs

@@ -1,8 +1,10 @@
 use scroll_zkvm_types::{
-    batch::{BatchHeader, BatchInfo, BatchWitness, ReferenceHeader},
-    chunk::ChunkInfo,
     proof::ProofEnum,
     public_inputs::{ForkName, Version},
+    scroll::{
+        batch::{BatchHeader, BatchInfo, BatchWitness, ReferenceHeader},
+        chunk::ChunkInfo,
+    },
     utils::serialize_vk,
 };
 

crates/integration/src/testers/bundle.rs

@@ -1,8 +1,10 @@
 use scroll_zkvm_types::{
-    batch::BatchInfo,
-    bundle::{BundleInfo, BundleWitness},
     proof::ProofEnum,
     public_inputs::ForkName,
+    scroll::{
+        batch::BatchInfo,
+        bundle::{BundleInfo, BundleWitness},
+    },
 };
 
 // Only related to hardcoded commitments. Can be refactored later.

crates/integration/src/testers/chunk.rs

@@ -9,9 +9,9 @@ use sbv_primitives::{B256, types::consensus::TxL1Message};
 use scroll_zkvm_prover::utils::read_json;
 use scroll_zkvm_prover::utils::vm::ExecutionResult;
 use scroll_zkvm_types::{
-    chunk::{ChunkInfo, ChunkWitness, SecretKey},
     proof::ProofEnum,
     public_inputs::{ForkName, Version},
+    scroll::chunk::{ChunkInfo, ChunkWitness, SecretKey},
 };
 use std::{
     fs::File,