作者:NingNing,独立加密分析师 来源:X(原推特)@0xNing0x
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前才发布了。