简单了解两层解决方案truebit，解决以太坊气体成本高的问题

以太坊连锁的困境

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

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

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

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

这种解决方案可以使前一链中无法实现的计算（如机器学习）有机会落地，成本也可以接受。对于离线计算，我们之前也介绍了ZK汇总和**汇总。您可以参考blue fox notes之前的文章“了解ZK汇总和**汇总：以太坊的一个重要扩展方向”。

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

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

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

Truebit引入了“可验证博弈”机制，对合同执行的正确性提出了挑战和验证。用户可以通过truebit界面发布和执行智能合约任务，并对任务求解者提交的结算结果进行公开审核。任何第三方都可以质疑结果。

任何以太坊节点都可以是仲裁者，可以决定争议。任务解决者和挑战者都需要抵押tru代币资产。获胜的一方将获得象征性奖励，计算不准确的一方将受到切割象征的惩罚。任务和挑战可以通过truebit操作系统解决。

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

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

truebit的代币是tru（注：几个代币符号是tru，不要混淆），其代币经济***于其可验证计算的目标。

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

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

为了保证实现的正确性，任务验证者也应该参与其中。为了激励验证者，任务给予者还需要给验证者一个tru代币奖励。验证器的解决方案必须与解析器的解决方案匹配。每个任务的验证者数量没有限制，验证者的费用将在这些验证者之间平均分摊。验证器还可以设置任务的过滤，例如**tru奖励。

根据truebit的介绍，智能合约可以看作是一个黑匣子。通过黑匣子的输入和输出，不需要考虑以太坊块的气体极限。用户可以通过truebit OS客户端执行所有网络交互，包括获取和存储tru代币。

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

（truebit网络的代币流，truebit）

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

任务解决者的象征性奖励

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

验证人验证费

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

**存储成本

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

tru的使用与价值捕获

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

Tru是用来支付任务的

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

Tru用于确定参与者的资格

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

TRU在冷起动中的应用

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

tru的价值捕获

Tru代币根据累计需求随时间而创建或销毁。用户用ETH购买tru，或用ETH换取tru。

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

此外，每个truebit任务都会销毁tru代币。您可以检查truebit操作系统中的task cost命令，以了解当前销毁率、当前代币价格和返回价格。

tru的需求来自truebit的计算任务市场。如果以太坊的链外计算市场越大，对tru的潜在需求就越大。计算任务的需求方（如部署合同的应用）需要购买tru来支付计算任务的费用；计算市场越大，任务的解算器和验证器越多，需要质押的tru代币越多，才能获得相应的服务资格；计算任务越多，tru将被破坏的越多，tru将从流通中移除。

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

当然，未来基于以太坊的链外计算市场的竞争无疑会非常激烈。Truebit需要在解决方案中证明其成熟性，在操作中也需要开发人员社区的广泛支持。

以太坊网络费

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

项目背景

**，在truebit的背景下，它的创始人是Jason Teutsch；伊瑟姆基金会的Christian reitwiessner也参与了白皮书的写作。Christian reitwiessner是ETHunm基金会坚实编程语言的技术执行总监。在资金方面，truebit项目由CoinBase和pochain ventures的前联合创始人弗雷德·埃尔萨姆（Fred ehrsam）投资。