比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > TUSD > Info

編程語言如何推動DeFi成為主流?_COMP

Author:

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

隨著DeFi的快速增長,提供DeFi服務的平臺和產品也如雨后春筍般紛紛冒頭。作為衡量DeFi協議管理資金規模的標準之一,DeFi“總鎖倉量”在過去兩年一路從100億美元增長到超400億美元,期間更是一度沖上1800億美元的巔峰。但直到今天,智能合約編程語言功能并沒有足夠完善到可以安全地創建和管理資產。面對這頭“房間里的大象”,我們無法選擇視而不見,因為DeFi要想稱為主流,編程語言就必須要具備“資產導向”功能,只有這樣DeFi智能合約的開發才能更加安全和直觀。

瑞波沒有智能合約或由于代碼結果不確定、編程語言選擇等問題:在最近的一次研討會上,瑞波CTO David Schwartz和Coli CEO Stefan Thomas探討了為什么瑞波沒有智能合約。Stefan Thomas表示之前曾以谷歌本地客戶端為基礎推出過一個原型,但由于代碼不能產生確定性的結果,以及選擇何種編程語言等問題,他們沒有將智能合約整合進瑞波賬本。[2020/8/12]

截至2022年11月,DeFi的總鎖倉量。數據來源:DefiLlama

DeFi編程語言尚未融入“資產”概念

要想解決DeFi常年遭受黑客攻擊的問題,編寫“審計代碼”就是一個很好的方法。如果細數歷史上規模最大的十次DeFi黑客攻擊,那么你會發現其中有9次都是由“未審計”惹的禍。所以從某種程度上來說,審計的確是一種避免攻擊非常有效的方法。假如沒有審計,那么即便在黑客攻擊問題上投入再多的資源也無濟于事。這就好比為了解決一輛方形輪胎汽車的性能問題而安裝大量發動機一樣,這樣做雖然可以讓它跑得更快一些,但是沒有找到突破性能的關鍵點。

聲音 | Calibra數字主管:Move編程語言為Libra區塊鏈提供安全和可編程的基礎:Calibra數字主管Ben Maurer日前介紹了Facebook的Move編程語言。Move是由Facebook創建的,旨在為Libra區塊鏈提供安全和可編程的基礎。Maurer解釋稱,這一舉措將使在Libra上運行的金融應用程序更容易、更安全。Maurer說:“ Move是內置在Libra核心中的一種新的智能合約語言,旨在為當今的金融系統帶來一種現代化的方法。” Maurer提到,Libra的任務是解決金融服務的缺乏。根據Maurer的說法,Libra為用戶和開發人員提供了直接訪問其平臺的機會,為所有人創建了一個包容性的金融系統。他說:“有了Libra,用戶不必依靠中介機構來存儲資金。Libra提供對平臺的直接訪問,并創建了一個更具包容性的系統。開發人員還可以訪問該平臺并構建應用程序,以幫助為當今金融系統之外的人們提供服務。”(Cointelegraph)[2020/2/22]

同理,如今的DeFi編程語言,比如Solidity,并沒有融入“資產”這個概念。代幣、NFT這類資產僅僅只是智能合約中的一個變量,而至于這些變量該如何被保護以及被驗證則需要開發人員對每個智能合約進行重新定義。比如,該變量不應被使用兩次;不應被未經授權用戶耗盡;轉移時應該始終保持平衡且凈值為零。。。。。。

動態 | Web3基金會計劃為Polkadot生態系統整合Pact智能編程語言:據CoinDesk今日消息,Web3基金會與區塊鏈初創公司Kadena簽署協議,計劃將Kadena旗下Pact智能合約編程語言整合至Polkadot生態系統。[2019/11/12]

隨著智能合約變得越來越復雜,所需的保護和驗證也正在變得越來越復雜。然而,人無完人,金無赤足,發生錯誤在所難免,資產也會因此而丟失。就連DeFi領域最佳藍籌協議之一的Compound也無法幸免于難。2021年9月,Compound智能合約中的一個Bug導致其錯誤分發了8000萬美元代幣,原本應通過該合約緩慢分發給所有流動性提供者的COMP代幣被錯誤釋放,部分用戶收到了遠高于正常數量的代幣。

動態 | 區塊鏈編程語言Voyage宣布與CoinStar幣星交易所達成合作:區塊鏈編程語言及開發工具Voyage宣布與臺灣CoinStar幣星交易所達成合作,將為后者提供區塊鏈底層技術支持。雙方將共同推出跨鏈錢包、安全智能合約等插件功能。Voyage團隊表示,與CoinStar的合作,是Voyage進入臺灣的良好開端。[2018/8/23]

連鎖反應

智能合約之間的交互是通過發送消息到各合約來實現的。智能合約在收到消息之后會更新其內部變量列表,而結果則反映出了一個較為復雜的平衡過程。至于智能合約之間的所有交互是否能正確處理則完全取決于DeFi開發人員。由于Solidity和以太坊虛擬機在設計初期沒有考慮到防護問題,因此DeFi開發人員必須在后期通過一定的設計來確保必需的防護和驗證。

為了降低安全風險,DeFi開發人員幾乎將所有時間都花在了確保代碼安全上。那些開發人員表示,他們在寫完代碼后一定會進行反復仔細檢查,甚至不惜花費高達90%的時間進行驗證和測試,而只留下10%的時間在構建產品性能和功能上。令人費解的是,開發人員將自己的大部分時間都花在了與不安全代碼作斗爭上,再加之開發人員短缺,DeFi為何還能發展得如此之快?

很顯然,盡管當今的可編程化貨幣存在著風險和挑戰,但這種能夠實現自我主權、無需許可以及自動化的可編程化貨幣仍然是無法阻擋的大趨勢。我們可以想象一下,假如DeFi開發人員能夠將他們的生產力集中在開發產品功能性方面而不是整天忙于處理各種漏洞,那么該有多少創新力量可以被釋放出來。這種創新很可能會帶來一個驚人的結果,那就是使一個剛剛起步的460億美元行業顛覆一個468萬億美元的全球金融大行業。

2002年至2020年全球金融機構總資產。資料來源:Statista

創新與安全

DeFi要想做到既創新又安全,關鍵一點在于要為開發人員提供一種簡單的方法來創建資產并與其進行交互,與此同時將基本功能轉換為編程語言的原生功能。最重要的是,創建的任何資產都應始終具有可預測性并符合常識性財務原則。

其實,在以資產為導向的編程范例中,創建資產就像調用原生功能一樣簡單。平臺知道什么是資產,比如.initial_supply_fungible創建了一個固定供應量為1000的同質化代幣,而.take和.put等功能則從某個地方獲取到代幣后再將它們放置在其他地方。

在以資產為導向的的編程中,任何人都會很自然地期望有關DeFi的基礎操作已包含進了該語言的原生功能,而不是開發人員通過編寫復雜的程序來指示智能合約用錯誤檢查來更新變量列表。在這種情況下,有了以資產為導向的編程來做保證,代幣就不會丟失或被耗盡。

以上就是在DeFi領域獲得創新和安全性的方法。只有一切以資產為導向,來自主流的看法才會又所改變,人們也才會從遠遠觀望這個令人生畏的DeFi轉變為爭先恐后地要將自己的資產投入其中。不然,你就輸了。

Tags:Compound以太坊COMPCompound幣是什么幣以太坊幣是什么幣COMP幣COMP價格

TUSD
英偉達Omniverse:產業元宇宙殺手锏的應用場景_數字人

元宇宙在近兩年得到極大關注,許多公司也都想成為第一個吃螃蟹的人,Meta是其中最激進的一個。除了Meta之外,英偉達也是一個非常激進的玩家.

1900/1/1 0:00:00
5款無代碼NFT鑄造UI工具_NFT

本文介紹5款工具,讓你可以輕松無代碼為你的NFT智能合約創建鑄造UI。 1、mint.fun 2022年7月,AndyChorlian發布了BattleRoyale,這是一款鏈上PVP游戲.

1900/1/1 0:00:00
周預告|zkSync主網預計于10月28日發布;OpenSea上線稀有度排名_以太坊

10月24日 P2E游戲開發商CatheonGaming將在10月24日推出新代幣catheon據TheBlock報道.

1900/1/1 0:00:00
NFT 的潛力:擴展的藝術品鑒定證書_NFT

NFT或可改進博物館和畫廊鑒定可復制藝術品的紙質證書。但要挖掘這種潛力,還有很多工作要做。 NancyBakerCahill:《合約殺手》(社交),2021年2014年5月,在NewMuseum.

1900/1/1 0:00:00
讀懂以太坊MEV區塊構建者_以太坊

1、本文要點 自MEV-Boost創建以來,MEV供應鏈變得更加復雜,MEV-Boost是以太坊上的驗證者用于賺取MEV的標準化軟件權益證明.

1900/1/1 0:00:00
全球元宇宙市場投融資總額超320億元 資本爭相涌入_元宇宙

“相較于2021年的萬物皆可‘元宇宙’,今年聽到這個概念的頻率好像減少很多,畢竟技術還不成型。”業內人士在接受《金融時報》記者采訪時表示.

1900/1/1 0:00:00
ads