<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>

    首頁 > 期刊 > 自然科學(xué)與工程技術(shù) > 信息科技 > 計算機(jī)軟件及計算機(jī)應(yīng)用 > 軟件學(xué)報 > 面向合同的智能合約的形式化定義及參考實現(xiàn) 【正文】

    面向合同的智能合約的形式化定義及參考實現(xiàn)

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

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

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

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

    我們提供的服務(wù)

    服務(wù)流程: 確定期刊 支付定金 完成服務(wù) 支付尾款 在線咨詢
    主站蜘蛛池模板: 永胜县| 青神县| 和田县| 潼关县| 武汉市| 洞口县| 南木林县| 西盟| 凤城市| 和平县| 宁化县| 乐安县| 睢宁县| 高陵县| 咸宁市| 出国| 武清区| 肇东市| 贵港市| 洛阳市| 方城县| 新丰县| 博客| 元阳县| 勐海县| 浦城县| 苏尼特右旗| 武宣县| 绍兴县| 印江| 寿阳县| 子洲县| 勃利县| 澄迈县| 镇宁| 巧家县| 河津市| 伊金霍洛旗| 宁明县| 芦溪县| 乌苏市|