1. 設計思想

針對法律、司法執法應用場景，將智能合約的許多問題簡化, 在智能合約的自然語言處理、形式化方法、軟件測試方面，突出智能合約的核心功能,降低使用智能合約的門檻,使其可靠且高效。

2.模型驅動開發框架

2.1 合約模板

相比將合法且有效的合同翻譯成智能合約, 本書通過領域分析來開發智能合約模權, 提供的合約模板可以在開發過程中重復使用，且模板涵蓋某一領域中智能合約通用的協議條款。

eg. 契約生命周期狀態

3 原則

3.1 基于過程的原則

基于過程的原則要求律師在合同模板中定義主要權利和義務。權利和義務將是智能合約的執行對象。

3.2. 托管原則

3.3 預言機原則

已經通過預言機驗證過程的數據仍然可能不正確。造成錯誤的原因包括通信敗、同步錯誤或惡意攻擊。為解決這個問題, 集成數據完整性評分系統。幫助判定數據正確性,分數越高越可能正確。

• 如果數據來自另一個具有完整性評分的區塊鏈,則記錄些分數并根據區塊鏈的完整性級別調整積分;
• 如果該區塊鏈的誠信等級高,保留他的分數;如果區塊鏈誠信排名較低,積分也會降低。

3.4 共識原則

3.5 問責原則
3.6 回滾原則

4. 智能合約檢測

仿真過程中、智能合約模型在指定一組數據輸入后運行,輔助用戶確認模型邏輯,但難以枚舉全部輸入數據,因此不能保證智能合約模型完全正確,形式驗證能夠與仿真方法互補。

一般都是應用形式化方法驗證智能合約代碼正確，驗證對象不局限于最終代碼,也包括智能合約模型,以便在設計層面提前發現問題。在眾多形式化驗證技術中,模型檢測較為適合驗證智能合約模型。

4.1.基于模型檢測的智能合約模型驗證

• 智能合約的控制結構反映交易中條件分支的觸發條件及其執行過程,交易具有確定性特點,因此智能合約系統的狀態空間是有限的;
• 智能合約計算復雜度較低,符合模型檢驗等技術的計算復雜度要求。eg. 利用 SPIN模型檢測工具驗證智能合約模板的正確性。

4.2.基于眾包的智能合約代碼的測試與驗證

眾包測試是軟件測試的新興趨勢,將測試任務拆分,利用眾包平臺，招聘測試人員和終端用戶參與測試任務。目前眾包測試已成功應用在移動平臺品的可用性測試、性能測試、圖形用戶界面（GUI)測試等。

• 眾包平臺
  眾包測試驗證平臺提供通信、搜索引擎、白動化評估、自動測試、形式化驗證、事件樹分析等工具。

4.3.已有的工作使用模型檢測技術

• 使用行為交互優先(Behavior Interaction Priority ,BIP)模型檢測工具驗證智能合約代碼、區塊鏈執行協議和用戶行為
• 使用 Maude模型檢測工具驗證智能合約代碼的并發問題
• 使用行為交互優先（Communicating Sequential Processes ,CSP)理論和失效—發散精化
• （Failures-Divergences Refinement, FDR)模型檢測工具驗證智能合約代碼的并發漏洞
• 使用NuSMV模型檢測工具驗證智能合約代碼(Theories , SMT)驗證智能符合需求。
• 使用可滿足性模理論(Satisfiability Modulo Theories)

參考
【1】 智能合約重構社會契約 蔡維德 法律出版社 2020 ISBN 9787519748777.

總結

以上是生活随笔為你收集整理的智能合约重构社会契约 （5）比特犬模型实现智能合约的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。