zkBridge Supports BNB Chain Haber and Tycho Hard Fork
zkBridge has been seamlessly updated to support the Haber and Tycho hard fork.
BNB Chain Mainnet Upgrade:
Background:
The BSC Haber and Tycho upgrades are primarily aimed at supporting Ethereum’s Cancun upgrade on the BSC. Post-upgrade, BSC will support Blob Transaction, providing a mechanism similar to Ethereum’s EIP-4844. BSC L2 rollup can utilize this to reduce rollup costs.
Upgrade Details:
- BEP-336: Implement EIP-4844: ProtoDanksharding
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-336.md - BEP-343: Implement EIP-1153: Transient storage opcodes.
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-343.md - BEP-344: Implement EIP-6780: SELFDESTRUCT only in the same transaction
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-344.md - BEP-342: Implement EIP-5656: MCOPY
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-342.md - BEP-345: Implement EIP-7516: BLOBBASEFEE opcode
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-345.md - BEP-381: Precompile for secp256r1 Curve Support
https://github.com/bnb-chain/BEPs/blob/master/BEPs/BEP-381.md
Upgrade Time:
2024–06–20 06:05:00 AM UTC
Impact on zkBridge:
Updater Circuit Changes:
This upgrade introduces new fields in the block header such as WithdrawalsHash, BlobGasUsed, ExcessBlobGas, ParentBeaconRoot, leading to changes in the calculation logic of BlockHash. It is necessary to modify the logic in the updater circuit related to BlockHash verification to include the newly added fields in the BlockHash calculation. Subsequently, the updater circuit needs to undergo a trusted setup again, followed by upgrading the updater contract using the latest generated Verifier contract for proof verification.
MPT Transaction Verification Changes:
This upgrade introduces a new transaction type, BlobTxType, affecting the calculation of transaction receiptsRoot. It is essential to use the latest BSC version to generate MPT Proof for accurate results. This change has no impact on the zkBridge contract.