以太坊创始人提出了用 Truebit 实现 Optimistic Rollup 的设想。本期我们将简单为大家介绍 Vitalik 的这个设想,更多的细节建议大家阅读 Vitalik 的原帖
相信读到这儿的老读者多多少少都用过以太坊,明白以太坊目前最大的问题:拥堵。
为此 ETH 2.0 将采用 Sharding,为围绕以太坊设计的 Layer 2 提供更好的支持。ETH 2.0 采用的 Sharding 和数据库 Sharding 差不多。
Layer 2 指的是交易在链下进行运算,之后将一大笔交易统一打包放到以太坊(Layer1)上。这样既增加了吞吐量,安全性也由以太坊进行保证。
Layer 2 两个主要的技术方向分别是 *ZK Rollup(零知识证明)*和 Optimistic Rollup。简单来说他们的区别就是 ZK Rollup 运用数学和密码学来保交易的安全性,Optimistic Rollup 使用博弈论来保证交易的安全性。在实际应用上,目前 Optimistic Rollup 兼容 EVM,使项目的迁移成本较低。ZK Rollup 对于 EVM 的兼容性还在开发之中。
⚠️ 本文表达的观点均为作者的观点,仅用于一般信息,无意为任何个人提供具体的投资建议。
Truebit 旨在提供安全的计算结果。简单来说就是用户可以在 Trubit 上发布计算任务,计算者(Solver)和挑战者(Challenger)协同确保 Truebit 给出准确的计算结果。
与 Optimistic Rollup 的理念相同,Truebit 也更多的是依靠博弈论来确保计算的准确性。
计算者参与计算需要质押资产,通过提高作恶门槛来提高可靠性。这个模型中最大的问题是验证者困境(Verifier’s Dilemma),挑战者没有动力去验证计算者的结果。除开被贿赂的情况,挑战者有可能懒地做验算。因为计算者作弊,给出错误答案的情况可能是随机的,挑战者有可能一直无法抓到计算者的作弊,无法获得奖励。挑战者缺乏经济上的动力去进行验算。
为此, Vitalik 为 Truebit 提出了大奖机制(Jackpot)- 故意暴露错误,从而让挑战者有经济动力去做验算。目前尚不清楚这个机制在实际应用中的效果。
在前几周的一篇帖子中,Vitalik 提出围绕 Truebit 构建 EVM 兼容的 Optimistic Rollup 的设想。
他将 Truebit 作为一个黑盒子来执行和验证代码。除了拥有基本可靠的代码执行功能,Truebit 支持 WASM。主流语言 Go,Java,Rust 都支持被编译成 WASM。至于 EVM 需要的区块链状态,我们可以将其当作参数进行传递。本质上 Truebit 将作为一个无状态的虚拟机。在帖子中,Vitalik 也提出了将 Truebit 构建为具有状态的 EVM 的设想。有兴趣的读者可以在相关阅读中自行阅读。
在评论中,大多数人都对这个设想抱有质疑,其实也是对基于博弈论的 Optimistic Rollup 有所质疑。在*上一期周报*中,我们讨论了 MEV。评论者也是因为 MEV,Flashbots,Frontrunning 等事情对矿工不再信任。他们认为矿工会为了自己的利益,做出损害生态的事情。以太坊的算力并不是平均分布的,最大的矿池拥有 27% 的算力。这意味着只要出的区块足够多,就有概率出现连续的几个区块都由一个矿工打包。在 Optimistic Rollup 的设计中,这种情况会赋予矿工篡改计算结果的能力。