以太坊链上的困境

alanyao (74)in Amaze Creater Union • 3 years ago

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

此外，众所周知，以太坊有Gas Limits。有了Gas Limits，好处是以太坊可以防止拒绝服务攻击、鼓励交易验证等。不过，它也存在问题：以太坊链上无法执行密集型的大量计算任务。Gas Limits让处理大计算量任务不仅成本高且无法实现。想想看，有成千上万的计算机来存储和运行相同的指令。

为解决这个问题，TrueBit的基本思路是：既然链上无法实现，且很昂贵，那么，就将这些大计算量的任务放到链下来完成，而将执行结果提交到链上，同时通过基于博弈的经济机制来确保其结果的可验证性。

这种解决方案可以让之前链上无法实现的计算（如机器学习等）有机会落地，同时成本上也可以接受。

不过TrueBit的方法不是依靠加密证明，而是依靠博弈机制来验证其是否为正确执行,也就是其结果的正确与否不是依靠数学，而是依靠验证者的多方博弈机制。

TrueBit通过构建链下的计算市场，让计算任务接单人来执行智能合约的计算任务。它没有所有节点执行的冗余和效率低下，可以节省计算费用。同时，也没有链上区块的Gas Limits，最终上链的只是执行结果。

此外，以太坊智能合约执行还存在可能的验证者困境。在以太坊区块链上，区块生产者会获得奖励，而区块验证者没有。这会激励节点花费更多资源去挖下一个区块，而不是正确地验证提议的区块。这不利于智能合约被正确执行，甚至有可能不被区块包括进来。

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

任何以太坊节点都可以是仲裁者，可以裁决争议。任务的解决者和挑战者都需要质押TRU代币（TrueBit的代币）资产。任何一方获胜都可以获得代币奖励，而计算缺乏准确性的一方则要会被处以代币消减的惩罚。进行任务解决和挑战都可以通过TrueBit OS来完成。

为了激励挑战者持续参与挑战，防止不正确的执行，TrueBit还设计了一个“强制错误”机制。TrueBit协议本身会提交不正确的智能合约结果，鼓励挑战者发现这些“错误”，让挑战者有机会获得系统给予的奖励，从而提升系统的韧性。

本帖steem首发