组成部分StarkNet 有五个组成部分。分别是在 StarkNet 上的 Prover（证明者），Sequencer（排序器）和全节点；以及部署在以太坊上的验证者（Verifier）和核心状态合约（StarkNet Core）。接下来我将逐步解释他们的功能，需要提醒的是下文出现的交易和事务都由 transaction 翻译而来，根据语境进行变换。排序器是一个链下服务器，接收所有的事务、订单，确认（validate）并捆绑（bundle）他们到区块。目前只有一个由 StarkWare 控制的排序器。但在未来有去中心的区块创建计划。为了让排序器确认交易，它必须使用 Cairo 操作系统来执行交易，这是 EVM 的替代品，用于用 Cairo 编写的智能合约。证明者证明者负责生成一个加密证明，以证明排序器在通过执行新区块中包含的交易得出新的全局状态时进行计算的完整性。为了让验证器生成有效性证明，它需要得到由排序器执行计算的 "执行轨迹"，由 Cairo 语言 生成 。 目前系统中只有一个证明者，它不仅为 StarkNet 生成证明，也为所有其他运行在自己的 StarkEx Rollup...