在将智能合约带进到这个世界上之后,这个世界也必须被带进到智能合约中。应验机将不会把智能合约带进到新的发展阶段 — Original Photo by Donald Giannatti分布式账本和智能合约将通过更进一步避免人类生活中的嫌隙而带给前所未有的创意,但在这些智能合约可以需要信任地拒绝接受链外输出之前,创意将不会受到限制。去中心化应验机是智能合约与外界对话的门户,同时防止对单一事实来源的倚赖,这将带给另一波激动人心的创意。本文将对一下内容做到详尽讲解:为什么应验机服务是去中心化技术栈中的核心服务,对无信任服务的市场需求,应验机会遇上的各种挑战和攻击方式,8个致力于这方面研究的工程讲解。
I. 为什么我们必须应验机公共区块链项目(例如Ethereum, Dfinity)上的智能合约在对付环境中继续执行,其中仅有通过传播确定性事务(才可由所有节点检验的事务)来确保安全性。智能合约被设计为接管输出→继续执行业务逻辑→改版区块链适当的状态,这个过程是不可逆的;区块链世界中没Ctrl+Z。容许智能合约拒绝接受来自区块链外部的输出是一把双刃剑;通过容许与外部世界展开交互,不会很大地减少应用于案例数量,同时也不会引进信任问题。
公链上的矿工无法确定性地检验所有外部输出,因此将继续执行与智能合约的预计义标准相匹配的任何内容。让我们来看一个非常简单的例子:假设有这样一个智能合约,Alice和Bob开玩笑,猜中伦敦时间2019.1.3下午两点的比特币价格。
Alice和Bob都向智能合约抵押了1ETH;如果预计比特币价格低于4,200美元,Alice将不会获得2ETH,否则,Bob将不会获得2ETH。智能合约对于比特币的价格没概念,所以我们必需寻找一个方法来向合约报告准确的价格,尤其是一旦这个赌约的结果确认了,就无法变更了。
为了超过这个目的,我们必须应验机。应验机是一个声明真实世界状态的实体。比如,一个应验机可以报告2019.1.3日Coinbase上BTC/USD价格,或者2019年欧洲冠军联赛的获胜者。
这些信息将通过一个或多个应验机哪里来提供或单体,这些应验机从一个或多个可靠的数据源提供明确数据。在深入探讨无信任的应验机的各种技术挑战之前,我们想要明确提出我们意识到的5个基于应验机的智能合约关键应用于案例。金融产品智能合约非常适合许多金融产品:利率掉期交易,期权现金结算,去中心化杠杆交易。
所有这些都必须无信任的数据来源,以保证准确的链上继续执行结果。现在早已可以利用的金融产品应验机的项目示例:CDx,dYdX,MakerDAO,Vega Protocol,0x protocol。保险智能合约凭借无信任和可信的事实来源,一些保险产品可以通过智能合约以编程方式出售和承销。保险公司仅次于的损失是骗保,所以,应验机在此时也是十分关键的。
智能保险的几个例子还包括:· 通过Etherisc和Fizzy在航班延后时自动缴纳。· 希望本地的应验机在本地检验声明,并在与Nexus Mutual一起公布赔偿之前向区块链报告。
· 人工智能与地理数据结合,用作FlyingCarpet的创意和程序化保险。运输GPS并不总是合适必须可信方位来自动已完成缴付的dApp,因为它可以通过假造导致中心化的单点故障。以FOAM为事例,它可以减少中心化的位置服务信任标准,并依赖去中心化的网络来确保声称的方位,此处必须地理应验机来当作该角色。
抵押借款和平稳币必须取得关于抵押品价值的可信数据,以要求何时整肃资产,或在它离开了预期价值太远何时新的确认平稳币的价值。例如,Maker DAO公司的DAI是一种基于以太币的平稳币(迅速不会基于多资产),他享有多个应验机来报告以太币价格,以便能告诉适合贷款抵押严重不足,必须因此展开整肃以维护系统。
这些应验机由Maker代币持有者自由选择和获得补偿。这也可以应用于到与Ethlend或Dharma等无信任的p2p借贷平台。预测市场:利用人们的有数科学知识,去中心化预测市场(Augur, Gnosis)不会将人类的协作推上前所未有的高度。
这些市场必须依赖一个或多个应验机来展开链下事件承销。II. 保证应验机真诚可靠区块链被设计为与外部世界和可靠第三方分离出来。但是,大部分的事件依然再次发生在区块链外部,所以我们必须(在区块链和外部世界之间)创建一个桥梁,但又无法在抗审查方面有所让步。
事实上,dApp的可靠程度各不相同它最脆弱的环节,所以单一的信息来源是过于可信的。用于多个事实来源不会更加安全性,但同时也不会带给更高的成本。目前没一个标准化的解决方案,我们可以希望应用程序使用基于自身风险辨别的方法来确认必须较少从多少个来源处为应用程序获取信息。比如,如果智能手机应用于可以忽视较粗的精度的话,伦敦的气温可以通过一个单一的应验机(比如API)来发送获得,但是如果温度报告是用来承销一笔1千万美元的保险合同的话,我们用于多个(很多!)应验机:卫星数据、本地传感器数据等等。
因此,应验机可能会获取一系列解决方案,根据所牵涉到的在成本和去中心化之间权衡各不相同所牵涉到的价值。瑞士奶酪模型第三方机构很难确保总有一天有一点信任。为了在中心化的世界中解决问题这个问题,我们用于多层级的维护:合约、责任公司、保险、法律……只要其中一个层级按照预期的起起到,正确性就可以获得确保。
然而,如果所有层级都经常出现了问题,反击就不会顺利(瑞士奶酪模型)。
本文来源:太阳城官网-www.ladiesjg.com
Copyright © 2004-2024 www.ladiesjg.com. 太阳城官网科技 版权所有 备案号:ICP备45499513号-1