本篇文章911字，读完约2分钟
以太网(Etherium)是一种平台和编程语言，开发人员可以用它来构建和发布下一代分布式应用程序。它可以用来编程、分配、担保和交易任何东西，如投票、金融产品、合同和大多数协议、知识产权等等。
在今天于上海召开的第二届以太网开发者大会上，以太网智能契约语言坚实度的发明者克里斯蒂安·雷威思纳博士介绍了链外生态项目研究的最新成果:你能骗过区块链吗？
Christian reitwiessner说，Ethereum的核心思想是一个内置图灵可计算编程语言的区块链，它允许在其上创建任何类型的应用程序。但事实是，目前以太网的气体设计对于小交易来说太贵了，大约12秒的确认时间仍然太长。“所以在链条下做吧。”
例如，Truebit就是今年年初以太网面临一系列瓶颈时推广的链外生态合作模式。“目前，每个矿工都需要执行和验证Ethereum智能合同的交易，每个矿工都需要记录每个智能合同在区块链的状态，这浪费了网络和计算资源，限制了智能合同的潜在应用，并且易于使用。”据Etherium爱好者称，truebit可以使Etherium智能契约调用外部程序在不信任的情况下执行(目前是异步的)。
Christian reitwiessner解释说，turebit解决方案是一个验证游戏，通过与第三方研究人员loiluu和jasonteutsch的合作，他研究了“如何用合理的网络验证计算”。“canetti、riva和rothblum在2011年提出了交互式认证机制。我们希望将这一机制应用于区块链，以实现同等程度的信任，从而降低成本。”
Truebit是这样工作的:首先，发布者发布任务，挖掘者解决它。核查的过程是看两个矿工是否就解决方案达成共识。你可以选择服从或尝试面对，但后者非常昂贵，而胜利者是顺从者。
Merkle树是以太网详细验证的基本组件，整个验证过程从叶节点开始，直接回到根节点。如果作弊者想要挑战验证结果，在试图篡改它之前，无疑有必要执行整个梅克尔树操作。如果顺从的人想找出异议链接，只需要不到20轮的计算。
christian reitwiessner博士说，该项目已经有概念验证代码，着陆时间和风险需要进一步评估。
