<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>

    首頁 > 期刊 > 自然科學與工程技術 > 信息科技 > 計算機軟件及計算機應用 > 軟件學報 > 面向合同的智能合約的形式化定義及參考實現 【正文】

    面向合同的智能合約的形式化定義及參考實現

    王璞巍; 楊航天; 孟佶; 陳晉川; 杜小勇 中國人民大學信息學院; 北京100872; 數據工程與知識工程教育部重點實驗室(中國人民大學); 北京100872
    • 區塊鏈
    • 智能合約
    • 以太坊
    • 超級賬本

    摘要:智能合約是區塊鏈系統的核心組件,在現實中廣泛應用.然而,目前沒有關于智能合約的統一定義,在不同的區塊鏈平臺上,智能合約的實現也相差甚遠.這樣將影響公眾對智能合約的認知,也對產業的發展造成障礙.回顧了智能合約的發展歷史,梳理其概念的變化過程.歸納智能合約的本質,對現有智能合約的實現進行了分析和對比.給出了面向合同的智能合約的形式化定義,為智能合約的標準化奠定基礎.提出了獨立于區塊鏈平臺的、通用的智能合約實現方法.在目前廣泛應用的聯盟鏈區塊鏈平臺 Hyperledger Fabric 上面進行了具體實現.最后對未來工作進行了展望.

    注:因版權方要求,不能公開全文,如需全文,請咨詢雜志社

    投稿咨詢 免費咨詢 雜志訂閱

    我們提供的服務

    服務流程: 確定期刊 支付定金 完成服務 支付尾款 在線咨詢
    主站蜘蛛池模板: 长白| 会宁县| 白银市| 合江县| 岐山县| 招远市| 凤山县| 高安市| 枣庄市| 农安县| 永安市| 皮山县| 康马县| 武城县| 大兴区| 文安县| 石台县| 綦江县| 万山特区| 都江堰市| 大兴区| 翁牛特旗| 宝坻区| 安多县| 屏山县| 青岛市| 应城市| 凌源市| 武冈市| 修武县| 涿鹿县| 华容县| 濮阳市| 宣武区| 靖安县| 兰西县| 桃源县| 南靖县| 磐安县| 黄浦区| 沽源县|