本文将简要解说StarkNet中的重要组件，不涉及编码部分或过多技术细节，但希望读者对ZK-Rollup（Validity-Rollup）有基本了解。
因为StarkNet的系统规划中包含与零常识证明和Merkle Tree相关的数据结构，因此读者需求对零常识证明和Merkle Tree有初步了解，这将有助于阅读本文内容。未来我们也将继续深入讨论各个系统组件。
作者：ChiHaoLu(chihaolu.eth) @ imToken Labs
StarkNet OS（操作系统）是由Cairo开发的StarkNet原生言语编写的。类似于Solidity，它用于编写智能合约，并且是一种零常识证明言语，用于构建StarkNet核心操作系统和各种功能。
StarkNet OS包含了StarkNet链上的一切逻辑，例如账户状况界说、买卖原理、合约履行，乃至包含位运算、哈希运算和本地签名算法等。操作系统需求在接纳买卖和合约输入后生成输出，并将该输出更新到StarkNet L2状况中。
为什么要运用零常识证明言语来编写StarkNet OS，而不是其他常见的编程言语呢？我们知道，扩容的一种方法是将复杂的核算放在Off-Chain，只需在On-Chain进行验证。StarkNet会将由Cairo编写的ZK-STARK程序的履行成果经过STARK-proof system进行证明，并在以太坊上进行验证。
我以为StarkNet的系统架构有三个要点：Sequencer、Prover&Verifier和L1 Core Contract。此外还有原生AA规划的User Account、Full Node、Fact Register等组件，但本文主要介绍前三个要点。
StarkNet的系统概述：
StarkNet不需求矿工人物，但仍然需求一个人物来"验证买卖"、"决议买卖次序"和"构建区块"，这个人物便是Sequencer。
Sequencer是一个Off-Chain服务器，其作业流程的第一步是接纳用户提交的买卖（来自不同用户的多个买卖），然后Sequencer决议买卖次序并构建L2区块。
Sequencer需求确认买卖是由账户一切者授权的（因为StarkNet运用了原生AA账户系统，所以这儿的确认可能不仅仅是验证签名的正确性，可能还涉及多签或其他验证逻辑）。经过StarkNet OS履行一次买卖，接纳输入并履行合约逻辑，生成输出。
Sequencer履行买卖后会生成一个trace，并将这些履行进程的"进程见证"提供给Prover生成证明，告诉其他人："我履行过这段代码"。
在接下来的Prover和Verifier验证成功后，Sequencer会更新L1 StarkNet Core Contract中的状况。
Prover也是一个Off-Chain服务器，其主要功能是接纳Sequencer生成的代码履行进程trace，并生成相应的STARK proofs，然后交给L1上的Verifier Contract进行验证。验证经过后，将成果注册为fact供未来的L1 StarkNet Core Contract查询运用。
图画来源：Starkience推文
Verifier Contract在L1上负责验证一切这些内容是否合法，包含承受输入和STARK Proof来进行决议计划。
弥补阐明：现在StarkNet只有一个Prover，它不仅为StarkNet生成证明，还为运行在StarkWare自己的StarkEx rollup上的一切其他应用程序（如Immutable X、dYdX、Sorare等）生成证明。这便是为什么这项服务被称为Shared Prover或SHARP的原因。
StarkNet L1 Core Contract存储了L2状况的证明。当我们的trace经过Prover生成证明并在L1 Verifier Contract验证后，会奉告L1 Core Contract这个"状况更新"。
此时快讯
【以太坊基金会早期顾问：以太坊2014年ICO期间隐瞒了ETH购买者的真实数量】金色财经报道，最近几天，加密货币市场参与者开始围绕 Ethereum Gate展开讨论。Ethereum Gate是指美国证券交易委员会（SEC）涉嫌优待以太坊基金会。随着 XRP 律师John Deaton透露他看到了与涉嫌不法行为有关的文件，人们猜测这些进展标志着一场旷日持久的揭露行动的开始。
9月17日，以太坊基金会的早期顾问Steven Nerayoff表示，基金会的人在2014年加密货币首次代币发行（ICO）期间隐瞒了ETH购买者的真实数量，因此围绕Ethereum Gate的讨论愈演愈烈。
早些时候，XRP 律师John Deaton透露，他看到了一些文件，这些文件可能揭露了 ICO 数字的真相。虽然该律师同意看到了这些记录，但他说由于受到律师客户特权的约束，他不能透露姓名，这显然是在暗示以太坊。这意味着 Nerayoff 与 Deaton 律师签订了委托协议。这基本上意味着，如果需要，Deaton将在法庭上代表这位前以太坊顾问。
