區塊鏈 - 裡卡迪安合約



裡卡迪安合約首次出現在Ian Grigg在20世紀90年代後期發表的論文“七層金融密碼學”中。這些合約最初是在一個名為Ricardo的債券交易和支付系統中實現的。

裡卡迪安合約的核心概念是建立一個既被法律機構又被計算機系統理解和識別的文件。它們透過明確標識發行者並詳細說明文件中的所有條款和條件來解決網際網路上的價值發行問題,從而確保其作為具有法律約束力的合同的有效性。

裡卡迪安合約的特徵

裡卡迪安合約具有以下幾個關鍵特徵:

  • 它是發行者向持有人提供的合約。
  • 它代表持有人擁有的有價值的權利,由發行者監管。
  • 它設計易於個人理解(類似於傳統的紙質合同)。
  • 它結構化以便程式讀取(可解析,類似於資料庫)。
  • 它包含數字簽名。
  • 它包含金鑰和伺服器詳細資訊。
  • 它與一個獨特的安全識別符號相關聯。

裡卡迪安合約 - 蝴蝶結模型

在實踐中,合同的執行涉及建立一個單一文件,該文件將合同條款用法律語言以及必要的機器可讀標籤封裝在一起。該文件由發行者使用其私鑰進行數字簽名。

隨後,它透過訊息摘要函式進行雜湊運算,生成一個作為文件識別符號的唯一雜湊值。然後,在合同執行期間,相關方使用並簽署此雜湊值,將每個交易連結到識別符號雜湊值,從而提供意圖的證據。

此過程在附圖中進行了說明,通常稱為“蝴蝶結模型”。

Bowtie Model

該圖包括幾個元件,將在下一節中解釋:

  • 左側描繪了“法律世界”,指示文件的來源。該文件是一份法律撰寫的合同,附帶機器可讀標籤。
  • 之後,文件被雜湊。
  • 生成的摘要在“會計世界”中充當識別符號。

裡卡迪安合約 - 會計世界

“會計世界”包括業務運營中使用的所有會計、交易和資訊系統。此流程背後的概念是,從文件雜湊生成的摘要最初用於創世交易或第一筆交易。

此後,它作為整個合同執行執行過程中所有交易的識別符號。這在原始書面合同和“會計世界”中的每筆交易之間建立了安全的連線。

裡卡迪安合約 - 語義型別

裡卡迪安合約的語義可以分為兩種不同的型別:

操作語義

這些是指合同的實際執行、正確性和安全性,而指稱語義則側重於整個合同的現實世界影響。一些學者區分了智慧合約程式碼和智慧法律合約,認為智慧合約主要處理協議的執行方面。

指稱語義

這些語義包含法律協議的指稱和操作方面。雖然根據這些語義差異對智慧合約進行分類是合乎邏輯的,但將智慧合約視為能夠封裝法律語言和程式碼(業務邏輯)的獨立實體更為有利。

裡卡迪安合約與智慧合約

裡卡迪安合約與智慧合約的區別在於,後者不涉及任何正式合同,主要側重於執行協議條款。相反,裡卡迪安合約強調建立包含法律語言和語義深度的文件。

Ricardian Contract Vs. Smart Contracts

下一節清楚地說明了這種區別:

特徵 裡卡迪安合約 智慧合約
重點 人類可讀和理解的法律檔案 自動執行和執行合同條款
優勢 清晰地傳達合同條款,作為法律記錄 高效可靠地履行合同義務
表現形式 自然語言(散文)、計算機可讀程式碼和引數的組合 用特定程式語言編寫的程式碼
Ricardo Vs Bitcoin

讓我們以比特幣技術為例。

在比特幣的背景下,人們可以觀察到智慧合約的基本實現,它利用條件邏輯,其目的僅僅是執行和履行合同。

相反,裡卡迪安合約旨在生成一個對人類易於理解的文件,同時還包含計算機程式可以解釋的元素。

廣告
© . All rights reserved.