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

OP Stack 的 L2 区块里固定住着一类特殊交易：由 L1 区块推导而来、不做签名验证、前缀为 0x7E 的充值交易。每个 L2 区块的第一笔必须是 L1 属性交易，用户充值则从 Portal 合约的事件里被推导进区块。本文按规范拆解这类交易的字段、与 withdrawals 的方向差异，以及查充值时该看哪些字段。