Adapt the circuitry to zero-bin

Cargo.toml

@@ -17,6 +17,7 @@ rlp = "0.5.2"
 rlp-derive = "0.1.0"
 serde = "1.0.166"
 serde_json = "1.0.96"
+serde-big-array = "0.5.1"
 thiserror = "1.0.49"
 
 # plonky2-related dependencies

evm_arithmetization/Cargo.toml

@@ -39,6 +39,7 @@ static_assertions = "1.1.0"
 hashbrown = { version = "0.14.0" }
 tiny-keccak = "2.0.2"
 serde_json = { workspace = true }
+serde-big-array = { workspace = true }
 
 # Local dependencies
 mpt_trie = { version = "0.2.1", path = "../mpt_trie" }

evm_arithmetization/src/cpu/kernel/interpreter.rs

@@ -9,6 +9,7 @@ use ethereum_types::{BigEndianHash, U256};
 use log::Level;
 use mpt_trie::partial_trie::PartialTrie;
 use plonky2::field::types::Field;
+use serde::{Deserialize, Serialize};
 
 use crate::byte_packing::byte_packing_stark::BytePackingOp;
 use crate::cpu::columns::CpuColumnsView;
@@ -147,7 +148,7 @@ pub(crate) fn simulate_cpu_and_get_user_jumps<F: Field>(
 }
 
 /// State data required to initialize the state passed to the prover.
-#[derive(Default, Debug, Clone)]
+#[derive(Default, Debug, Clone, Serialize, Deserialize)]
 pub(crate) struct ExtraSegmentData {
     pub(crate) trimmed_inputs: TrimmedGenerationInputs,
     pub(crate) bignum_modmul_result_limbs: Vec<U256>,