StarkNet System Architecture 系统架构

Starknet架构

原文链接： https://david-barreto.com/starknets-architecture-review/#more-4602

StarkNet 有五个组成部分。分别是在 StarkNet 上的 Prover（证明者），Sequencer（排序器）和全节点；以及部署在以太坊上的验证者（Verifier）和核心状态合约（StarkNet Core）。

排序器，证明器和节点、验证者、Starnet Core

排序器 Sequencer

排序器是一个链下服务器，接收所有的事务、订单，排序器确认（validate）并捆绑（bundle）他们到区块。

目前只有一个由 StarkWare 控制的排序器。但在未来有去中心的区块创建计划。为了让排序器确认交易，它必须使用 Cairo 操作系统来执行交易，这是 EVM 的替代品，用于用 Cairo 编写的智能合约。

证明器 Prover

1. 接收区块:
   证明器从序列器那里获取已处理的交易区块。

2. 处理:
   证明器对这些区块进行二次处理，确保