un.Block 区块链周报 2021 #7：Truebit、流动性挖矿

❤️💀🤖️ 本期是爱死机元素的海报

May 22, 2021

👨‍🚀 Glaze & Jasmine：这一期将和大家分享 V 神提出的新想法，一起学习流动性挖矿的知识（内容和上期有较大关联，建议一起阅读）
🪖 由于 Memorial Day 以及工作上的繁忙，我们计划下期休刊一期。
如果你喜欢本期内容，不妨在阅读后给我们点个 ❤️ ，并在下方订阅 un.Block Weekly ⬇️

🚀 链圈热闻：Truebit & Optimistic Rollup

以太坊创始人提出了用 Truebit 实现 Optimistic Rollup 的设想。本期我们将简单为大家介绍 Vitalik 的这个设想，更多的细节建议大家阅读 Vitalik 的原帖

相信读到这儿的老读者多多少少都用过以太坊，明白以太坊目前最大的问题：拥堵。

为此 ETH 2.0 将采用 Sharding，为围绕以太坊设计的 Layer 2 提供更好的支持。ETH 2.0 采用的 Sharding 和数据库 Sharding 差不多。

2️⃣ Layer 2

Layer 2 指的是交易在链下进行运算，之后将一大笔交易统一打包放到以太坊（Layer1）上。这样既增加了吞吐量，安全性也由以太坊进行保证。

Layer 2 两个主要的技术方向分别是 ZK Rollup（零知识证明）和 Optimistic Rollup。简单来说他们的区别就是 ZK Rollup 运用数学和密码学来保交易的安全性，Optimistic Rollup 使用博弈论来保证交易的安全性。在实际应用上，目前 Optimistic Rollup 兼容 EVM，使项目的迁移成本较低。ZK Rollup 对于 EVM 的兼容性还在开发之中。

💻 Truebit

⚠️ 本文表达的观点均为作者的观点，仅用于一般信息，无意为任何个人提供具体的投资建议。

Truebit 旨在提供安全的计算结果。简单来说就是用户可以在 Trubit 上发布计算任务，计算者（Solver）和挑战者（Challenger）协同确保 Truebit 给出准确的计算结果。

与 Optimistic Rollup 的理念相同，Truebit 也更多的是依靠博弈论来确保计算的准确性。

计算者参与计算需要质押资产，通过提高作恶门槛来提高可靠性。这个模型中最大的问题是验证者困境（Verifier’s Dilemma），挑战者没有动力去验证计算者的结果。除开被贿赂的情况，挑战者有可能懒地做验算。因为计算者作弊，给出错误答案的情况可能是随机的，挑战者有可能一直无法抓到计算者的作弊，无法获得奖励。挑战者缺乏经济上的动力去进行验算。

为此， Vitalik 为 Truebit 提出了大奖机制（Jackpot）- 故意暴露错误，从而让挑战者有经济动力去做验算。目前尚不清楚这个机制在实际应用中的效果。

⛙ Truebit & Optimistic Rollup

在前几周的一篇帖子中，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 的设计中，这种情况会赋予矿工篡改计算结果的能力。