比特币暗示无信任计算是可能的;以太坊作为世界计算机,是去信任计算的交付。世界计算机很慢。这种缓慢表现在两个方面:缓慢的执行和高gas成本。这将我们带到了定义以太坊扩展的框架:尽可能多地在链下执行,同时最终仍然选择以太坊。如果交易是在以太坊上结算的,那么它就获得了以太坊的所有属性。状态通道是将执行转移到链下的第一次尝试。渠道是两方或多方之间的一次性关系。双方将资金锁定在链上,允许他们免费交换借据。从以太坊的角度来看,状态通道是2个事务(每个参与者):打开和关闭状态通道。这些交易代表了链下发生的更多计算,但最终结算到主网。状态通道提供可扩展性,但在应用中受到限制。Plasma(链)就是为了解决(部分)这些问题而开发的。Plasma是一个独立的区块链,比以太坊性能更高(也更中心化)。但是,它们通过将数据发回主网来锚定到世界计算机。Plasma对状态通道提供了巨大的改进:-资产可以发送给没有选择加入的用户-支持持久状态(即使用户退出系统也存在)-数据定期发布在链上但是,Plasma只是一半的解决方案。完整的解决方案是汇总。Plasma只发布状态哈希根(用于验证交易是否发生),rollup发布完全重建链所需的一切。第一种rollup是OptimisticRollup。OptimisticRollup假设所有发布到主网的交易都是有效的,因此它会在链上记录交易。但是,为了以防万一,他们还打开了一个挑战窗口。OptimisticRollup创建了自己的区块链,任何人都可以在其中观察到欺诈行为。一旦发现,他们可以出具欺诈证明,证明交易批次无效,应该撤销。结果:在挑战期(最多7天)结束之前,不会完成任何交易。这将我们带到了区块链扩展和以太坊未来的真正解决方案:ZK-Rollup。与OptimisticRollups一样,ZK-Rollups将所有数据发布到主网,但它们也提供零知识证明。零知识证明代表了链上发布的任何信息都是有效的并且实际发生在ZK-Rollup中的数学确定性。如果该证明得到验证,那么交易在汇总和以太坊上都是最终的。ZK-Rollups仍然处于区块链技术的前沿;在我看来,目前还没有一个通用/EVM兼容的ZK-Rollup可以投入生产……但我们离那不远,如果你仔细观察,你会发现一两个测试网。时间回到2021年11月,StarkWare的两位联合创始人UriKolodny和EliBenSasson参加了Bankless播客的一集。Uri提到StarkWare的速度和成本已经足以支持物理模拟。我们正在建造一台真正的超级计算机!当你今天看以太坊时,可能很难看到世界计算机。即使你能理解这个比喻,也很难想象每秒12笔交易将如何支撑整个世界。但我看到的不是今天,而是零知识的未来。
