fixed

bus-mapping/src/circuit_input_builder/protocol_instance.rs

@@ -103,8 +103,6 @@ impl ProtocolInstance {
             EvidenceType::Sgx { new_pubkey } => todo!(),
             EvidenceType::PseZk  => {
                 // keccak256(abi.encode(tran, prover, metaHash, txListHash, pointValue));
-                let meta_hash = keccak(self.block_metadata.abi_encode());
-                self.block_metadata.blobHash;
                 keccak(self.abi_encode()).into()
             },
         }
@@ -142,14 +140,6 @@ impl ProtocolInstance {
         self.transition.graffiti.abi_encode().into()
     }
 
-    pub fn transition(&self) -> Vec<u8> {
-        self.transition.abi_encode().into()
-    }
-
-    pub fn block_metadata(&self) -> Vec<u8> {
-        self.block_metadata.abi_encode().into()
-    }
-
     pub fn prover(&self) -> Vec<u8> {
         self.prover.as_fixed_bytes().abi_encode().into()
     }

integration-tests/src/integration_public_data_circuits.rs

@@ -342,7 +342,7 @@ mod public_data_test {
                 .unwrap()
                 .as_fixed_bytes()
                 .into(),
-            txListHash: parse_hash(
+            blobHash: parse_hash(
                 "569e75fc77c1a856f6daaf9e69d8a9566ca34aa47f9133711ce065a571af0cfd",
             )
             .unwrap()

zkevm-circuits/src/table/keccak_table.rs

@@ -111,7 +111,6 @@ impl KeccakTable {
                 let keccak_table_columns = <KeccakTable as LookupTable<F>>::advice_columns(self);
                 for input in inputs.clone() {
                     for row in Self::assignments(input, challenges) {
-                        println!("keccak row: {:?}", row);
                         // let mut column_index = 0;
                         for (&column, value) in keccak_table_columns.iter().zip_eq(row) {
                             region.assign_advice(

zkevm-circuits/src/taiko_pi_circuit.rs

@@ -160,8 +160,8 @@ impl<F: Field> PublicData<F> {
             1 => self.protocol_instance.blockHash(),
             2 => self.protocol_instance.signalRoot(),
             3 => self.protocol_instance.graffiti(),
-            4 => self.protocol_instance.prover(),
-            5 => self.protocol_instance.meta_hash(),
+            4 => self.protocol_instance.meta_hash(),
+            5 => self.protocol_instance.prover(),
             6 => self.protocol_instance.tx_list_hash(),
             7 => self.protocol_instance.point_value(),
             _ => unreachable!(),
@@ -412,16 +412,15 @@ impl<F: Field> TaikoPiCircuitConfig<F> {
                     &self.tx_list_hash,
                     &self.point_value,
                 ].iter().for_each(|gadget| {
-                    println!("gadget {:?} len = {}", idx, gadget.len);
                     gadget.assign(&mut region, 0, &public_data.assignment(idx))
                         .expect(&format!("FieldGadget assignment failed at {:?}", idx));
                     idx += 1;
                 });
+
                 self.keccak_bytes.assign(&mut region, 0, &public_data.keccak_assignment())
-                    .expect("Keccak bytes assignment failed");
-
-                println!("total_acc = {:?}", public_data.total_acc(keccak_r));
+                    .expect("Keccak bytes assignment failed");                
                 assign!(region, self.total_acc, 0 => public_data.total_acc(keccak_r))?;
+
                 let hi_low_assignment = public_data.keccak_hi_low();
                 let hi = assign!(region, self.keccak_hi_lo[0], 0 => hi_low_assignment[0])?;
                 let lo = assign!(region, self.keccak_hi_lo[1], 0 => hi_low_assignment[1])?;