DEVCON2: 以太坊Dr. Christian Reitwiessner论”尝试欺骗一个区块链”

对于如何通过互动型验证减小运算负荷，为扩展性以及给运算密集型工作提供合理的激励机制提供帮助，来自以太坊的Dr. Christian Reitwiessner对此阐述的主题是“尝试欺骗一个区块链”。

以太坊是图灵完备的计算机，可以做其他程序做的事情。它可以分析市场，检验状态转换，区块链对人工智能可以进行评估，分析代码，保护隐私的zina的混合。

但这不是真的，因为智能合约非常贵，需要大量Gas。因为很贵，因此要在链下做，智能合约的发布者要求执行某个程序，和工人合作，计算链下解决方法，决定哪个解决方法正确，通过采用投票最多的解决方法。但是这很容易被利用，但能不能更好呢？

提出Ture－bit解决方案，这是一个验证游戏，和LoiLuu和JasonTeutsch合作，是基于"如何用理性网络验证计算"。Canetti、Riva、Rothblum提出了互动型验证机制。想要把这个机制放在区块链上，我们希望能在同样的水平下实现，从而降低成本。

True－bit运作方式

发布者发布任务，工人进行解决。如果两个工人没有就解决方法达成共识，那么就诚实的玩家达成共识。整个流程之后，只需要做少量改变。所有的工人都要合谋才会失败，假设交易完成。详细的游戏检验，如果一个计算有100万步数，每个步数双方都要计算全部的莫克数。第一步和第一百步的收入是一样的，合约不一样。但是最后的意见不同，所以在右边的某个步数持不同的意见。在这种情况下，100万步数需要20轮才能找到不同的地方。我们通过莫克证明访问内存，成本极低。20轮都多了。但是这必须在链上做，因为双方的激励机制不一样。但是诚实的玩家始终会获胜。你可以尝试对抗，但是代价很高。

如果出现异议，可以做10轮zhi'dao找到骗子。

在实际情况中怎么应用，在C或C＋＋上任意实现。LLVM是一个非常简单的任务，如果有这个人物就可以上传源代码，工人对源代码编译进行执行。我们可以用Swarm作为文件的执行。

Dr. Christian Reitwiessner最后说，目前的状态是有了PoC代码，现在在寻求研究资助，目前已经成功获得万向区块链实验室的资助，对此，他表示非常感谢。

（备注：万向区块链实验室成立于2015年9月，是由中国万向控股有限公司出资成立的非营利性科研机构，致力于推动区块链技术在全球发展。万向区块 链实验室在全球范围内积累了广泛的资源， 万向控股已经成立了一个5000万美元的VC基金专门用于投资区块链相关企业或项目。截至目前，全球范围内共投了30家创业公司，同时，万向区块链实验室是上海区块链国际周主办方）

作者：Lydia