文章目录
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
-
接收区块:
证明器从序列器那里获取已处理的交易区块。 -
处理:
证明器对这些区块进行二次处理,确保