fix super

taikoxyz · Sep 3, 2023 · 09cb220 · 09cb220
1 parent 198adae
commit 09cb220
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/zkevm-circuits/src/taiko_pi_circuit.rs b/zkevm-circuits/src/taiko_pi_circuit.rs
@@ -166,7 +166,7 @@ impl<F: Field> PublicData<F> {
         }
     }
 
-    fn encode_raw(&self) -> Vec<u8> {
+    pub fn encode_raw(&self) -> Vec<u8> {
         encode(&[self.evidence.clone()])
     }
 

diff --git a/zkevm-circuits/src/taiko_super_circuit.rs b/zkevm-circuits/src/taiko_super_circuit.rs
@@ -7,7 +7,7 @@ pub mod test;
 use crate::{
     anchor_tx_circuit::{AnchorTxCircuit, AnchorTxCircuitConfig, AnchorTxCircuitConfigArgs},
     table::{byte_table::ByteTable, BlockTable, KeccakTable, PiTable, TxTable},
-    taiko_pi_circuit::{TaikoPiCircuit, TaikoPiCircuitConfig, TaikoPiCircuitConfigArgs},
+    taiko_pi_circuit::{TaikoPiCircuit, TaikoPiCircuitConfig, TaikoPiCircuitConfigArgs, PublicData},
     util::{log2_ceil, Challenges, SubCircuit, SubCircuitConfig},
     witness::{block_convert, Block, ProtocolInstance},
 };
@@ -59,6 +59,7 @@ impl<F: Field> SubCircuitConfig<F> for SuperCircuitConfig<F> {
         let pi_circuit = TaikoPiCircuitConfig::new(
             meta,
             TaikoPiCircuitConfigArgs {
+                evidence: PublicData::default(),
                 block_table: block_table.clone(),
                 keccak_table: keccak_table.clone(),
                 byte_table: byte_table.clone(),
@@ -206,7 +207,7 @@ impl<F: Field> Circuit<F> for SuperCircuit<F> {
             .load(&mut layouter, &self.block.context, randomness)?;
         config.keccak_table.dev_load(
             &mut layouter,
-            vec![&self.pi_circuit.public_data.rpi_bytes()],
+            vec![&self.pi_circuit.evidence.encode_raw()],
             &challenges,
         )?;
         config.byte_table.load(&mut layouter)?;