EFI:金色觀察 | 編程語言如何推動DeFi成為主流？

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

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

金色晨訊 | 8月26日隔夜重要動態一覽:21:00-7:00關鍵詞：巴西、以太坊、美國、yearn.finance、江蘇省

1. 巴西參議員提出一系列加密貨幣商業法;

2. 以太坊客戶端Geth已推出v1.9.20版本;

3. 美國國稅局再次向加密貨幣持有者發送稅收警告信;

4. 星巴克允許消費者使用微軟區塊鏈解決方案追蹤咖啡來源;

5. 江蘇省在區塊鏈等領域組織實施重點研發計劃項目80項;

6. 律師：我國對加密數字幣的監管只會越來越嚴格;

7. 研究：價值10億美元的以太坊代幣易遭到假冒存款攻擊;

8. yearn.finance：有關同意yVaults參與治理的投票人數已達目標;

9. ConsenSys收購摩根大通旗下區塊鏈平臺Quorum，并獲摩根大通戰略投資。[2020/8/26]

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

金色相對論 | 巖松：基礎面的改善才是之后進入大牛市的關鍵:在今日舉行的《危機向左，信仰向右》的比特幣減半特輯直播中，針對“決定2020年走勢的因素里減半因素占了多少”的問題，OKEx分析師巖松表示，目前仍在牛市的醞釀期，這也與比特幣價格通常在減半后才會真正開始飆升的歷史走勢一致。二月中旬前我們已經看到了價格的上漲和市場的討論，同時有大量礦工加入其中。另外衍生品交易的火熱使得市場杠桿率大幅攀升。杠桿牛在三月崩盤前持續了近兩個月。只是疫情帶來的巨大破壞力使得所有預期都在3月12日大跌后重置。隨著幣價的反彈，市場參與者再次寄出減半話題，同時我們仍能看到不少回應，比如“比特幣減半”的搜索量，以及三月中旬過后美國市場現貨的交易量都有大幅增長。相比于減半的炒作或者說預期，比特幣持有率的上漲是最基礎、最重要的因素，即更多人認識和購買比特幣，更多機構進入加密貨幣領域。如果能將這些著眼更長時間維度的機構投資者帶入加密貨幣領域，必然會使比特幣的整體波動性下降，因為市場中存在了更穩定的多頭方，而非目前不停進出的短線資金。基礎面的改善才是之后進入大牛市的關鍵。[2020/5/11]

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

金色午報 | 3月27日午間重要動態一覽:7:00-12:00關鍵詞：區塊鏈應用、KBDAC、安永、TON

1.云南省委宣傳部：加快區塊鏈等新技術在文化產業領域的應用。

2.韓國KB國民銀行申請與虛擬資產管理服務有關的商標“KBDAC”。

3.中國金融：區塊鏈技術能實現開放銀行的愿景。

4.安永將QuadrigaCX用戶信息移交給加拿大稅務局。

5.至少有10名TON投資者希望離開該項目并收回投資資金。

6.加密交易所BTC交易余額處于近8個月最低水平。

7.印度科技巨頭Mahindra通過區塊鏈加快跨境交易。

8.價值49,400比特幣的比特幣期權未平倉合約即將到期。

9.比特幣小幅上漲，由最低6593.91美元最高漲至6843.79美元。[2020/3/27]

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

金色財經現場報道 以太坊創始人Vitalik Buterin：驗證節點的位置越多要的算力也越多 :金色財經6月3日現場報道，在今天的以太坊技術及應用大會上，以太坊創始人Vitalik Buterin做了題為“Casper與分片技術最新進展”的主題演講。V神說，驗證節點的責任為：驗證主鏈；驗證2個分片（為了生成區塊，為了確認區塊/交聯）；生成分片區塊；生成主鏈的區塊；確認分片區塊并進行交聯。V神指出：你擁有的以太幣越多，你的驗證節點的位置越多，那么需要的算力也越多，這個機制支持協議的多中心化，對擁有較少以太幣的人會公平一些。[2018/6/3]

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

連鎖反應

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

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

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

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

創新與安全

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

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

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

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

本文部分內容編譯自cointelgraph

金色早8點

去中心化金融社區

CertiK中文社區

虎嗅科技

區塊律動BlockBeats

念青

深潮TechFlow

Odaily星球日報

騰訊研究院

Tags：EFIDEFIDEF比特幣AurusDeFiGlobal DeFiLendefi2021年比特幣價格走勢圖

FIL幣