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
![btcfans公众号](/assets/image/ic_qrcode_accround_endpage.png)
Scan QR code with WeChat