以太幣交易所 以太幣交易所
Ctrl+D 以太幣交易所
ads

智能合約的局限性有哪些?離真正的“智能”還有多遠?_區塊鏈

Author:

Time:1900/1/1 0:00:00

原標題:《智能合約的未來發展方向》

除了加密貨幣,智能合約可能是區塊鏈中被談論最多的概念。

許多文章都在大肆宣揚智能合約的好處,聲稱這項技術將顛覆從保險到供應鏈再到醫療保健的所有行業。

但是,智能合約真的像它們所呈現的那樣改變游戲規則嗎?

毫無疑問,智能合約會很有用,但重要的是要將現實與炒作區分開來。

為了了解智能合約的應用和局限性,我做了一些深入的研究。以下是我的發現:雖然智能合約技術有很多潛力,但就目前而言,它的成功實施受到技術和法律因素的限制。

理解智能合約

智能合約是基于區塊鏈的程序,一旦相關各方滿足了特定的標準,就會執行協議。智能合約使用條件編程來執行一組預定義的操作。

最接近的類比是流行的IfThisThenThat(IFTTT)軟件,一旦觸發器被激活,它就會自動執行操作。

在將智能合約部署到區塊鏈上之前,開發人員編寫指導智能合約運行的“邏輯”。因此,智能合約可以獨立工作,不需要外部控制。

智能合約平臺Matic Network推出LINK喂價工具:智能合約平臺Matic Network 19日宣布,將全面推出五種LINK喂價工具(Price Feeds):Matic /USD、USDC/USD、ETH/USD、USDT/USD和DAI/USD。雖然在以太坊之外有很多Chainlink集成,但其中大多數仍在開發中或間接使用以太坊feed。(Cointelegraph)[2020/11/19 21:24:19]

智能合約固有的自主性是它們如此吸引人的部分原因。就像區塊鏈一樣,智能合約是“無需信任的”,這意味著它們不受第三方控制。也同時意味著該程序可以在沒有受信任的中介的情況下執行合約中的條款。

合約是如何運作的?

要理解智能合約在現實生活中的運作方式,就必須理解合約的工作方式。

合約有三個要素:要約、承諾和交易。

假設你和房東簽了一份合約,以每周25美元的價格租下一套公寓,租期為兩周。合約的三個部分是:

要約

承諾以每周25美元或50美元的價格租下一套公寓,為期兩周。要約明確了雙方的權利和責任,并進一步表明了雙方之間的價值交換。

動態 | 摩根大通前區塊鏈團隊負責人與Kadena合作發布混合區塊鏈智能合約新版本:據coindesk消息,投資銀行巨頭摩根大通區塊鏈團隊前負責人Stuart Popejoy與區塊鏈平臺服務提供商Kadena合作發布了混合區塊鏈智能合約新版本Pact,旨在使區塊鏈上安全、簡單的智能合約開發成為可能。Popejoy認為,Pact 3.0的擴展功能集最終將支持私有和公共網絡之間的跨區塊鏈智能合約執行。[2019/6/6]

驗收

同意對方提供的條款。在這種情況下,房東同意把公寓租給你兩周,你也同意按要價每周25美元支付租金。

交易

雙方履行其義務的行為。你付25美元,房東就會給你公寓的鑰匙。這可以看作是對合約的履行。

如果你付了錢,但房東拒絕給你鑰匙,那就違反了合約。同樣,如果你在交了第一周的租金后拒絕支付第二周的租金,你就違反了合約。

根據合約法,如果另一方未能履行其應履行的義務,任何一方都可以向法院提起訴訟。合約允許那些可能相信或不相信自己的人做生意,因為有一個可信的中介(法院)來執行協議。

動態 | 黑客利用EOS智能合約漏洞從賭博應用EOSBet中竊取20萬美元:據thenextweb消息,黑客利用EOSBet智能合同中的漏洞,從其運營錢包中竊取了4萬EOS(約20萬美元)。EOSBet的一位發言人表示:“幾個小時前,我們被攻擊了,大約有40000個EOS從我們的資金中被竊取。這個bug并不像之前說的那樣輕微,我們還在做取證工作,把發生的事情拼湊起來。”[2018/9/14]

那么,智能合約是如何適應這種情況的呢?

作為一種無需信任的機制,智能合約不需要中介來執行協議。相反,代碼是這里的主要仲裁者。一旦每個部分滿足指定的條件,代碼或“業務邏輯”自動處理協議中包含的條款。

讓我們以計算機科學家NickSzabo使用的自動售貨機為例,他在1994年首次解釋了智能合約的概念:

你向自動販賣機投幣,就可以得到一杯飲料。你不需要接線員給你一杯飲料;一旦你付了錢并選擇了一種零食,這種機制就會釋放它。

那么,智能合約真的只是數字自動售貨機嗎?是的。但它們顯然可以做的事情比處理支付更多,比如為去中心化金融(DeFi)系統提供動力,交換NFT,等等。

動態 | 高危預警!新增代幣型智能合約XBC含32個風險漏洞:區塊鏈項目評級機構RatingToken發布最新“新增代幣型智能合約風險榜”。榜單排名第一的XBC檢測得分為2.60,風險項多達32個。據RatingToken數據,2018年7月16日全球共新增6474個合約地址,其中363個為代幣型智能合約。其他登上該風險榜TOP10的還包括LOCC、NKM、APC、4TN、CIC、EPLAYG、MUT、BASE、VXCDev。如需查詢檢測結果請訪問RatingToken官網。[2018/7/17]

智能合約為何流行?

由于智能合約在區塊鏈上運行,它們提供了基于區塊鏈的系統的好處。例如,可以通過區塊鏈監控合約各方之間的交易,從而提高透明度。

智能合約是不可變的,這意味著它們不能被修改。一旦合約在區塊鏈上運行,任何一方(甚至智能合約的創造者)都不能重寫規則。

簽訂合約后試圖更改協議條款的事情,對于托管在區塊鏈分類帳上的智能合約來說是不可能的,這使得它對管理交易很有用。

因為智能合約依賴于簡單的邏輯(如果x,那么y),它們可以更快地處理交易。智能合約的一個常見應用是保險,支持者認為智能合約可以簡化理賠流程,并鼓勵更快的支付。

獨家 | 區塊鏈項目10%-20%的智能合約業務存在邏輯漏洞:多家交易所為了保護各平臺投資者及自身的資產安全,委托獨立第三方智能合約審計機構降維安全實驗室對所有即將在交易所上線的項目方智能合約進行安全審計。在審計過的數百份智能合約中,降維安全實驗室(Johnwick.io)發現超過70%的智能合約代碼優質、業務邏輯嚴謹,但也有極少數項目方合約代碼存在嚴重的業務邏輯風險,上線后可能會給交易平臺及投資者造成巨大的資產損失。主要問題表現為合約Owner(合約所有者、創始團隊)權限設置過大,可以無限增發代幣,更為嚴重的是溢出可以隨意增加和銷毀任意地址的代幣,甚至包含交易所自身的錢包地址。在這種情況下如果Owner自身作惡或者被盜取賬號,在上線交易拉高幣價后進行大量增發再砸盤至價格歸0,可在短期內獲得巨大收益,而蒙受巨大損失的只有交易所及廣大投資者。降維安全實驗室作為合約審計的受委托方,在審計合約時以最大程度的保護廣大區塊鏈投資者及交易平臺的資產為唯一目標,對合約有極高的要求所以可能會出現審計不通過的情況,對于沒有經過嚴格評估過的合約資產,可能在未來的某段時間內爆發資產風險,希望廣大用戶注意。[2018/7/12]

有了智能合約,人們將不需要昂貴的律師來建立協議——至少在理論上是這樣。這意味著減少了文書工作和花費在簽訂合約前談判的時間。

如果智能合約如此有用,為什么它們會有問題?這正是我們要找出的。

智能合約有哪些問題?

依賴外部數據源智能合約需要信息才能運行。

但是,區塊鏈無法與外界溝通,這給智能合約帶來了問題。

為了解決這個問題,智能合約開發者依賴于“預言機”——應用程序從現實世界中提取數據,并在鏈上提供給智能合約使用。

然而,對預言機的依賴凸顯了智能合約的另一個局限性:

我們必須相信預言機能夠提供準確的數據,否則智能合約將會產生錯誤。智能合約在軟件開發中容易出現“垃圾輸入,垃圾輸出”(GIGO)問題。

我們可以通過使用來自不同預言機的信息來解決這個問題,但這只會增加交易成本,因為預言機必須付費。此外,使用來自不同預言機的信息會破壞共識。

請記住,系統中的所有節點必須就合約的狀態達成一致,否則交易將被視為無效。當節點從預言機獲得不同的信息時,可能無法達成共識。

不變性智能合約的一個問題在于它們的不變性。在區塊鏈中,“不可變性”意味著協議中的規則一旦部署在區塊鏈上,就不能被單方面更改。

雖然這有助于檢查可能希望操縱合約信息的不良參與者,但它使智能合約更難使用。

這種嚴格的系統也使得修復代碼中的錯誤變得困難。如果一個bug碰巧影響了智能合約的功能,開發人員可能無法實施任何解決方案。

保密的信息每個人都可以訪問區塊鏈上的所有信息,因為節點保存了區塊鏈歷史的副本。同樣,這有助于提高透明度和防止欺詐,因為每個人都可以看到數據。

但并不是每個人都希望保密的合約信息公開。這就是為什么法律規定律師不能透露當事人之間訴訟的細節。

可以把它看作是在網頁的HTML中隱藏信息。用戶不會在他們的瀏覽器窗口中看到這些信息,但是一個簡單的CTRL+U(查看源代碼)函數就會顯示出來。

智能合約也是如此——任何人都可以通過調整區塊鏈軟件來顯示合約的完整狀態。就這樣,所有的私人信息都進入了公共領域。

對于想要完全隱私的企業和個人來說,缺乏保密性是使用智能合約的一大缺點。

安全漏洞像任何程序一樣,智能合約經常會產生錯誤。然而,智能合約和常規程序的不同之處在于,智能合約代碼中的錯誤可能會造成昂貴的影響。

如今,智能合約為DeFi行業提供動力,該行業的價值估計超過1000億美元。智能合約功能上的一個簡單漏洞,就意味著可能會有數百萬人因惡意利用此類錯誤而蒙受損失。

我們不止一次看到這種情況。就在上周,允許用戶在Solana和以太坊區塊鏈之間發送和接收加密貨幣的跨鏈橋Wormhole被黑客損失了3.2億美元。

根據Chainlysis的這次故障,黑客利用了橋梁智能合約中的一個漏洞,讓他們可以抽干Solana網絡中的12萬個WETH。這是一系列針對DeFi平臺的攻擊中最新的一起,這些平臺的運作都依賴智能合約。

這并不意味著智能合約的安全性不會隨著時間的推移而改善。然而,在真正的硅谷式“failfastandearly”模式中,大多數項目主要關注的是營銷和獲取用戶,而不是解決系統中的問題。

簡單的操作當人們聽到“智能合約”時,他們會聯想到無數可能的應用程序。

代碼不能涵蓋且不能寫入二進制代碼的合約中的模棱兩可的條款。這是智能合約的另一個問題。

當然,強制執行特定產品的支付和轉賬的智能合約很容易編程。當你試圖加入“貨物必須完好無損地到達”或“貨物必須在合理的時間內到達”這樣的條款時,問題就開始了。

如何確定“良好狀態”的含義或計算“合理的時間”并將其寫入代碼?

簡而言之,在需要對協議中的條款進行解釋的情況下,智能合約幾乎毫無用處。然而,它們可以用于更簡單的應用程序,如加密貨幣交易,其中的數據(價格數據、簽名、地址等)在區塊鏈上,并且術語很容易被理解。

智能合約需要更智能

盡管智能合約存在局限性,但它們也有自己的用途。但是,在區塊鏈夢想者的夢幻般的愿望成為現實之前,他們需要大規模的發展。

開發人員必須努力解決智能合約的最大問題。例如,一個允許修改智能合約的協議——前提是各方都同意——將會改善這項技術的應用。

也許隨著時間的推移,智能合約會變得真正智能,并實現專家確定的所有可能性。就目前而言,智能合約要改變世界還有很長的路要走。

Source:https://hackernoon.com/uncover-the-dark-side-of-smart-contracts

Tags:區塊鏈USDEOSOSB玩區塊鏈的都是什么人群USD價格NEOS價格OSB幣

中幣下載
“餐飲元宇宙”來了,這些落地場景你想到了嗎?_元宇宙

來源:“新零售商業評論” 作者:星影 發文:36氪 實體的餐飲與虛擬的元宇宙,看起來風馬牛不相及,但最近全世界的餐飲企業都掀起了一股注冊元宇宙商標的熱潮.

1900/1/1 0:00:00
Vitalik:與PoW相比,為什么PoS不會大幅減少出塊時間?_以太坊

我們也在積極研究以太坊協議內機制并希望相關機制能在幾秒鐘內為用戶提供更有力的交易確認保證并將交易包含在下一個或另一個近期區塊中.

1900/1/1 0:00:00
策略游戲《百戰天蟲》游戲發行商Team17放棄推出MetaWorms NFT計劃_VAL

據Cointelegraph消息,2月2日,策略游戲《百戰天蟲》游戲發行商Team17宣布放棄推出其MetaWormsNFT計劃.

1900/1/1 0:00:00
「無聊猿」創始人專訪:是什么造就了BAYC的成功?_無聊猿

2022年1月29日,“無聊猿”BAYC地板價突破100ETH,創下歷史新高。在突破這一歷史性里程碑之后,RugRadio播客和這個廣受加密社區和許多名人明星歡迎的NFT項目創始人們聊了聊,下面.

1900/1/1 0:00:00
美國FBI正尋求軟件來追蹤市值前95%的加密貨幣_FIN

據福布斯2月24日消息,美國聯邦調查局于上周五發布了一份提案請求,要求使用最先進的追蹤和分析軟件以及軟件許可證來檢測犯罪分子非法使用加密貨幣的情況.

1900/1/1 0:00:00
NFT項目AOTAVERSE與X Rabbits Club等知名項目達成合作_NFT

近期,NFT項目AOTAVERSE與ALPACADABRAZ、SuperlativeApes、Yakuza、XRabbitsClub等知名NFT項目達成合作,在社交媒體上互相進行項目推廣.

1900/1/1 0:00:00
ads