スマートコントラクト

スマートコントラクトとは、契約または合意の条件に従ってイベントやアクションを自動的に実行、制御、または記録することを目的としたコンピュータプログラムまたはトランザクションプロトコルです。 ^{[ 1 ] [ 2 ] [ 3 ] [ 4 ]}スマートコントラクトの目的は、信頼できる仲介者の必要性、仲裁コスト、不正損失の削減、および悪意のある例外や偶発的な例外の削減です。^{[ 5 ] [ 2 ]}スマートコントラクトは一般的に暗号通貨と関連付けられており、イーサリアムによって導入されたスマートコントラクトは、分散型金融（DeFi）および非代替性トークン（NFT）アプリケーションの基本的な構成要素として一般的に考えられています。^{[ 6 ]}

2014年にVitalik Buterinが発表したオリジナルのEthereumホワイトペーパー^{[ 7 ]}では、BitcoinプロトコルはNick Szaboが最初に定義したスマートコントラクトの概念の弱いバージョンであると説明し、チューリング完全なSolidity言語に基づいたより強力なバージョンを提案しました。それ以来、さまざまな暗号通貨が、信頼できない当事者間でより高度なスマートコントラクトを可能にするプログラミング言語をサポートしています。 ^{[ 8 ]}

スマートコントラクトは、機械可読コードで表現および実装された選択された条項を持つ、従来の自然言語による法的拘束力のある契約であるスマート法律契約と混同してはならない。 ^{[ 9 ] [ 10 ] [ 11 ]}

1996年までに、ニック・サボは、法律ではなく物理的な財産（ハードウェアやソフトウェアなど）によって強制される契約を指すために「スマートコントラクト」という用語を使用していた。サボはこの概念の例として自動販売機を挙げた。 ^{[ 12 ] [ 13 ]} 1998年には、この用語は、スタンフォードデジタルライブラリープロジェクトの一部であったシステム「スタンフォードインフォバス」の権利管理サービスレイヤーのオブジェクトを説明するために使用された。^{[ 1 ]}

スマートコントラクトは通常、法律上有効な拘束力のある契約とはみなされない。^{[ 14 ]}スマートコントラクトを規制するための提案が存在する。^{[ 9 ] [ 10 ] [ 11 ]}

スマートコントラクトは法的合意ではなく、コンピュータプログラムまたはトランザクションプロトコルによって自動的に実行されるトランザクションです^{[ 14 ]}。例えば、暗号通貨やその他のトークンの送金など、支払い義務を自動化するための技術的手段^{[ 15 ]}などです。一部の学者は、プログラミング言語の命令型または宣言型の性質がスマートコントラクトの法的有効性に影響を与えると主張しています^{[ 16 ] 。}

一部の法域では、法学者がスマートコントラクトの硬直性が契約上の予見不可能性などの伝統的な法理とどのように相互作用するかを検討している。例えば、コロンビアの法学では、司法介入によるスマートコントラクトの効果の逆転に伴う経済的および制度的なコストの高さを説明するために、後発的負担理論（teoría de la imprevisión）を適用することを提案しており、これらのコストを内部化し、デジタル環境向けの新しい手続きメカニズムを開発する必要性を強調している。^{[ 17 ]}

2015年のイーサリアムブロックチェーンのローンチ以来、「スマートコントラクト」という用語は、ブロックチェーン上で行われる汎用計算に適用されてきました。米国国立標準技術研究所は、「スマートコントラクト」を「ブロックチェーンネットワーク上で暗号署名されたトランザクションを使用して展開されるコードとデータ（関数と状態と呼ばれることもある）の集合」と定義しています。^{[ 18 ]}この解釈では、スマートコントラクトはブロックチェーンを使用するあらゆる種類のコンピュータプログラムです。スマートコントラクトは、その実行とコード化された効果（当事者間のトークンの転送など）がブロックチェーン自体を変更せずに操作できないため、安全なストアドプロシージャとみなすこともできます。この解釈では、コントラクトの実行はプラットフォームによって制御および監査され、プラットフォームに接続する任意のサーバー側プログラムによって制御されるわけではありません。^{[ 19 ] [ 20 ]}

2018年に米国上院の報告書は、「スマートコントラクトは新しい概念のように聞こえるかもしれないが、その概念は基本的な契約法に根ざしている。通常、司法制度が契約上の紛争を裁定し、契約条件を執行するが、特に国際取引においては、別の仲裁方法があることも一般的である。スマートコントラクトでは、プログラムがコードに組み込まれた契約を執行する」と述べている。^{[ 21 ]}スマートコントラクトの使用に関する法案を可決した米国の州には、アリゾナ州^{[ 22 ] 、アイオワ州[ 23 ]}、ネバダ州^{[ 24 ]} 、テネシー州^{[ 25 ] 、ワイオミング州[ 26 ]}などがある。

2021年4月、英国管轄タスクフォース（UKJT）は、英国におけるブロックチェーンおよび暗号通貨の法的紛争の迅速な解決を可能にすることを目的としたデジタル紛争解決規則（デジタルDR規則）を公表した。^{[ 27 ]}

2021年、イングランドおよびウェールズの法務委員会は、スマート法律契約は既存の英国法の下で承認および執行可能であると勧告した。^{[ 28 ]}

ブロックチェーン上での価値移転と同様に、ブロックチェーン上でのスマートコントラクトの展開は、ウォレットからブロックチェーンへのトランザクションを送信することによって行われます。^{[ 29 ]} このトランザクションには、スマートコントラクトのコンパイル済みコードと特別な受信者アドレスが含まれます。^{[ 29 ]}このトランザクションは、ブロックチェーンに追加されるブロックに含める必要があり、その時点でスマートコントラクトのコードが実行され、スマートコントラクトの初期状態が確立されます。^{[ 29 ]}ビザンチンフォールトトレラントアルゴリズムは、スマートコントラクトを改ざんしようとする試みから分散的に保護します。スマートコントラクトが展開されると、更新することはできません。^{[ 30 ]}ブロックチェーン上のスマートコントラクトは、任意の状態を保存し、任意の計算を実行できます。エンドクライアントは、トランザクションを通じてスマートコントラクトとやり取りします。スマートコントラクトとのこのようなトランザクションは、他のスマートコントラクトを呼び出すことができます。これらのトランザクションは、状態の変更や、あるスマートコントラクトから別のスマートコントラクト、またはあるアカウントから別のアカウントへのコインの送信につながる可能性があります。^{[ 30 ]}

スマートコントラクトを実行するための最も人気のあるブロックチェーンはイーサリアムです。^{[ 31 ]}イーサリアムでは、スマートコントラクトは通常、 Solidityと呼ばれるチューリング完全なプログラミング言語で記述され、^{[ 32 ]}イーサリアム仮想マシンによって実行される低レベルのバイトコードにコンパイルされます。^{[ 33 ]}停止問題やその他のセキュリティ問題のため、チューリング完全性はリスクとみなされ、Vyperなどの言語では意図的に回避されています。^{[ 34 ] [ 35 ]}チューリング完全性を持たない他のスマートコントラクトプログラミング言語には、Simplicity、Scilla、Ivy、Bitcoin Scriptなどがあります。^{[ 35 ]}新しいプラットフォームの中には、デジタル資産を言語環境内のネイティブデータ型として扱い、コンパイラレベルで有限性と安全性のルールを強制する「資産指向」のドメイン固有言語（Scryptoなど）を検討しているものもあります。^{[ 36 ]}しかし、正規表現を用いた2020年の測定では、当時53,757のイーサリアムスマートコントラクトのうち、停止問題に関連する構造である再帰とループを含むものはわずか35.3%であることが示された。^{[ 37 ]}

形式検証を可能にするように設計された言語はいくつかあります。Bamboo、IELE、Simplicity、Michelson（ Rocqで検証可能）、^{[ 35 ]} Liquidity（Michelsonにコンパイル）、Scilla、DAML、Pactなどです。^{[ 34 ]}

ブロックチェーン上のプロセスは、ビザンチン耐障害性を確保するために一般的に決定論的です。^{[ 45 ]}それにもかかわらず、宝くじやカジノなどのスマートコントラクトの現実世界での応用には、安全なランダム性が必要です。^{[ 46 ]}実際、ブロックチェーン技術は宝くじの実施コストを削減するため、参加者にとって有益です。ブロックチェーン上のランダム性は、ブロックハッシュまたはタイムスタンプ、オラクル、コミットメントスキーム、RANDAO ^{[ 47 ] [ 48 ]}や Quanta などの特別なスマートコントラクト、および混合戦略ナッシュ均衡からのシーケンスを使用して実装できます。^{[ 45 ]}

1998年、Szaboは、スマートコントラクトインフラストラクチャは、複製された資産レジストリと暗号ハッシュチェーンおよびビザンチン耐障害性レプリケーションを使用したコントラクト実行によって実装できると提案した。^{[ 49 ]} Askemosは2002年にこのアプローチを実装し^{[ 50 ] [ 51 ]}、コントラクトスクリプト言語としてScheme（後にSQLiteを追加^{[ 52 ] [ 53 ]} ）を使用した。 ^{[ 54 ]}

ビットコインを複製資産登録および契約実行に使用する提案の1つは「カラーコイン」と呼ばれています。^{[ 55 ]}潜在的に任意の形態の財産の複製タイトルと複製契約実行は、さまざまなプロジェクトで実装されています。

2015年現在UBSは、ビットコインのブロックチェーン^{[ 56 ]}を利用した「スマートボンド」の実験を行っており、支払いの流れを理論的には完全に自動化して、自己支払いの手段を作り出すことができる^{[ 57 ] 。}

相続に関する希望は、スマートコントラクトによって死亡証明書の登録時に自動的に実行される可能性がある。 ^{[ 58 ] [ 59 ]}出生証明書もスマートコントラクトと連携して機能することができる。^{[ 60 ] [ 61 ]}

Inc.comのクリス・スヌーク氏は、スマートコントラクトは不動産取引の処理にも使用でき、権利記録や公的登録簿の分野でも使用できると示唆している。^{[ 62 ] [ 63 ] [ 64 ] [ 65 ] [ 66 ]}

セス・オランバーグとリヤ・パラガシュヴィリは、スマートコントラクトは雇用契約、特に一時雇用契約にも使用できると主張しており、彼らによれば、それは雇用主にとって有益である。^{[ 67 ] [ 68 ]}

ブロックチェーンベースのスマートコントラクトからのトランザクションデータは、ブロックチェーン内のすべてのユーザーから見ることができます。このデータはトランザクションの暗号化ビューを提供しますが、セキュリティホールなどのバグがすべての人に見えているにもかかわらず、すぐに修正できない状況につながります。^{[ 69 ]}このような修正が困難な攻撃は、 2016年6月にThe DAOで成功し、開発者が合意を得られる解決策を見つけようと試みている間に、当時約5,000万米ドル 相当のイーサリアムが流出しました。 ^{[ 70 ]} The DAOプログラムには、ハッカーが資金を持ち出す前に時間遅延が設定されていました。時間制限が切れる前に攻撃者から資金を取り戻すために、イーサリアムソフトウェアのハードフォークが行われました。^{[ 71 ]}その他の注目度の高い攻撃には、 Parityマルチシグネチャウォレット攻撃や整数アンダーフロー/オーバーフロー攻撃（2018年）などがあり、合計で1億8,400万米ドル を超えています。^{[ 72 ]}

特にイーサリアムのスマートコントラクトの問題としては、コントラクト言語Solidityの曖昧さや簡単だが安全でない構造、コンパイラのバグ、イーサリアム仮想マシンのバグ、ブロックチェーンネットワークへの攻撃、バグの不変性、既知の脆弱性、攻撃、問題のある構造を文書化した中央情報源がないことなどが挙げられる。^{[ 38 ]}

スマート法律契約はスマート契約とは異なります。前述のとおり、スマート契約は必ずしも契約として法的に強制力を持つとは限りません。一方、スマート法律契約は、それが執行可能な法域において法的に強制力を持つ契約のすべての要素を備えており、裁判所または法廷によって執行することができます。したがって、すべてのスマート法律契約にはスマート契約の要素がいくつか含まれますが、すべてのスマート契約がスマート法律契約であるとは限りません。^{[ 73 ]}

法律業界にはスマートリーガルコントラクトの正式な定義はありません。^{[ 74 ]}

リカード契約はスマートな法的契約の一種である。^{[ 75 ]}

• サイバースペースの法典およびその他の法律
• 分散型アプリケーション
• イーサリアム
• アルゴリズムによる規制
• アルゴリズムの規制
• リカルディアン契約（当事者の合意の意図を捉えるための設計パターン）^{[ 76 ]}
• ローン
• 安全なマルチパーティ計算
• 透明性