編程語言阻礙主流 DeFi

去中心化金融（DeFi） 正在快速增長。 鎖定的總價值是 DeFi 協議管理的資金衡量標準，在過去兩年中從 10 億美元增長到略高於 40 億美元，此前曾達到 180 億美元的峰值。

房間裡的大象？ 超過 10 億美元是 迷失在黑客攻擊和漏洞利用中 僅在 2021 年。 餵那頭大象：今天的智能合約編程語言無法提供足夠的功能來創建和管理資產——也稱為“代幣”。 DeFi要成為主流，編程語言必須提供面向資產的特性，讓DeFi智能合約開發更加安全和直觀。

當前的 DeFi 編程語言沒有資產的概念

有助於減少 DeFi 常年被黑客攻擊的解決方案包括審計代碼。 在某種程度上，審計工作。 在歷史上最大的 10 個 DeFi 黑客攻擊中（給予或接受），有 XNUMX 個項目沒有經過審計。 但投入更多資源解決這個問題就像在方輪汽車上安裝更多引擎：它可以開得更快一些，但有一個根本問題在起作用。

問題：今天用於 DeFi 的編程語言，例如 密實度，沒有資產是什麼的概念。 代幣和不可替代代幣 (NFT) 等資產僅作為智能合約（例如以太坊的 ERC-20）中的變量（可以更改的數字）存在。 定義變量應該如何表現的保護和驗證，例如，它不應該被花費兩次，它不應該被未經授權的用戶耗盡，轉移應該始終平衡並且淨額為零——所有這些都需要由開發人員從頭開始，為每一個智能合約。

相關新聞： 如果開發人員採取基本的安全措施，他們本可以防止加密貨幣的 2022 黑客攻擊

隨著智能合約變得越來越複雜，所需的保護和驗證也越來越複雜。 人是人。 錯誤發生。 錯誤發生。 錢丟了。

一個典型的例子：Compound 是 DeFi 協議中最藍籌的協議之一，在 80 年 2021 月被利用了 XNUMX 萬美元。為什麼？ 智能合約包含一個“>”而不是“>=”。

連鎖效應

對於相互交互的智能合約，例如用戶用不同的代幣交換代幣，消息被發送到每個智能合約以更新它們的內部變量列表。

結果是一個複雜的平衡行為。 確保正確處理與智能合約的所有交互完全落在 DeFi 開發人員身上。 由於 Solidity 和以太坊虛擬機 (EVM) 中沒有內置護欄，DeFi 開發人員必須自行設計和實施所有必需的保護和驗證。

相關新聞： 開發人員需要在 2023 年阻止加密黑客或面臨監管

因此，DeFi 開發人員幾乎將所有時間都花在確保他們的代碼安全上。 並對其進行雙重檢查 - 並對其進行三次檢查 - 以至於一些開發人員報告說他們將多達 90% 的時間花在驗證和測試上，而只花 10% 的時間構建特性和功能。

由於開發人員的大部分時間都花在了與不安全代碼的鬥爭上，再加上開發人員短缺，DeFi 為何發展如此迅速？ 顯然，儘管今天提供它存在挑戰和風險，但仍需要自我主權、無需許可和自動化形式的可編程貨幣。 現在，想像一下，如果 DeFi 開發人員能夠將他們的生產力集中在功能而不是失敗上，將會釋放出多少創新。 這種創新可能會讓價值 46 億美元的新興產業顛覆與 468 萬億美元的全球金融一樣大的產業。

創新與安全

DeFi 既創新又安全的關鍵源於同一個源頭：為開發人員提供一種創建資產並與之交互的簡便方法，並使資產及其直觀行為成為原生功能。 創建的任何資產都應始終以可預測的方式運行並符合常識性財務原則。

在面向資產的編程範例中，創建資產就像調用本機函數一樣簡單。 該平台知道資產是什麼：.initial_supply_fungible(1000) 創建一個固定供應量為 1000 的可替代代幣（除了供應之外，還有更多的代幣配置選項可用），而諸如 .take 和 .put 之類的函數從某個地方獲取代幣並將它們放在別處。

開發人員無需編寫複雜的邏輯來指示智能合約更新變量列表，而在面向資產的編程中，任何人都可以直觀地期望 DeFi 的基礎操作是該語言的本機函數，而這需要進行所有錯誤檢查。 代幣不會丟失或耗盡，因為面向資產的編程保證它們不會丟失或耗盡。

這就是您在 DeFi 中獲得創新和安全的方式。 這就是你如何改變主流公眾的看法，從 DeFi 是狂野的西部到 DeFi 是你必須存錢的地方，否則你就會失敗。

作者向 Cointelegraph 透露了自己的身份，這篇文章使用了化名。 本文僅供一般參考之用，並非旨在也不應被視為法律或投資建議。 此處表達的觀點、想法和意見僅代表作者個人，並不一定反映或代表 Cointelegraph 的觀點和意見。