【网址】https://truebit.io/

【白皮书】https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf

【简介】TrueBit是一个可扩展和可验证的链外计算解决方案,也是一种区块链增强功能,使智能合约能够安全地以低gas成本的标准编程语言执行复杂的计算。它引入了一个解决者和验证者系统,它们被激励各自执行计算和验证这些计算。如果一个计算结果受到挑战,链上就会相应执行对该计算子集的迭代验证进程——这是一种类型的“验证游戏”。验证游戏会进行几轮,每一轮都会递归地查验相关计算的更小子集。挑战充分细分之后,游戏的终局便到来,法官(以太坊矿工)便可在链上最终裁定相关挑战是否合理。实际上,TrueBit是计算市场的一种实现,去中心化应用因此可以为可验证计算支付;计算虽然是在链外执行的,但依靠以太坊来强制执行验证者游戏的规则。理论上来说,这让免信任型智能合约安全地执行任意计算任务。

像TrueBit这样的系统有很多应用,从机器学习到任意工作量证明的验证。后者的其中一个例子是Doge-Ethereum桥接,它利用TrueBit来验证狗狗币(Dogecoin)的工作量证明算法Scrypt,这是一种强内存需求且计算密集的函数,它不可能在以太坊区块gas上限内计算完成。通过在TrueBit执行这种验证,在以太坊Rinkeby测试网络上用智能合约安全地验证狗狗币交易便成为可能。


image.png