智能合約的一劑強心劑:解決以太坊開發語言solidity面臨的問題

以太坊網絡目前包含1,700多個去中心化的應用程序(DApps),預計這些應用程序的數量將在未來幾年內持續增長。 雖然所有的DApp都依賴於智能合約來完成許多重要任務,但顯然,智能合約容易出現錯誤、系統崩潰和其他災難性事件——智能合約導致黑客竊取的金額截止至今總量超過10億美元。

智能合約的一劑強心劑:解決以太坊開發語言solidity面臨的問題

為了編寫智能合約,程序員必須學習一種名為“ Solidity ”的全新的編程語言。雖然智能合約有助於解決以太坊中的複雜操作,但用“solidity”編程時犯下簡單錯誤會導致可怕的後果,比如出現安全漏洞或導致非常高的交易成本。

最著名的編碼錯誤的智能合約的例子是去中心化自治組織(DAO)在利用parity技術的智能合約時出現的漏洞導致該合同被利用並損失了50萬個ETH,其價值超過1.69億美元。

solidity是否該承擔責任?

隨著智能合約的問題越來越普遍,Solidity技術因為以太坊網絡存在問題而備受關注。 不幸的是,許多依賴智能合約的新項目缺乏那些擁有正確優化和審計智能合約經驗的程序員們。

例如,就性能而言,在執行某些複雜的智能合約時,gas費用可能是天文數字。 “Gas”是以太網的標稱單位,用於以太坊網絡上的運營交易。 gas費取決於智能合約的複雜性以及合同執行時網絡的擁塞狀況。 以太坊通過向他們收取非常高的gas費來自動懲罰低效的合同。 但是,在許多情況下,用例本身就很複雜,而且這種gas費妨礙了智能合約的普及運用。

使用以太坊智能合約來驗證單個比特幣交易的初次交易(即,scrypt操作)將耗資3.7億以太坊gas ——超過10億Gwei(1 ETH),gas價格為3 Gwei。我們需要花大約500美元用於驗證交易,這個驗證交易需要通過100次以太坊智能合約交易才能完成。

在處理用Solidity編寫的智能合約時,安全性,特別是在整數溢出上,也存在問題。 黑客現在發現的智能合約中的漏洞,將會使他們竊取大量的加密貨幣。這導致了高安全性警報 ,當多個以ERC20作為基礎協議的代幣被攻擊時,會觸發緊急安全警報。

其中許多黑客攻擊只是因為程序員在Solidity中編寫代碼時的錯誤導致。 不知道大家是否知道美容鏈(BEC),它於2018年2月23日在OKeX上線。在上線的第一天交易價格就飆升了4000%。 4月22日,其交易價格在市值達到約700億美元后突然歸零,導致其市值瞬間跌至約20億美元左右。 (OKEX自BEC 暫停交易以來數據)

怎麼辦?

一種解決方案

為了解決用Solidity編寫的智能合約所面臨的現實問題,目前正在創建一種用於開發Cyber Miles區塊鏈 ,分散應用程序和其他定製區塊鏈的智能合約的出色語言“ Lity ”,最關鍵的是Lity旨在解決Solidity面臨的性能和安全問題。

Lity作為Solidity語言的演變,由動態可擴展語言,編譯器和虛擬機運行時組成。 這意味著今天所有現有的Solidity程序都可以在不改變Cyber Miles虛擬機(CVM)的情況下運行。

使用Lity語言的另一個優勢是它比Solidity更靈活,更強大,更安全。 例如,Lity支持可以通過雲端添加的新語言功能和功能。

在性能方面,Lity擴展適用於特定的計算任務,可以進行高度優化。 被稱為“libENI”的功能將從Cyber Miles虛擬機(CVM)調用,這將作為區塊鏈節點上的本機代碼執行。

舉個例子,公共/私人密鑰算法通常非常慢且在以太坊上運行非常昂貴。 許多類別的應用程序,例如“數據市場”,想上以太幾乎不可能。然而,使用libENI,這些操作僅需要幾毫秒(快10,000倍)以及非常低的汽油費(幾美分,相比之前的500美元的汽油費來執行交叉鏈交易 )就可以完成。

Lity的算法改進對跨鏈的資產交換以及區塊鏈交易數據上鍊具有重要意義。

智能合約的未來

不幸的是,Solidity已經成為今天智能合約中發現的錯誤的罪魁禍首。 為了確保智能合約的未來,必須積極開發像Lity這樣的新編程語言。

毫無疑問,以太坊基金會正在積極尋找自己的創新方法。 其中最主要的就是致力於“Casper”和本土合同的實施,這種過渡機制最終將以太坊轉變為PoS共識方法。

以太坊基金會認為,這一變化對於解決與PoW相關的各種問題是剛需。 就其本身而言,Cyber Miles基金會聲稱已經找到了解決方案:一個有效的DPoS模型及其CVM,正如litylang.org所述。

比賽已經開始。

這些改動不僅標誌著今天以太坊的核心技術元素之一的定義出現轉變,其執行也可能會對以太坊產生重大影響,尤其是針對它的核心部分 - 智能合約。

原文作者:Rachel Wolfson

原文地址:https://hackernoon.com/smart-contracts-on-steroids-solving-the-problems-facing-ethereums-solidity-a1f71cc260ce


分享到:


相關文章: