StarkNet的去中心化提案：L2去中心化的一个最优解

StarkNet社区在今天提交的那份“简单去中心化协议”提案，堪称目前L2去中心化的一个最优解决方案，这是在StarkNet前不久刚开源Prover代码，支持社区无许可运营Prover之后，又祭出的一个去中心化大招。这样一来，无论是Prover开放，还是L2共识机制设计，StarkNet都领先于Optimism、Arbitrum、ZkSync。

StarkNet不愧被称为最具正统性的以太坊的L2之一。

StarkNet“简单去中心化协议”的核心宗旨，是改变L2们现在由官方团队单点运营序列器的现状。在某种程度上，单点运营的序列器，已经变质成了某些L2 MEV用户的矿机。为解决这个问题，“简单去中心化协议”给出如下方案：

- L1 Staking和Leader竞选：社区成员可以无许可地在以太坊主网Staking（不确定是ETH还是STRK），以加入Staker集合。根据Staker集合资产分布和L1链上随机数，随机抽取一组Staker作为Leader负责一个Epoch内的出块。

- L2共识机制：StarkNet L2的共识机制，是一种基于Tendermint的、由Leader作为节点参与的拜占庭证明共识机制。共识确认之后，由Voter（参与P2P、验证和投票）执行，由Proposer（构建区块）调用Prover生成ZKP。

- ZK证明进程：链式证明结构，每一个块的Proposer必须提交前一个块的ZKP，且附加之前所有块的ZKP。

- L1状态更新：在满足Verifier验证ZKP和L2共识确认这个两个条件后，Updater负责发起并更新L1状态。

这样一份解决方案，不仅优雅地平衡了区块链不可能三角中的去中心化、安全性和可扩展性，并且兼顾到了StarkNet的L2正统性和ZK隐私性。

美中不足的是，这个版本的去中心化方案不涉及任何激励机制的内容。万众瞩目StarkNet的代币经济学，可能要等到代币正式listing前才发布了。