SNOS 不是节点内核，而是一段以初始状态和交易为输入、输出新状态承诺的 Cairo 程序；没有它对区块执行的走一遍，证明者就交不出以太坊认可的证明。本文按官方文档拆解 SNOS 的四段执行、非确定性调用与系统调用机制、对排序器的语义约束，以及两种实现的核验口径。

同一笔 Starknet 交易在回执里挂着执行状态与终局状态两条线，RECEIVED、CANDIDATE、PRE_CONFIRMED、ACCEPTED_ON_L2、ACCEPTED_ON_L1 的可信级别并不相同。本文按官方交易文档拆解六级状态各自成立的条件、内存池替换规则，以及被反转的交易为什么照样烧钱。

Starknet 把账户抽象写进协议：每个账户都是合约，靠 __validate__、__execute__ 等规定函数获得资格。本文按官方文档梳理必选函数清单、地址派生方式与首次部署路径，并逐项说明自定义验证逻辑新增的责任边界。

本文介绍 Starknet 的架构特点：基于 STARK 的无需可信初始化、Cairo 语言与约束系统、EVM 兼容层（SNIP-11）的现状，以及使用 STARK 路线链时的特有注意事项。