1. 設(shè)計(jì)思想

針對(duì)法律、司法執(zhí)法應(yīng)用場(chǎng)景，將智能合約的許多問題簡(jiǎn)化, 在智能合約的自然語(yǔ)言處理、形式化方法、軟件測(cè)試方面，突出智能合約的核心功能,降低使用智能合約的門檻,使其可靠且高效。

2.模型驅(qū)動(dòng)開發(fā)框架

2.1 合約模板

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

eg. 契約生命周期狀態(tài)

3 原則

3.1 基于過程的原則

基于過程的原則要求律師在合同模板中定義主要權(quán)利和義務(wù)。權(quán)利和義務(wù)將是智能合約的執(zhí)行對(duì)象。

3.2. 托管原則

3.3 預(yù)言機(jī)原則

已經(jīng)通過預(yù)言機(jī)驗(yàn)證過程的數(shù)據(jù)仍然可能不正確。造成錯(cuò)誤的原因包括通信敗、同步錯(cuò)誤或惡意攻擊。為解決這個(gè)問題, 集成數(shù)據(jù)完整性評(píng)分系統(tǒng)。幫助判定數(shù)據(jù)正確性,分?jǐn)?shù)越高越可能正確。

• 如果數(shù)據(jù)來自另一個(gè)具有完整性評(píng)分的區(qū)塊鏈,則記錄些分?jǐn)?shù)并根據(jù)區(qū)塊鏈的完整性級(jí)別調(diào)整積分;
• 如果該區(qū)塊鏈的誠(chéng)信等級(jí)高,保留他的分?jǐn)?shù);如果區(qū)塊鏈誠(chéng)信排名較低,積分也會(huì)降低。

3.4 共識(shí)原則

3.5 問責(zé)原則
3.6 回滾原則

4. 智能合約檢測(cè)

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

一般都是應(yīng)用形式化方法驗(yàn)證智能合約代碼正確，驗(yàn)證對(duì)象不局限于最終代碼,也包括智能合約模型,以便在設(shè)計(jì)層面提前發(fā)現(xiàn)問題。在眾多形式化驗(yàn)證技術(shù)中,模型檢測(cè)較為適合驗(yàn)證智能合約模型。

4.1.基于模型檢測(cè)的智能合約模型驗(yàn)證

• 智能合約的控制結(jié)構(gòu)反映交易中條件分支的觸發(fā)條件及其執(zhí)行過程,交易具有確定性特點(diǎn),因此智能合約系統(tǒng)的狀態(tài)空間是有限的;
• 智能合約計(jì)算復(fù)雜度較低,符合模型檢驗(yàn)等技術(shù)的計(jì)算復(fù)雜度要求。eg. 利用 SPIN模型檢測(cè)工具驗(yàn)證智能合約模板的正確性。

4.2.基于眾包的智能合約代碼的測(cè)試與驗(yàn)證

眾包測(cè)試是軟件測(cè)試的新興趨勢(shì),將測(cè)試任務(wù)拆分,利用眾包平臺(tái)，招聘測(cè)試人員和終端用戶參與測(cè)試任務(wù)。目前眾包測(cè)試已成功應(yīng)用在移動(dòng)平臺(tái)品的可用性測(cè)試、性能測(cè)試、圖形用戶界面（GUI)測(cè)試等。

• 眾包平臺(tái)
  眾包測(cè)試驗(yàn)證平臺(tái)提供通信、搜索引擎、白動(dòng)化評(píng)估、自動(dòng)測(cè)試、形式化驗(yàn)證、事件樹分析等工具。

4.3.已有的工作使用模型檢測(cè)技術(shù)

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

參考
【1】 智能合約重構(gòu)社會(huì)契約 蔡維德 法律出版社 2020 ISBN 9787519748777.

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。