比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads

EFI:金色觀察 | 編程語言如何推動DeFi成為主流?_區塊鏈

Author:

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

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

金色晚報 | 7月23日晚間重要動態一覽:12:00-21:00關鍵詞:比特大陸、印度、數字人民幣、Coinbase

1.比特大陸捐贈1000萬元人民幣,馳援河南鄭州;

2.印度一本土企業接受市值前20的加密貨幣付款,僅限印度客戶;

3.深圳市民乘公交地鐵可使用數字人民幣;

4.尼日利亞央行將于10月1日啟動CBDC的試點;

5.Coinbase股東對Coinbase及部分高管發起證券集體訴訟;

6.蘇富比將拍賣關于美國拳王穆罕默德·阿里的藝術品NFT;

7.Polygon Studios計劃籌集1億美元以支持區塊鏈游戲開發商和NFT創建者。[2021/7/23 1:12:00]

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

金色晚報 | 2月29日晚間重要動態一覽:12:00-21:00關鍵詞:首爾、Tether、火幣公鏈、銷毀、FCoin

1. 河北出臺措施促進區塊鏈等數字技術應用。

2. 北京市地方金管局:推動建立區塊鏈企業電子身份認證信息系統。

3. 韓國首爾將于3月1日啟動區塊鏈請愿系統。

4. 杭州局不重復受理FCoin維權者案件,需回北京受理。

5. 英國央行副行長:Libra等穩定幣的崛起可能導致信貸枯竭影響整體經濟。

6. Tether近一周新增9500萬USDT。

7. 火幣上線公鏈測試網并宣布銷毀1.5億枚HT。

8. 張健:公布重啟FCoin以及FMex方案。

9. BTC現報8642美元,近24小時下跌0.71%,市值為1574.41億美元。[2020/2/29]

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

分析 | 金色盤面:HSR短線上漲:金色盤面分析師表示:HSR在過去24小時內漲幅7.50%,上方繼續關注短線阻力5.4美元,支撐關注5.1美元。[2018/8/6]

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

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

金色財經現場報道 清華大學技術創新研究中心主任:區塊鏈可以改變網絡教育模式:金色財經現場報道,在清華大學區塊鏈教育、產業創新峰會?暨青藤鏈盟成立大會上,清華大學技術創新研究中心主任陳勁表示,傳統知識生產是中心化的,未來的人們的角色出現改變,每個人都是貢獻者,每個人都是獲取者。區塊鏈與遠程教育平臺結合可以成為一個大規模協同知識創造,知識傳播的平臺,打造一個沒有圍墻的學校,開展分布式教育網絡。[2018/5/27]

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

連鎖反應

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

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

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

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

創新與安全

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

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

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

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

本文部分內容編譯自cointelgraph

Tags:EFIDEFDEFI區塊鏈Yearn DeFi ForkWDEFI價格Defina Finance區塊鏈專業是冷門專業嗎

酷幣交易所
GAME:對話Carl Chen:GameFi的未來敘事會產生哪些變化?_KO RUNE - Rune.Game

創作者:Hahaho 審核者:Shaun GameFi一直是Web3生態備受關注的賽道,因為其具有對Web2用戶更友好的特性,相比Web3其它賽道有更多的Web2用戶.

1900/1/1 0:00:00
WEB:內循環、大灣區、香港科創與Web3_WEB3

原文作者:Jack,BlockBeats隨著FTX事件的波瀾逐漸褪去,加密行業的注意力重新回到了發展與建設中來.

1900/1/1 0:00:00
WEB:Web3開發工具大全之一:語言、框架與IDE_SOL

據報道,區塊鏈開發是增長最快的行業之一。隨著鏈上項目的爆炸式增長,對區塊鏈開發者的需求也急劇上升.

1900/1/1 0:00:00
FTX:金色早報 | 卡巴斯基發布世界杯網絡詐騙提醒 含加密和NFT欺詐_加密貨幣

頭條 ▌FTX將啟動對其全球資產的戰略審查11月19日消息,FTX宣布,作為破產法第11章流程的一部分,將啟動對其全球資產的戰略審查,以最大化可回收價值.

1900/1/1 0:00:00
MER:Merkle Tree儲備證明的缺陷及改進思路_LET

作者:蔣長浩Cobo聯合創始人兼CTO隨著FTX倒閉后對中心化機構信任的崩塌,CZ在Twitter上呼吁交易所采用MerkleTree的儲備證明方法來證明他們沒有挪用用戶資產.

1900/1/1 0:00:00
GEN:身處破產邊緣的Genesis:5億元融資難倒DCG 曾鼓勵3AC借款_Genesis Wink

作為DCG的“金字招牌”之一,子公司Genesis因接連踩到3AC和FTX兩大“雷”陷入破產危機.

1900/1/1 0:00:00
ads