区块链国际周 | Ethereum Christian 博士：区块链会被愚弄吗？

以太坊（Ethereum）是一个平台和编程语言，开发者可以用来构建和发布下一代分布式应用程序，可以用来编程、去中心化、担保和交易任何东西，例如投票、金融产品、合约和大多数协议、知识产权等。

今天在上海开幕的DEVCON 2以太坊开发者大会上，以太坊智能合约语言Solidity的发明者Christian Reitwiessner博士介绍了链下生态项目的最新研究成果：区块链可以被欺骗吗？

Christian Reitwiessner表示，以太坊的核心思想是：一个内置图灵机可计算编程语言的区块链，允许在其上创建任何类型的应用程序。 但事实是以太坊目前的GAS设计对于小额交易来说成本太高，12s左右的确认时间还是太长了。 “所以在链下进行。”

比如Truebit，就是以太坊在年初面临一系列瓶颈时，推出的一种链下生态合作模式。 “目前，以太坊智能合约的交易需要每个矿工执行和验证，每个矿工需要在区块链上记录每个智能合约的状态，这浪费了网络和计算资源，限制了智能合约的潜力。在同时，使用方便，”据以太坊爱好者介绍以太坊大佬微信，Truebit可以让以太坊智能合约以去信任的方式（目前还是异步的方式）调用外部程序的执行。

Christian Reitwiessner 解释说，Truebit 解决方案是一个验证游戏，通过与第三方研究人员 LoiLuu 和 JasonTeutsch 合作研究“如何用合理的网络验证计算”。 “Canetti、Riva、Rothblum在2011年提出了一种交互式的验证机制，我们希望在把这种机制放到区块链上的时候能够达到同样的信任度，从而降低成本。”

Truebit 的工作方式是这样的：首先以太坊大佬微信，发布者发布任务，矿工解决任务。 验证过程是看两个矿工是否就解决方案达成共识。 你可以选择服从或尝试抗争，但后者代价高昂，最终还是服从者获胜。

因为在以太坊的详细验证中，默克尔树（Merkle trees）是最基本的组成部分，整个验证过程都是从叶子节点发起，直接追溯到根节点。 如果骗子想要挑战验证结果，无疑必须先对整棵Merkle树进行计算，然后再进行篡改。 而服从者想要找出异议链接，只需要不到二十轮的计算。

Christian Reitwiessner博士表示，该项目已经有了PoC代码，需要进一步评估实施时间和风险。