Ricardian_contract
1996 年にイアン・グリッグによって発明されたリカード契約は、法律上の契約として文書を記録し、それを会計などの他のシステムに安全にリンクして、契約を価値の発行として扱う方法です。 暗号化ハッシュ関数による識別の使用により堅牢であり、法的文章の可読テキストの使用により透過的であり、重要な情報を抽出するためのマークアップ言語により効率的です。
リカード契約は、法的合意の定義要素をソフトウェアで表現および実行できる形式にまとめます。
この方法は、1995 年から 1996 年に Systemics によって構築され、パターンが含まれていた資産移転システムであるRicardo への貢献により 1990 年代半ばに完了した Ian Grigg の研究から生まれました。
コンテンツ
1 意味
2 ダイアグラム
3 法的関係
4 スマートコントラクトとの関係
5 参考文献
意味
リカード契約は、次のような単一の文書として定義できます
a) 発行者が保有者に提供する契約、b) 保有者が保有し、発行者が管理する貴重な権利に関するもの、c) 簡単に読むことができる (紙の契約のように)、d) プログラムで読むことができる (データベースのように解析可能) 、e) デジタル署名されている、f) キーとサーバー情報を保持している、および
g) 一意で安全な識別子と関連付けられる
ダイアグラム
リカード契約は、時間と領域を超えて当事者の合意を分離します。「蝶ネクタイ」表現の左側では、法的拘束力のある契約の交渉と形成により、その契約のすべての意図を定義する単一の親文書が作成されます。右側では、その契約の履行には、問題の意味から論理的に分離された、会計処理される多くの取引が含まれる可能性が法律の世界と会計の世界の間の結合はハッシュによって形成されます。各取引は、関連するすべての取引記録に契約のハッシュを含めることによって当事者の正確な取引の条件をロックしますが、取引の運営と契約の発行は明確に分離されており、したがって邪悪なインセンティブは排除されます。
リカード契約要素と生成の BowTie ダイアグラム
法的関係
リカード契約の役割は、契約当事者間の契約関係を把握し、その後のプログラムによる契約の履行を支援することです。契約上の形式では、発行者から保有者へのオファーの記録です。オファーは、通常はOpenPGPによって提供されるような平文のデジタル署名を使用して、オファー側によって形式内でデジタル署名されます。
契約の受諾は通常、その契約のハッシュを参照するトランザクションに署名/同意することによって形成されます。高性能の支払いシステムのコンテキスト内で、安全な支払いには、支払い対象の商品の契約のハッシュ、支払い当事者と受取人、単位の数量が引用されます。スマート コントラクトシステムでは、契約のコードを操作して契約の状態を前進させることによって承認が実行されます。
スマートコントラクトとの関係
Nick Szaboの著書で定義されているスマート コントラクトは、すでに合意された契約の自動実行に関する抽象的な概念ですのに対し、リカード契約は、契約が締結される前に、当事者の合意の意図を捉えるための設計パターンです。パフォーマンス。
上記の外部ドキュメントへの参照またはリンクとして内部のハッシュを使用することにより、リカード契約フォームはコードを参照するように簡単に拡張されます。 コードへの明示的な参照により、包括的な法的文章からコードに正当性が渡され、スマート コントラクトの概念が実装されます。
ブロックチェーンを記述し、スマート コントラクト ロジックへの参照を統合するためのリファクタリングにより、リカード コントラクトのハイブリッド バージョンが作成されました。 この形式は、{散文、パラメータ、コード} のタプルを提案しており、テンプレートまたはコンポーネントのライブラリから単一の取引を作成するために、パラメータによって法律散文とコンピュータ コードを特定または特殊化できます。リカード トリプルとしても知られ、ブロックチェーン、スマート コントラクト、IoT デバイス、および人物を記述することができます。
参考文献
^ イアン、グリッグ （2004)。「リカード契約」。議事録。電子契約に関する第 1 回 IEEE 国際ワークショップ、2004 年。電子契約に関する第 1 回 IEEE 国際ワークショップの議事録。IEEE。25～31ページ。土井: 10.1109/WEC.2004.1319505。ISBN 0-7695-2184-3。
^ チョハン、ウスマン W. （2017 年 12 月 11 日)。「リカード契約とは何ですか？」。サイバースペース法の電子ジャーナル。社会科学研究ネットワーク。SSRN 3085682。 ^ クラック、クリストファー D.; バクシ、ヴィクラム A.。ブレイン、リー （2016)。スマート コントラクト テンプレート: 基礎、設計風景、研究の方向性。arXiv : 1608.00771。
^ イアン、グリッグ 。7 層の金融暗号化。2000 年の金融暗号化会議の議事録。LNCS。Vol. 1， 962。アンギラ、英領西インド諸島: Springer Verlag。
^ フランコ、ペドロ （2014). 「14.5 オープントランザクション」。ビットコインを理解する: 暗号化、エンジニアリング、経済学。ジョン・ワイリー＆サンズ。240–241ページ。ISBN 978-1-119-01916-9。
^ ゲイリー・ハウランド (1996)。「オープンで柔軟な決済システムの開発」。システム学。
^ ニック・サボ(1994). 「スマートコントラクト」。2016 年 3 月 6 日のオリジナルからアーカイブ。2016 年6 月 13 日に取得。
^ イアン、グリッグ （2015)。「すべての連鎖の和 – 収束しよう」 . コインスクラム。
^ ブラウン、リチャード・ジェンダル; カーライル、ジェームズ。グリッグ、イアン。マイク、ハーン （2016)。「コルダ: 入門」(PDF)。2017 年 6 月 6 日のオリジナル(PDF)からアーカイブ。
^ イアン・グリッグ （2015). 「リカードとスマートコントラクトの交差点について」。”