リカード契約

1996年にイアン・グリッグによって発明されたリカード契約は、文書を法律上の契約として記録し、それを会計などの他のシステムに安全にリンクして、契約を価値の発行とする手法である。^{[1] [2] [より適切な情報源が必要]これは、}暗号ハッシュ関数による識別を使用することで堅牢であり、法的な散文に読み取り可能なテキストを使用することで透明性があり、マークアップ言語によって重要な情報を抽出することで効率的である。

リカード契約は、法的合意の定義要素をソフトウェアで表現および実行できる形式で配置します。^[3]

この方法は、1990年代半ばにリカードへの寄稿として完成したイアン・グリッグの研究から生まれたものである^{[4] [より適切な情報源が必要]} 。リカードは、 1995年から1996年にかけてSystemicsによって構築され、このパターンを組み込んだ資産移転システムである。

リカード契約は、次のような単一の文書として定義される^。[1]

1. 発行者が保有者に提供する契約。
2. 保有者が保有し、発行者が管理する価値ある権利に対して、
3. 読みやすい（紙の契約書のように）
4. プログラムで読み取り可能（データベースのように解析可能）
5. デジタル署名、
6. 鍵とサーバー情報を運び、
7. ユニークで安全な識別子と連携

リカード契約は、当事者の合意を時間と領域に分離します。「ボウタイ」表現の左側では、^{[説明が必要]}法的拘束力のある契約の交渉と形成により、その合意の意図をすべて定義する単一の親文書が作成されます。右側では、その契約の履行には、問題の意味から論理的に分離された、会計処理される多くの取引が含まれる可能性があります。^{[引用が必要]}法の世界と会計の世界の結合はハッシュによって形成されます。各取引は、契約のハッシュをすべての関連取引記録に含めることで、当事者の正確な取引の条件を固定しますが、取引の操作と契約の発行は明確に分離されているため、不利なインセンティブは排除されます。^[5]

リカード契約の役割は、契約当事者間の契約関係を記録し、後でプログラムがその契約を履行するのを支援することです。^[要出典]契約形式では、発行者から保有者へのオファーの記録です。 オファーは、通常、 OpenPGPによって提供されるようなプレーンテキストのデジタル署名を使用して、オファー者によってフォーマット内でデジタル署名されます。

契約の承諾は、通常、その契約のハッシュを参照するトランザクションに署名/同意することによって形成されます。高性能な支払いシステムのコンテキストでは、安全な支払いでは、支払い対象となる手段の契約のハッシュ、支払い側と受取側、および単位数が引用されます。^[6]スマートコントラクトシステム では、承諾は契約のコードを操作して合意の状態を前進させることによって実行されます。

ニック・サボの研究で定義されているスマートコントラクトは、すでに合意された契約の自動実行に関連する抽象的な概念です。^[7]一方、リカード契約は、契約の実行前に当事者の合意の意図を捉える設計パターンです。^[要出典]

上記のように、ハッシュを外部文書への参照またはリンクとして使用することで、リカード契約形式は簡単にコードを参照するように拡張できます。^{[3] [8] [より良い情報源が必要]}コードを明示的に参照することで、包括的な法的文章からコードに正当性を渡すことができ、スマートコントラクトの概念を実装できます。^[9]

ブロックチェーンを記述し、スマートコントラクトロジックへの参照を統合するためのリファクタリングにより、リカード契約のハイブリッドバージョンが作成されました。^{[8] [10]}この形式は、{散文、パラメータ、コード}のタプルを提案しており、パラメータは、テンプレートまたはコンポーネントライブラリから単一の取引を作成するために、法的散文とコンピュータコードを詳細化または特殊化できます。^[3]リカードトリプルとしても知られ、ブロックチェーン、スマートコントラクト、IoTデバイス、および人物を記述できます。