MPT new descriptors & benchmark

Makefile

@@ -45,6 +45,9 @@ evm_bench: ## Run Evm Circuit benchmarks
 state_bench: ## Run State Circuit benchmarks
 	@cargo test --profile bench bench_state_circuit_prover -p circuit-benchmarks --features benches  -- --nocapture
 
+mpt_bench: ## Run MPT Circuit benchmarks
+	@cargo test --profile bench bench_mpt_circuit_prover -p circuit-benchmarks --features benches  -- --nocapture
+
 packed_multi_keccak_bench: ## Run Packed Multi Keccak Circuit benchmarks
 	@cargo test --profile bench bench_packed_multi_keccak_circuit_prover -p circuit-benchmarks --features benches  -- --nocapture
 

README.md

@@ -17,6 +17,7 @@ to use for your circuit in the bench process.
 -   Keccak Circuit prover benches. -> `DEGREE=16 make packed_multi_keccak_bench`
 -   EVM Circuit prover benches. -> `DEGREE=18 make evm_bench`.
 -   State Circuit prover benches. -> `DEGREE=18 make state_bench`
+-   MPT Circuit prover benches. -> `DEGREE=14 make mpt_bench`
 
 You can also run all benchmarks by running: `make circuit_benches DEGREE=18`.
 

circuit-benchmarks/Cargo.toml

@@ -19,6 +19,8 @@ env_logger = "0.9"
 ethers-signers = "0.17.0"
 mock = { path="../mock" }
 rand_chacha = "0.3"
+serde = { version = "1.0", features = ["derive"] }
+serde_json = "1.0"
 
 [features]
 default = []

circuit-benchmarks/src/lib.rs

@@ -35,3 +35,7 @@ pub mod exp_circuit;
 #[cfg(test)]
 #[cfg(feature = "benches")]
 pub mod constants;
+
+#[cfg(test)]
+#[cfg(feature = "benches")]
+pub mod mpt_circuit;

circuit-benchmarks/src/mpt_circuit.rs

@@ -0,0 +1,126 @@
+//! MPT circuit benchmarks
+
+#[cfg(test)]
+mod tests {
+    use ark_std::{end_timer, start_timer};
+    use halo2_proofs::{
+        halo2curves::bn256::{Bn256, Fr, G1Affine},
+        plonk::{create_proof, keygen_pk, keygen_vk, verify_proof},
+        poly::{
+            commitment::ParamsProver,
+            kzg::{
+                commitment::{KZGCommitmentScheme, ParamsKZG, ParamsVerifierKZG},
+                multiopen::{ProverSHPLONK, VerifierSHPLONK},
+                strategy::SingleStrategy,
+            },
+        },
+        transcript::{
+            Blake2bRead, Blake2bWrite, Challenge255, TranscriptReadBuffer, TranscriptWriterBuffer,
+        },
+    };
+    use rand::SeedableRng;
+    use rand_xorshift::XorShiftRng;
+    use std::env::var;
+    use zkevm_circuits::mpt_circuit::{witness_row::Node, MPTCircuit};
+
+    #[cfg_attr(not(feature = "benches"), ignore)]
+    #[test]
+    fn bench_mpt_circuit_prover() {
+        let setup_prfx = crate::constants::SETUP_PREFIX;
+        let proof_gen_prfx = crate::constants::PROOFGEN_PREFIX;
+        let proof_ver_prfx = crate::constants::PROOFVER_PREFIX;
+        // Unique string used by bench results module for parsing the result
+        const BENCHMARK_ID: &str = "MPT Circuit";
+
+        let degree: u32 = var("DEGREE")
+            .expect("No DEGREE env var was provided")
+            .parse()
+            .expect("Cannot parse DEGREE env var as u32");
+
+        let path = "../zkevm-circuits/src/mpt_circuit/tests/UpdateOneLevel.json";
+        let file = std::fs::File::open(path);
+        let reader = std::io::BufReader::new(file.unwrap());
+
+        let randomness = Fr::from(123456u64);
+        let nodes: Vec<Node> = serde_json::from_reader(reader).unwrap();
+
+        let mut keccak_data = vec![];
+        for node in nodes.iter() {
+            for k in node.keccak_data.iter() {
+                keccak_data.push(k.clone());
+            }
+        }
+
+        let circuit = MPTCircuit::<Fr> {
+            nodes,
+            keccak_data,
+            randomness,
+        };
+
+        // Initialize the polynomial commitment parameters
+        let mut rng = XorShiftRng::from_seed([
+            0x59, 0x62, 0xbe, 0x5d, 0x76, 0x3d, 0x31, 0x8d, 0x17, 0xdb, 0x37, 0x32, 0x54, 0x06,
+            0xbc, 0xe5,
+        ]);
+
+        // Bench setup generation
+        let setup_message = format!("{} {} with degree = {}", BENCHMARK_ID, setup_prfx, degree);
+        let start1 = start_timer!(|| setup_message);
+        let general_params = ParamsKZG::<Bn256>::setup(degree, &mut rng);
+        let verifier_params: ParamsVerifierKZG<Bn256> = general_params.verifier_params().clone();
+        end_timer!(start1);
+
+        // Initialize the proving key
+        let vk = keygen_vk(&general_params, &circuit).expect("keygen_vk should not fail");
+        let pk = keygen_pk(&general_params, vk, &circuit).expect("keygen_pk should not fail");
+        // Create a proof
+        let mut transcript = Blake2bWrite::<_, G1Affine, Challenge255<_>>::init(vec![]);
+
+        // Bench proof generation time
+        let proof_message = format!(
+            "{} {} with degree = {}",
+            BENCHMARK_ID, proof_gen_prfx, degree
+        );
+        let start2 = start_timer!(|| proof_message);
+
+        create_proof::<
+            KZGCommitmentScheme<Bn256>,
+            ProverSHPLONK<'_, Bn256>,
+            Challenge255<G1Affine>,
+            XorShiftRng,
+            Blake2bWrite<Vec<u8>, G1Affine, Challenge255<G1Affine>>,
+            MPTCircuit<Fr>,
+        >(
+            &general_params,
+            &pk,
+            &[circuit],
+            &[&[]],
+            rng,
+            &mut transcript,
+        )
+        .expect("proof generation should not fail");
+        let proof = transcript.finalize();
+        end_timer!(start2);
+
+        // Bench verification time
+        let start3 = start_timer!(|| format!("{} {}", BENCHMARK_ID, proof_ver_prfx));
+        let mut verifier_transcript = Blake2bRead::<_, G1Affine, Challenge255<_>>::init(&proof[..]);
+        let strategy = SingleStrategy::new(&general_params);
+
+        verify_proof::<
+            KZGCommitmentScheme<Bn256>,
+            VerifierSHPLONK<'_, Bn256>,
+            Challenge255<G1Affine>,
+            Blake2bRead<&[u8], G1Affine, Challenge255<G1Affine>>,
+            SingleStrategy<'_, Bn256>,
+        >(
+            &verifier_params,
+            pk.get_vk(),
+            strategy,
+            &[&[]],
+            &mut verifier_transcript,
+        )
+        .expect("failed to verify bench circuit");
+        end_timer!(start3);
+    }
+}

zkevm-circuits/Cargo.toml

@@ -36,6 +36,8 @@ rand_chacha = "0.3"
 snark-verifier = { git = "https://github.com/privacy-scaling-explorations/snark-verifier", tag = "v2023_04_20", default-features = false, features = ["loader_halo2", "system_halo2"] }
 cli-table = { version = "0.4", optional = true }
 num_enum = "0.5.7"
+serde = { version = "1.0.130", features = ["derive"] }
+serde_json = "1.0.78"
 
 [dev-dependencies]
 bus-mapping = { path = "../bus-mapping", features = ["test"] }
@@ -45,8 +47,6 @@ hex = "0.4.3"
 itertools = "0.10.1"
 mock = { path = "../mock" }
 pretty_assertions = "1.0.0"
-serde = { version = "1.0.130", features = ["derive"] }
-serde_json = "1.0.78"
 
 [features]
 default = []

zkevm-circuits/src/mpt_circuit.rs

@@ -21,7 +21,8 @@ mod param;
 mod rlp_gadgets;
 mod start;
 mod storage_leaf;
-mod witness_row;
+/// MPT witness row
+pub mod witness_row;
 
 use self::{
     account_leaf::AccountLeafConfig,
@@ -601,11 +602,15 @@ impl<F: Field> MPTConfig<F> {
     }
 }
 
+/// MPT Circuit for proving the storage modification is valid.
 #[derive(Default)]
-struct MPTCircuit<F> {
-    nodes: Vec<Node>,
-    keccak_data: Vec<Vec<u8>>,
-    randomness: F,
+pub struct MPTCircuit<F> {
+    /// MPT nodes
+    pub nodes: Vec<Node>,
+    /// MPT keccak_data
+    pub keccak_data: Vec<Vec<u8>>,
+    /// MPT randomness
+    pub randomness: F,
 }
 
 impl<F: Field> Circuit<F> for MPTCircuit<F> {
@@ -660,19 +665,13 @@ impl<F: Field> Circuit<F> for MPTCircuit<F> {
 
 #[cfg(test)]
 mod tests {
-    use crate::mpt_circuit::witness_row::{prepare_witness, MptWitnessRow};
-
     use super::*;
-
     use halo2_proofs::{dev::MockProver, halo2curves::bn256::Fr};
-
     use std::fs;
 
     #[test]
     fn test_mpt() {
-        // for debugging:
         let path = "src/mpt_circuit/tests";
-        // let path = "tests";
         let files = fs::read_dir(path).unwrap();
         files
             .filter_map(Result::ok)
@@ -689,23 +688,19 @@ mod tests {
                 let mut parts = path.to_str().unwrap().split('-');
                 parts.next();
                 let file = std::fs::File::open(path.clone());
+
                 let reader = std::io::BufReader::new(file.unwrap());
-                let w: Vec<Vec<u8>> = serde_json::from_reader(reader).unwrap();
+                let nodes: Vec<Node> = serde_json::from_reader(reader).unwrap();
+                let num_rows: usize = nodes.iter().map(|node| node.values.len()).sum();
 
                 let randomness: Fr = 123456.scalar();
 
                 let mut keccak_data = vec![];
-                let mut witness_rows = vec![];
-                for row in w.iter() {
-                    if row[row.len() - 1] == 5 {
-                        keccak_data.push(row[0..row.len() - 1].to_vec());
-                    } else {
-                        let row = MptWitnessRow::<Fr>::new(row[0..row.len()].to_vec());
-                        witness_rows.push(row);
+                for node in nodes.iter() {
+                    for k in node.keccak_data.iter() {
+                        keccak_data.push(k.clone());
                     }
                 }
-                let nodes = prepare_witness(&mut witness_rows);
-                let num_rows: usize = nodes.iter().map(|node| node.values.len()).sum();
 
                 let circuit = MPTCircuit::<Fr> {
                     nodes,

zkevm-circuits/src/mpt_circuit/helpers.rs

@@ -82,11 +82,7 @@ pub trait Indexable {
 
 impl Indexable for bool {
     fn idx(&self) -> usize {
-        if *self {
-            0
-        } else {
-            1
-        }
+        usize::from(!(*self))
     }
 }
 

zkevm-circuits/src/mpt_circuit/tests/AccountInFirstLevel.json

@@ -1 +1 @@
-[[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,6],[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,4],[0,0,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,18],[184,70,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,248,68,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,7],[184,70,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,248,68,128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,8],[0,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,9],[0,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,11],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,10],[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,128,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,5],[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,1,128,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,5]]
+[{"start":{"proof_type":"NonceChanged"},"extension_branch":null,"account":null,"storage":null,"values":[[160,221,24,245,128,128,59,139,211,67,24,104,53,120,169,108,45,65,161,228,168,133,165,58,10,91,89,4,118,58,162,186,61,0],[160,100,233,187,242,53,25,247,197,231,164,111,90,67,38,190,216,18,24,71,83,42,65,84,236,49,85,134,33,144,34,153,84,0]],"keccak_data":[]},{"start":null,"extension_branch":null,"account":{"address":[252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73],"list_rlp_bytes":[[248,106],[248,106]],"value_rlp_bytes":[[184,70],[184,70]],"value_list_rlp_bytes":[[248,68],[248,68]],"drifted_rlp_bytes":[0],"wrong_rlp_bytes":[248,106]},"storage":null,"values":[[161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73],[161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[128,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,0],[160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73]],"keccak_data":[[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,128,128,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112],[248,106,161,32,252,237,52,8,133,130,180,167,143,97,28,115,102,25,94,62,148,249,8,6,55,244,16,75,187,208,208,127,251,120,61,73,184,70,248,68,1,128,160,86,232,31,23,27,204,85,166,255,131,69,230,146,192,248,110,91,72,224,27,153,108,173,192,1,98,47,181,227,99,180,33,160,197,210,70,1,134,247,35,60,146,126,125,178,220,199,3,192,229,0,182,83,202,130,39,59,123,250,216,4,93,133,164,112]]},{"start":{"proof_type":"Disabled"},"extension_branch":null,"account":null,"storage":null,"values":[[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0]],"keccak_data":[]}]