Starknet 的 L1 与 L2 消息机制既异步又不对称：L1 发往 L2 的消息由排序器自动触发 l1_handler 交易执行，L2 发往 L1 的消息只在核心合约登记哈希，需要接收方手动调用消费函数。本文按官方协议文档拆解两个方向的消息结构、手续费结算、防重放哈希与五天取消窗口，并给出充值迟迟不落地时的排查顺序。

zkSync 的提现到账比 ZK 证明定稿更晚，原因是官方在区块执行前加了一道时间锁：每个提交到 L1 的批次在被执行定稿前都有一段锁定窗口，用于在严重漏洞被利用时留出检测与冻结时间。本文拆解这道时间锁的由来、从 21 小时降到最低 3 小时的治理过程、提现作为内部交易在 Etherscan 上的正确查法，以及到账慢的三种常见误判。