作为一个上一轮牛市期间就启动的老牌 Layer2 项目，Truebit 终于在四月底低调上线。随着其代币价格的持续攀升，同时围绕着其特殊的定价机制、TruebitOS 套利机会等讨论，Truebit 的社区热度也持续升温。本文试图通过对 Truebit 网络的协议机制、应用场景、经济模型等进行梳理，帮助用户获取项目的全景概览。

此外，我们也会和读者一起对 V 神最新提出的 Optimistic Rollup EVM 方案一探究竟。

最后，如果你想实践参与到 Truebit 网络中，别错过文末的贴心指路。

问题背景

目前以太坊有如下问题 :

1. 整体吞吐量低。消耗了大量的算力，但是吞吐量只相当于一台智能手机。
2. 验证积极性低。这个问题被称为 Verifier's Dilemma。获得打包权的节点得到奖励，其他节点都需要验证，但是得不到奖励，验证积极性低。久而久之，可能导致计算得不到验证，给链上数据安全性带来风险。
3. 计算量受限 (gasLimit)，计算成本较高。

上面的问题，是由于以太坊全部（全）节点都执行验证这一设计导致的。冗余计算量太高。TrueBit 把计算任务的“全部节点冗余验证”设计降低到只在少数几个链下节点上做冗余验证。

协议框架

TrueBit 协议包含一个智能合约，用户可以提交一个计算任务给这个智能合约，并且为这个任务一个愿意付出的价格，这些用户被称为 Task Giver；

Solver 是想完成任务，获取奖励的参与者；Solver 交了一些保证金到合约，这样他就有可能被分配到任务； 并且通过完成这个计算任务来得到回报。

那么怎么判断 Solver 给出的结果是否是正确的呢？存在 Challenger 这个角色来确认 Solver 给出 的结果是否正确，如果发现不正确，那么会通过发起挑战来赢取奖励。合约发现有挑战发生时，会组织一次验证游戏来确认 solver 和 Challenger 谁是正确的。

验证游戏

从上一小节协议框架的介绍里可以看出，当出现分歧时，需要进行验证游戏来判断 solver 和 Challenger 谁是正确的。这个验证游戏是由智能合约来组织。如果智能合约为此需要付出大量的计算，那么链上运行成本会很高，而且有可能会超过 gasLimit。我们的目标是让链上的计算尽可能的少。

目前实现这个目的的方式是： 让 Solver 和 Challenger 找出双方计算过程中的第一分歧点，从上一个相同点到第一分歧点之间的计算量是很少的，合约内只要执行这一点计算，就可以判断出来谁是正确的。具体协议简述如下 (责任编辑：admin)