简单了解二层方案truebit，解决以太坊gas成本高的问题

以太坊链的困境

以太坊最初的目标是“世界计算机”，而区块链的核心是安全和去中心化。 当用户运行智能合约时，所有节点都参与其中。 这些节点由 EVM 执行，EVM 会消耗计算资源并为每次计算收取“gas 费”。 这意味着复杂的合同可能代价高昂。 如果合约过于复杂，显然不适合部署在链上。

此外，众所周知，以太坊有气体限制。 通过气体限制，以太坊可以防止拒绝服务攻击并鼓励交易验证。 但是，它也有一个问题：以太坊链无法执行大量计算密集型任务。 gas 限制使得它不仅昂贵而且无法处理大型计算任务。 想想看。 有成千上万的计算机存储和执行相同的指令。

Truebit：链下+可验证+博弈机制

为了解决这个问题，Truebit 的基本思路是：由于无法在链上实现，且成本高，所以将这些计算量大的任务在链下完成，并将执行结果提交给链。 同时，通过博弈经济机制保证结果的可验证性。

这个方案可以让之前链上无法实现的计算（比如机器学习）有机会落地以太坊节点搭建成本，而且成本是可以接受的。 对于离线计算，我们之前也介绍过ZK rollup和optimal rollup。 可以参考蓝狐笔记之前的文章《理解ZK Rollup和Optimal Rollup：一个重要的以太坊扩容方向》。

但是，Truebit 的方法并不依赖于加密证明，而是依靠一种博弈机制来验证其正确实现，即结果的正确性不依赖于数学，而是依赖于验证者的多方博弈机制。

Truebit 在链下构建计算市场，让计算任务的继承者执行智能合约的计算任务。 它没有所有节点的冗余和低效率，可以节省计算成本。 同时，链上区块没有gas limit，只有执行结果最终上链。

此外，在以太坊智能合约的执行过程中存在潜在的验证者困境。 在以太坊区块链上，区块生产者获得奖励，但区块验证者没有。 这将鼓励节点花费更多的资源来挖掘下一个区块，而不是正确地验证提议的区块。 这不利于智能合约的正确执行，甚至可能不被纳入区块。

Truebit引入了“可验证博弈”机制以太坊节点搭建成本，挑战和验证合约执行的正确性。 用户可以通过truebit接口发布和执行智能合约任务，并公开审核任务解决者提交的结算结果。 任何第三方都可以质疑结果。

任何以太坊节点都可以是仲裁者，可以裁决争端。 任务解决者和挑战者都需要质押 tru 代币资产。 获胜的一方将获得象征性的奖励，计算不准确的一方将受到砍掉象征物的惩罚。 使用 truebit OS 可以解决任务和挑战。

为了激励挑战者继续参与挑战，防止错误执行，Truebit还设计了“强制错误”机制。 Truebit协议本身会提交错误的智能合约结果，鼓励挑战者发现这些“漏洞”，并给予挑战者获得系统奖励的机会，从而增强系统的弹性。

Truebit 的代币经济为其可验证计算服务

truebit的token是tru（注意：有几个token符号是tru，不要混淆），它的token economy服务于可验证计算的目标。

由于Truebit希望通过经济博弈机制实现计算结果的可验证性，因此代币经济机制在其运行中显得尤为重要。 在 truebit 通证经济中，主要包括任务提议者、求解者和验证者。 这些角色通过代币经济联系在一起，最终服务于 Truebit 的可验证计算解决方案。

Truebit 本质上建立了一个链下计算市场。 任务解决者的主要目的是通过完成计算任务来获得真正的代币奖励。 任务求解器在 truebit OS 中持续运行，并对网络上发布的每个任务进行投标，除非它们过滤任务。 每个任务都有一个解决者，任务提交者将从注册的任务解决者中随机选择一个。

为确保执行的正确性，任务验证者也应参与。 为了激励验证者，任务提供者还需要用一个 tru token 奖励验证者。 验证器的解决方案必须与解析器的解决方案相匹配。 每个任务的验证者数量没有限制，验证者费用将在这些验证者之间平均分摊。 验证者还可以为任务设置过滤器，例如最低 tru 奖励。

根据 Truebit 的介绍，智能合约可以看作是一个黑盒子。 有了黑盒子的输入输出，就不用考虑以太坊区块的gas limit了。 用户可以通过 truebit OS 客户端进行所有网络交互，包括获取和存储 tru 代币。

从流程来看，首先是任务提供者将计算任务发布到真比特网络，任务提供者包括：任务拥有者和任务提交者。 任务所有者提供要计算的函数f、虚拟机参数和智能合约地址。 任务提供者提供适用的输入x，支付tru token费用等，任务拥有者可以通过truebit操作系统提交任务。 在此示例中，任务所有者和参与者共享相同的地址。 此外，任务所有者可以部署与任务贡献者交互的智能合约。

（truebit网络代币流向，truebit）

任务提供者在发布任务时，还需要指定一些经济参数

任务解决者的代币奖励

如果任务解决者完成任务，他可以从任务贡献者那里获得 tru 代币作为奖励。

验证者验证费

验证费用也由任务提交者支付，他们将 tru 分配给执行任务的验证者。 验证者的成本越高，他们吸引的验证者就越多。

最低的存储成本

任务解决者和验证者需要保证一定数量的 TRU 代币来执行任务。

tru的使用和价值捕获

TRU-token 的经济机制服务于其可验证的计算市场。 Tru代币用于衡量计算任务的价值，也是支付的媒介。

Tru 用于支付任务

任务解决者和验证者可以通过自己的计算工作获得相应的 tru token 奖励。 在truebit系统中，tru代币是整个系统运行的关键。

Tru 用于确定参与者资格

任务解决者和验证者都需要保证一定数量的 TRU 来防止作恶。

TRU在冷启动中的应用

为了实现冷启动，Truebit 将为每个任务参与者提供额外补贴，包括任务所有者、解决者和验证者。 您可以在 truebit OS 中运行 bonus 命令来查看当前授权。

tru 的价值捕获

Tru 代币是根据累积需求随着时间的推移而创建或销毁的。 用户用 ETH 购买 tru，或者用 ETH 换取 tru。

用户将 ETH 存入储备托管合约以购买 tru。 如果用户进行退货交易，则可以从托管合约中提取相应的ETH。

此外，每个 truebit 任务都会燃烧 tru 代币。 您可以在 truebit OS 中查看任务成本命令，了解当前的销毁率、当前代币价格和返还价格。

tru的需求来自于truebit的计算任务市场。 如果以太坊的链下计算市场越大，对 tru 的潜在需求就越大。 计算任务的需求方（如部署合约的应用）需要购买tru为计算任务付费； 计算市场越大，任务的求解者和验证者就越多，需要质押更多的 tru 代币才能获得相应的服务资格； 计算任务越多，销毁的 tru 就越多，tru 将退出流通。

随着Web3的出现，更多的应用可能会结合以太坊的layer1和链下计算，实现以前不可能实现的DAPP用例，比如去中心化的视频应用、去中心化的社交应用、去中心化的机器学习市场等，如果truebit能够在Web3.0时代占据一部分链下计算市场，将有机会支撑tru的价值。

当然，未来基于以太坊的链下计算市场竞争无疑会非常激烈。 Truebit需要在解决方案上证明自己的成熟，在运营上也需要开发者社区的广泛支持。

以太坊网络费用

由于与以太坊区块链交互需要gas费用，因此truebit（公司）会对每个任务求解器和提交的任务收取相应的ETH网络费用。 验证者不必为以太坊网络付费。 此外，任务解决者地址必须购买一次性许可费（支付给公司）才能加入 truebit 网络。

项目背景

最后，在 truebit 的背景下，它的创始人是 Jason Teutsch； Eatham 基金会的 Christian Reitwiessner 也为白皮书做出了贡献。 Christian Reitwiessner 是 ETHunm 基金会 Solid Programming Languages 的技术执行总监。 在资金方面，truebit项目由CoinBase和polychain ventures的前联合创始人Fred Ehrsam投资。