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

StarkNet System Architecture 系统架构-LMLPHP

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

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

06-23 01:14