分散金融（Defi） 急速に成長しています。 DeFiプロトコルによって管理される金額の尺度であるTotal Value Lockedは、10億ドルでピークに達した後、過去40年間で180億ドルからXNUMX億ドル強に増加しました。
部屋のゾウ？ 10億ドル以上だった ハッキングとエクスプロイトに負けた 2021年だけで。 その象を養う: 今日のスマート コントラクト プログラミング言語は、「トークン」とも呼ばれる資産を作成および管理するための適切な機能を提供できません。 DeFi が主流になるには、プログラミング言語がアセット指向の機能を提供して、DeFi スマート コントラクト開発をより安全かつ直感的にする必要があります。
現在のDeFiプログラミング言語には資産の概念がありません
DeFi の長年のハッキングを減らすのに役立つソリューションには、コードの監査が含まれます。 ある程度、監査は機能します。 史上最大の 10 件の DeFi ハッキング (ギブ オア テイク) のうち、XNUMX 件は監査を受けていませんでした。 しかし、この問題により多くのリソースを投入することは、四角い車輪の車にさらに多くのエンジンを搭載するようなものです。少し速く走ることはできますが、根本的な問題が発生しています。
問題: 今日の DeFi に使用されるプログラミング言語。 固まり、資産とは何かという概念がありません。 トークンや非代替トークン (NFT) などの資産は、イーサリアムの ERC-20 などのスマート コントラクトでは、変数 (変更可能な数値) としてのみ存在します。 変数がどのように振る舞うべきかを定義する保護と検証。たとえば、変数を XNUMX 回使用してはならない、許可されていないユーザーによって排出されてはならない、転送は常にバランスがとれ、正味ゼロになる必要があります。すべては、によって実装される必要があります。スマート コントラクトごとに開発者がゼロから作成します。
関連する 開発者は、基本的なセキュリティ対策を講じていれば、暗号の 2022 年のハッキングを防ぐことができたはずです
スマート コントラクトが複雑になるにつれて、必要な保護と検証も複雑になります。 人は人です。 間違いが起こります。 バグが発生します。 お金が失われます。
適切な例: DeFi プロトコルの最も優良な 80 つである Compound は、2021 年 XNUMX 月に XNUMX 万ドルの規模で悪用されました。なぜでしょうか? スマート コントラクトには、「>=」ではなく「>」が含まれていました。
ノックオン効果
ユーザーがトークンを別のトークンと交換するなど、スマート コントラクトが相互に対話するために、メッセージが各スマート コントラクトに送信され、内部変数のリストが更新されます。
その結果、複雑なバランスをとる行為が生じます。 スマート コントラクトとのすべてのやり取りが正しく処理されるようにすることは、完全に DeFi 開発者の責任です。 Solidity と Ethereum Virtual Machine (EVM) には固有のガードレールが組み込まれていないため、DeFi 開発者は、必要なすべての保護と検証を自分で設計および実装する必要があります。
関連する 開発者は 2023 年に仮想通貨ハッカーを阻止するか、規制に直面する必要があります
そのため、DeFi 開発者はほぼすべての時間をコードの安全性の確保に費やしています。 そして、それをダブルチェック、トリプルチェックすると、一部の開発者は、検証とテストに最大 90% の時間を費やし、機能や機能の構築に費やす時間は 10% に過ぎないと報告しています。
開発者の時間の大部分が安全でないコードとの戦いに費やされ、さらに開発者が不足している中で、DeFi はどのように急速に成長したのでしょうか? どうやら、今日それを提供することの課題とリスクにもかかわらず、自己主権、無許可、および自動化された形式のプログラム可能なお金に対する需要があるようです。 ここで、DeFi 開発者が生産性を障害ではなく機能に集中させることができれば、どれだけのイノベーションが解き放たれるか想像してみてください。 駆け出しの 46 億ドル規模の産業が、468 兆ドル規模のグローバル金融と同じくらい大きな産業を破壊することを可能にするようなイノベーションです。
革新と安全
DeFi が革新的かつ安全であるための鍵は、同じソースに由来します。つまり、開発者がアセットを作成して操作する簡単な方法を提供し、アセットとその直感的な動作をネイティブ機能にすることです。 作成された資産は、常に予測どおりに動作し、常識的な財務原則に沿っている必要があります。
アセット指向のプログラミング パラダイムでは、ネイティブ関数を呼び出すのと同じくらい簡単にアセットを作成できます。 プラットフォームは資産が何であるかを認識しています: .initial_supply_fungible(1000) は、1000 の固定供給で代替可能なトークンを作成します (供給を超えて、より多くのトークン構成オプションも利用可能です)。一方、.take や .put などの関数はどこかからトークンを取得します。そしてそれらを他の場所に置きます。
開発者が複雑なロジックを記述して、スマート コントラクトに変数のリストを更新するように命令する代わりに、アセット指向のプログラミングでは、DeFi の基本として直感的に期待される操作は、言語のネイティブ関数です。 資産指向のプログラミングが保証しているため、トークンが失われたり流出したりすることはありません。
これが、DeFi でイノベーションと安全性の両方を実現する方法です。 そしてこれが、DeFi が西部開拓時代のものであるという主流派の認識を、DeFi は貯金をしなければならない場所であるという認識に変える方法です。
ベン・ファー Radix プロトコルのコア開発者である RDX Works のパートナーシップの責任者です。 RDX Works に入社する前は、PwC と Deloitte で管理職を務め、金融テクノロジーのガバナンス、監査、リスク管理、規制に関連する問題についてクライアントにサービスを提供しました。 リーズ大学で地理学と経済学の学士号を取得し、マッピング ソフトウェアと分析の修士号を取得しています。
コインテレグラフに身元を開示した著者は、この記事に仮名を使用しました。 この記事は一般的な情報提供を目的としたものであり、法的または投資上のアドバイスとして解釈されることを意図したものではなく、また解釈されるべきではありません。 ここに記載されている見解、考え、意見は著者個人のものであり、必ずしもコインテレグラフの見解や意見を反映または代表するものではありません。
