fix pi hash mismatch

johntaiko · Apr 2, 2024 · 9865174 · 9865174
1 parent 65501b5
commit 9865174
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/lib/src/consts.rs b/lib/src/consts.rs
@@ -100,10 +100,10 @@ pub const TAIKO_A7_CHAIN_SPEC: Lazy<ChainSpec> = Lazy::new(|| ChainSpec {
         base_fee_max_decrease_denominator: uint!(8_U256),
         elasticity_multiplier: uint!(2_U256),
     },
-    l1_contract: Some(Address::from_str("0xaC6ccC4B3aBA6E96E2F58E0fF7A4ff3aF469E62E").unwrap()),
+    l1_contract: Some(Address::from_str("0x79C9109b764609df928d16fC4a91e9081F7e87DB").unwrap()),
     l2_contract: Some(Address::from_str("0x1670090000000000000000000000000000010001").unwrap()),
     sgx_verifier_address: Some(
-        Address::from_str("0x914e458035Cd10B3650B4115D74f351f79EA768E").unwrap(),
+        Address::from_str("0x532EFBf6D62720D0B2a2Bb9d11066E8588cAE6D9").unwrap(),
     ),
     genesis_time: 1695902400u64,
     seconds_per_slot: 12u64,

diff --git a/lib/src/protocol_instance.rs b/lib/src/protocol_instance.rs
@@ -109,7 +109,7 @@ pub fn assemble_protocol_instance(
         transition: Transition {
             parentHash: header.parent_hash,
             blockHash: header.hash(),
-            stateRoot: input.taiko.l1_header.state_root,
+            stateRoot: header.state_root,
             graffiti: input.taiko.prover_data.graffiti,
         },
         block_metadata: BlockMetadata {

diff --git a/prove_block.sh b/prove_block.sh
@@ -12,9 +12,11 @@ rangeEnd="$4"
 if [ "$chain" == "taiko_a6" ]; then
   l2Rpc="https://rpc.katla.taiko.xyz"
   l1Rpc="https://l1rpc.katla.taiko.xyz"
+  beaconRpc="https://l1beacon.hekla.taiko.xyz"
 elif [ "$chain" == "taiko_a7" ]; then
-  l2Rpc="https://rpc.internal.taiko.xyz"
-  l1Rpc="https://l1rpc.internal.taiko.xyz"
+  l2Rpc="https://rpc.hekla.taiko.xyz/"
+  l1Rpc="https://l1rpc.hekla.taiko.xyz/"
+  beaconRpc="https://l1beacon.hekla.taiko.xyz"
 else
   echo "Invalid chain name. Please use 'taiko_a6' or 'taiko_a7'."
   exit 1
@@ -59,7 +61,6 @@ if [ "$rangeEnd" == "" ]; then
   rangeEnd=$rangeStart
 fi
 
-beaconRpc="https://l1beacon.internal.taiko.xyz"
 prover="0x70997970C51812dc3A010C7d01b50e0d17dc79C8"
 graffiti="8008500000000000000000000000000000000000000000000000000000000000"