スマート コントラクトの先駆的研究: 「スマート コントラクト」 - Nick Szabo

翻訳者 (UncleDoge) からの注記: 「スマート コントラクト」の概念は、コンピューター サイエンティストであり暗号学の巨匠でもある Nick Szabo 氏によって 1993 年頃に提案されました。1994 年に彼は、スマート コントラクトの先駆的な研究となる論文「Smart Contracts」を執筆しました。ニック・サボは、デジタル契約とデジタル通貨の分野での研究でよく知られています。彼は「スマート コントラクト」という用語と関連する概念を作り出した。スマート コントラクトは、暗号通貨と E プログラミング言語の主要な機能です。ニック・サボは、1998 年に早くも「ビットゴールド」と呼ばれる分散型デジタル通貨の仕組みを設計しました。最終的には幅広い支持が得られなかったため失敗しましたが、ビットコインの最も直接的な先駆者として認識されています。ニック・サボは、ビットコインの背後にいる謎の発明者、サトシ・ナカモトではないかと疑われることが多い。

スマート コントラクトは、契約条件を実行するために使用されるコンピューター化されたトランザクション プロトコルです。スマート コントラクトは通常、一般的な契約要件 (支払条件、差し押さえ命令、プライバシー、さらには法執行など) を満たし、悪意のある偶発的な状況を最小限に抑え、信頼できる仲介者の使用を最小限に抑えるように設計されています。関連する経済目標には、詐欺による損失、仲裁および執行コスト、その他の取引コストの削減が含まれる^[1] 。

現在存在するテクノロジーの一部は、粗雑なスマート コントラクトと考えることができます。たとえば、POS (販売時点管理) マシンとカード、電子データ交換 (EDI)、パブリック ネットワーク帯域幅の需要と供給の割り当てなどです。

数字现金协议^[2]はスマートコントラクトの良い例です。偽造不可能、プライバシー、分割可能性といった紙幣の特性を維持しながら、オンライン決済を可能にします。デジタル キャッシュ プロトコルのファミリーを、スマート コントラクト設計というより広い文脈でもう一度見てみると、これらのプロトコルは、デジタル キャッシュだけでなく、さまざまな電子無記名証券に実装できることがわかります。これらを完全な顧客・サプライヤー取引システムに応用することもできます。私たちにはデジタルキャッシュプロトコル以上のものが必要です。支払いが行われれば商品が発送され、商品が発送されれば代金が受け取られることを完全に保証できるプロトコルが必要です。現在のビジネス システムでは、電子メールによる確認、対面での取引、信用履歴や債権回収会社に基づく信用の拡大など、さまざまな手法を使用してこれを実現しています。スマート コントラクトは、多くの商取引における詐欺や執行コストを大幅に削減する可能性があります。デジタル キャッシュ プロトコルは、暗号化とコンピューター サイエンスの最近の進歩から派生したいくつかの重要な基礎技術を使用します。ほとんどのテクノロジーは、こうした契約上の取り決めを容易にするためにまだ広く活用されていませんが、その可能性は大きいです。これらのサブプロトコル ファミリには、ビザンチン合意、対称および非対称暗号化、デジタル署名、ブラインド署名、カット アンド チョイス、ビット コミットメント、マルチパーティ セキュア計算、秘密共有、忘却転送、マルチパーティ セキュア計算が含まれます。最初のものを除くすべてのプロトコルは^[3]で説明されています。

スマート コントラクト設計が契約法、経済、契約起草戦略に与える影響 (およびその逆) については、ほとんど調査されていません。それ以外にも、特定の契約を執行する際の取引コストを大幅に削減できる可能性や、スマート コントラクトに基づいて新しい商業機関や社会機関を創設する機会は非常に大きいものの、ほとんど検討されていないのではないかと思います。 「サイファーパンク」 ^[4]は、いくつかの新しい基礎プロトコルの政治的意味合いを探求した。電子データ交換 (EDI) の分野では、暗号化やデジタル署名が含まれることもある従来のビジネス取引要素 (請求書、領収書など) の電子取引は、スマート コントラクトの先駆けとみなすことができます。実際、これらのビジネス フォームは、スマート コントラクト設計者にとって優れた出発点とチャネルを提供します。

従来の電子データ交換 (EDI) では見落とされがちなスマート コントラクトの重要なタスクの 1 つは、当事者間でトランザクションのセマンティクスを伝達することです。スマート コントラクトには、「スマート リテンション条項」を導入する機会が十分にあります。つまり、ソフトウェアが取引の一方の当事者を操作できるのです。たとえば、食料品店の POS 端末では、顧客の名前がデータベース内の購入内容と結び付けられているかどうかは通知されません。従業員たちは、自分たちの目の前で何千ものそのような取引を処理していることにさえ気づいていなかった。その結果、隠れたソフトウェア操作を通じて、顧客は自分にとって貴重でプライベートな情報を漏らしてしまうことになります。しかし、契約書は作成されており、取引自体も、取引の重要な側面が顧客から隠されるような形で設計されています。

トランザクションのセマンティクスをより適切に伝えるには、契約の要素を説明する一般的な視覚的なメタファーが必要です。これらの措置により、契約条件の認識と執行に対する制御を失うことなく、契約の詳細を隠すことができます。初期の良い例としては、CommerceNet (B2B 非営利団体) が開発した SecureMosiac ソフトウェアが提供する機能があります。文書を封筒に入れて、文書または封筒にスタンプを押してデジタル署名すると、暗号化されます。一方、モザイク サーバーは、ユーザーに警告することなく、これらの連絡先や、場合によってはトランザクション自体を記録していました。これは、隠れた動作の典型的な例です。

スマートコントラクトが検討されるもう一つの分野は合成型资产^[5]です。これらの新しいタイプの証券は、資産担保証券（債券など）とデリバティブ（オプションや先物）をさまざまな方法で組み合わせたものです。これらの複雑な期間構造を計算分析することで、非常に複雑な期間構造の支払い（支払い時期、金利など）を標準化された契約に組み込み、低コストで取引できるようになりました。

合成資産により、さまざまな顧客が要求するさまざまな満期構造を裁定取引できるようになり、また、契約を設計する際に他の契約を模倣して特定の負債を軽減することも可能になります。後者の場合、合成資産は、外国人投資家がドイツ株式市場でのキャピタルゲインに対してドイツ政府に税金を支払うという要件を満たすことなく、ドイツ企業の株式の利回りを模倣するように構築されます。これらの合成資産は、元の資産のように交渉による議決権を必ずしも必要としない点に注意することが重要です。もちろん、これらのプロトコルは、第三者の管轄区域での取引コスト（税金）が合成資産を介して裁定取引される第三者の管轄区域からの攻撃に対して非常に安全でなければならない可能性があります。

最後に、スマート コントラクトの概念をプロパティに拡張します。智能财产スマート コントラクトを有形オブジェクトに埋め込むことによって作成できます。これらの組み込みプロトコルは、契約条件に基づいて、物件を操作するための鍵の制御を物件の法定代理人に自動的に移行します。たとえば、車の盗難を防ぐために、所有者が正しいチャレンジレスポンスプロトコルを完了しない限り、車は起動されません。自動車がローンを組んで購入され、所有者がローンを返済できない場合、スマートコントラクトは自動的に差押命令を発動し、自動車の鍵の管理権を銀行に引き渡します。このスマート担保権は、レポよりも安価で効果的であるはずです。また、ローンの返済時に担保権が確実に解除され、特定の困難や運用上の状況が排除されるプロトコルも必要です。たとえば、高速道路で時速 75 マイルで走行しているときに車を停止するのは失礼です。

スマート プロパティの実現にはまだまだ時間がかかるかもしれませんが、デジタル キャッシュと合成資産はすでに利用可能であり、さらに多くのスマート コントラクト メカニズムが設計されています。これまで、経済学や暗号化など、非常に異なる分野からの自動契約実行に関する重要な設計原則の間では、相互のコミュニケーションが不足していました。つまり、一方では技術に対する認識が不足しており、他方ではビジネスにおける最適な使用法に対する認識が不足していました。スマート コントラクトの考え方は、共通の目標に向けた取り組みがスマート コントラクトの概念に収束することを認識することです。

ニック・サボの論文集から転載
翻訳者: UncleDoge
編集者：孟達達