以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

KEN:智能合約的局限性有哪些?離真正的“智能”還有多遠?

Author:

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

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

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

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

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

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

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

理解智能合約

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

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

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

zkSync2.0測試網將于今日重置,開發人員需重新部署智能合約:10月10日消息,以太坊Layer2擴容解決方案zkSync2.0測試網將在今日進行重置,包括交易歷史、代幣余額,以及虛擬機升級和接口更改,開發人員需重新部署智能合約。此外這僅適用于zkSync2.0測試網,不會影響zkSync1.0。[2022/10/10 12:52:10]

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

合約是如何運作的?

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

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

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

要約

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

聲音 | Weiss Ratings:加密世界最大競爭之一是誰將成為智能合約領導者:金色財經報道,加密貨幣評級機構Weiss Ratings發推稱:“目前,加密世界最大的競賽之一是誰將成為下一個智能合約的領導者。在全世界所有智能合約平臺中,排名前五的是Ethereum、Tezos和ADA。你認為其他領先的智能合約平臺有哪些呢?”[2020/2/4]

驗收

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

交易

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

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

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

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

聲音 | 布比CTO王璟 : 智能合約更大的安全隱患一定會出現在虛擬機本身:11月24日,在杭州舉辦的2018中國區塊鏈技術大會上,布比CTO王璟在演講中表示,目前區塊鏈底層大多數采用Nosql數據庫,在大并發下,需要實現Nosql數據庫集群,或更加高效的文件存儲方式。而商用級別的隱私保護,除了最基本的數據加密,還需滿足性能、監管、靈活授權查看等需求。此外,單鏈的性能永遠存在性能瓶頸,因此同構鏈的主子鏈、側鏈:異構鏈間的跨鏈,都將成為未來的研究方向。而在合約安全方面,目前,智能合約的安全僅僅停留在合約代碼本身,更大的安全隱患一定會出現在虛擬機本身。[2018/11/24]

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

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

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

獨家 | 新增翻版Fomo3D智能合約“剪刀石頭布”Jan Ken Pon:第三方大數據評級機構RatingToken最新數據顯示,2018年8月8日全球共新增757個合約地址,其中177個為代幣型智能合約。據RatingToken團隊發布的“新增代幣型智能合約風險榜”,Jan Ken Pon(JKP)、Opporty(OPP)和bank(BANK)風險最高,檢測得分分別為1.97、2.80和2.80,其中Jan Ken Pon在日語中意為“剪刀石頭布”,是類Fomo3D游戲,存在14個安全風險。其他登上該風險榜TOP10的還包括Debt Coins(DEBT)、APAY(APAY)、RUBBER(REC)、RIGACOIN(RIGA)、dodgers(DOD)、MudToken(MUD)和SuperstartupX(SSX)。如需查看更多智能合約檢測結果,請查看原文鏈接。[2018/8/9]

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

智能合約為何流行?

動態 | 蘇黎世聯邦理工學院開發以太坊智能合約掃描儀:蘇黎世聯邦理工學院的研究人員開發了一個以太坊智能合約掃描儀,用以檢查智能合約是否存在漏洞、bug、或是其他潛在問題。這些研究人員包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士,他們都在系統安全方面擁有豐富的行業和學術經驗,并且努力改進區塊鏈智能合約。最近,這幾位研究人員成立了一家名為ChainSecurity的公司,旨在幫助開發人員和ICO項目方推出他們的代幣。[2018/7/15]

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

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

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

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

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

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

智能合約有哪些問題?

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

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

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

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

我們必須相信預言機能夠提供準確的數據,否則智能合約將會產生錯誤。智能合約在軟件開發中容易出現“垃圾輸入,垃圾輸出”(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:區塊鏈KENTIN加密貨幣國內區塊鏈公司前十排名Coin Gabbar TokenThe Everlasting Parachain加密貨幣一覽表

狗狗幣價格
ADO:區塊鏈相當于80年代初的互聯網,那么有哪些值得關注的跨鏈基礎設施?

作者:北辰 作為網絡,區塊鏈差不多相當于上世紀80年代的互聯網,因為生態極度分散,應用、用戶和資金都被割裂在不同的網絡系統中.

1900/1/1 0:00:00
ITA:NFT平臺DROPP完成800萬美元融資,Animoca Brands、三箭資本等參投

巴比特訊,1月26日,Solana生態社交NFT平臺Dropp宣布完成800萬美元融資,AnimocaBrands、AlamedaResearch、DeFianceCapital、ThreeAr.

1900/1/1 0:00:00
COS:元宇宙的經濟模式向何處去?

來源:21世紀經濟報道 作者丨王應貴,周游 編輯丨李瑩亮 圖源丨圖蟲 最近一年來,熱度最高的詞語非“元宇宙”、“去中心化金融”“非同質化代幣”莫屬.

1900/1/1 0:00:00
GLE:谷歌的元宇宙野心有多大?開發創新視頻通信技術、布局Crypto支付領域......

原標題:《谷歌的元宇宙野心》元宇宙在2021年得到許多人的關注,有些人認為元宇宙會帶來下一個科技革命.

1900/1/1 0:00:00
BLOC:元宇宙游戲生態系統DeHorizon完成新一輪融資,Griffin Gaming Partners和Circle Ventures領投

巴比特訊,2月18日,元宇宙游戲生態系統DeHorizon完成新一輪融資,GriffinGamingPartners和CircleVentures領投,融資規模未透露.

1900/1/1 0:00:00
WEB:Web3開發平臺Alchemy完成2億美元融資,估值達到102億美元

據Cointelegraph2月8日消息,Web3開發平臺Alchemy宣布以102億美元的估值完成新一輪2億美元融資,Lightspeed和SilverLake領投,多位現有投資方參投.

1900/1/1 0:00:00
ads