スマートコントラクトの限界とは?

日時 Ethereum ブロックチェーンエコシステムにスマートコントラクトを導入し、すべてが変わりました。 突然、トラストレスの原則に基づいて構築された金融システム全体を構築する可能性が見えてきました。 あなたはその考えをどこまで受け入れることができますか? まあ、それはあなたが誰に尋ねるかによります。

スマート コントラクトの概念は、1994 年にコンピューター科学者で法学者の Nick Szabo によって初めて導入されました。 彼はそれらを、正しい支払い金額が挿入されると自動的に製品を分配する「謙虚な自動販売機」と比較しました.

基本的に、スマート コントラクトは、特定の条件が満たされたときに契約条件を自動的に実行するコンピューター プログラムです。 契約の交渉または履行を促進、検証、および実施するために使用できます。 これは、コードを使用して、仲介者を使用せずに自己実行契約を作成する方法です (たとえば、弁護士が遺言を執行するなど)。

ブロックチェーンの外に存在するスマート コントラクトの初期の例の 2010 つは、エスクロー サービスです。 XNUMX 年代初頭、これらはダーク ウェブ マーケットプレイスでトランザクションを実行するデフォルトの方法になりました。これは、法執行機関に対する脆弱性を最小限に抑えるために、人間の入力を少なくする必要がありました。 買い手は資金を配置します – 通常 BTC – エスクロー口座で、スマートコントラクトを実行して、製品が配達されたときに資金を解放します。 

スマート コントラクトの実装は、Szabo の最初の提案から数年間、ニッチであり、ほとんどが理論的なものでした。 しかし、2015 年に Ethereum ブロックチェーンが開始されて以来、スマート コントラクトが独自のものになりました。 

簡単なアイデアは、スマート コントラクトの複雑さが増すにつれて、ブロックチェーン (dApps) 上に完全な分散型アプリケーションを作成できるということです。 の場合 DeFi、これにより、取引、貸付、借入、および一部の保険サービスの作成が可能になりました。 これらはすべて、人間の仲介者を介さないトラストレスの原則に基づいています。

「Code Is Law」を超えて

スマート コントラクトの前史は、間違いなくローレンス レッシグの本から始まります。 「サイバースペースの規範とその他の法律」 (1999)。 その中で彼は、サイバースペース内では、コンピューターコードは現実の法律にほぼ類似しており、それらを置き換えることさえできると主張しました. インターネットが私たちの生活のあらゆる側面に浸透し、政府がビジネスと個人の行動のほぼすべての側面を規制している 2023 年には、この考えは奇妙に思えます。 当時、それは過激でした。

エテリアムチャート
写真: QuoteInspector

しかし、レッシグの本は、「コードは法律である」という長い遺産を持つ XNUMX つのフレーズを世界に与えました。 現代では、これは、数学とコードがあいまいさと操作をどのように取り除くことができるかを説明するための省略表現としてよく使用されます。 それほど簡単であることに誰もが同意するわけではありません。

「私たち全員が見たように ルナ/昨年のTerra、Celsius、FTXとMango DAO 最近 – コードが限界に達し、悪意のある人物が敵対的買収、ハッキング、またはその他の悪意のある利点を利用することができます. Qブロックチェーンのモットーは「Beyond Code Is Law」です。

「より多くの人が Web3 の世界に参入するにつれて、優れたガバナンスにはニュアンスと人間の意図のための余地がさらに必要になります。 「Code is law」は一部の状況では機能しますが、すべてではありません。」

スマートコントラクトには欠点があります 

スマート コントラクト マキシマリストが視野に入れている職業の XNUMX つは、法律専門家です。 コードで法的決定を簡単に実行できるのに、なぜ官僚的な(そして、あなたがどこにいるかによっては腐敗していると言う人もいます)仲裁の階層を持っているのですか。 本質的に、コードはサイバー空間法であるというレッシグの考えを覆す。 なぜコードを 実法?

この考えには、いくつかの簡単な反論があります。裁判所は、広く理解できる方法で、誤った決定を覆し、それらが再び発生する可能性を減らすことができます。 暗号のコンテキストでは、一部の BTC が誤ってまたは不正にある当事者から別の当事者に送信された場合、裁判所は証拠を検討し、資金の返送を命じることができます。 

しかし、ブロックチェーンのような追加のみのシステムでは、そのトランザクションを効果的に石に書き込むことになります。 ブロックチェーンは不変であるため、スマート コントラクトと検証済みのトランザクションを元に戻すことはできず、計り知れないほど複雑になっています。 あなたはできる update バグを修正するためのスマート コントラクト。 ただし、ゲームのパッチをダウンロードするよりもはるかにコストと時間がかかります。

きっと超えられる DeFi 社会のどこかでスマート コントラクトを実装する、と Biagosch は続けます。 「コードだけに頼ることはできますか? コードが現在の方法ではありません。 ニュアンス、意図、複雑さは、今日のスマート コンタクトの限界です。 分散型の社会や組織を構築するには、信頼できないコードと人間の意図を説明するツールを組み合わせる方法を見つける必要があります。」

スマート コントラクト コード

「コードはすべての状況を説明できるわけではありません。 また、人間には、遡及的に考え、意図を判断し、特定の行動が規則に沿っているかどうかを判断する独自の力があります。 「コードは法律である」を超えることは、コードを Web3 の基本的なガバナンス レイヤーとして使用することから離れることを意味するわけではありません。 それは、コードと人間の言語を一緒に使用することを意味します。」

皮肉なことに、欠けているのは人間です

自動販売機のように、スマート コントラクトも人間社会の複雑さに対応することはできません。私たちが一般的に理解しているような「スマート」ではありません。 KCC & ゴダオ.トランザクションを自動的に実行したり、複雑なデータ構造を保存したり、複雑な計算を実行したりすることはできません。費用がかかるため、これらは短期的な問題です。」 

「長期的には、スマート コントラクトまたは DeFi の最大の制限は、現実世界を認識する能力です。 つまり、効率性と安全性に欠けているということです オラクル サードパーティのプロキシを必要とするサービス。 より複雑な保険や現実世界の資産担保ローンなどに対する成熟したソリューションはまだありません。」

スマート コントラクトの明確な手段の XNUMX つは、AI でそれらを強化する可能性です。 機械学習. ChatGPT のようなチャットボットの容赦ない台頭により、それらに「人間のような」次元を追加する可能性が開かれました。 基本的に、トランザクション自体を実行し、巨大なデータセットを呼び出すことができる自己実現型のマシンを作成します。 しかし、AI 言語モデルを使用したことのある人なら誰でも知っているように、それらは完全にはほど遠いものです。 AI が入力を生成した場合、それが正しいものであることをどのように確認できますか?

これは、スマート コントラクトの既存の問題を悪化させるだけです。 それらは、私たちのほとんどが読み書きできないコードで書かれています。

「スマート コントラクトの背後にある設計全体を変更する必要があります」と、共同創設者である Awa Sun Yin 氏は述べています。 アノマ. 「ユーザーがスマート コントラクトを安全かつプライベートに操作するには、直接のスマート コントラクトだけでなく、呼び出される他のスマート コントラクトで何が起きているか、また基礎となるブロックチェーンがどのように機能するかを非常によく理解する必要があります。 これは実行不可能であり、人々がリスクを理解せずにこれらのアプリケーションを使用し、予想外に高い代償を払うことになることがよくあります (エクスプロイト、機密データの漏えいなど)。」

免責事項

当社のウェブサイトに含まれるすべての情報は、誠意を持って、一般的な情報提供のみを目的として公開されています。 当社のウェブサイトに掲載されている情報に対して読者がとる行動は、厳密に自己責任で行ってください。

ソース: https://beincrypto.com/world-run-on-smart-contracts-computer-says-no/