首頁(yè) > 期刊 > 自然科學(xué)與工程技術(shù) > 信息科技 > 計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用 > 軟件學(xué)報(bào) > 面向合同的智能合約的形式化定義及參考實(shí)現(xiàn) 【正文】
摘要:智能合約是區(qū)塊鏈系統(tǒng)的核心組件,在現(xiàn)實(shí)中廣泛應(yīng)用.然而,目前沒(méi)有關(guān)于智能合約的統(tǒng)一定義,在不同的區(qū)塊鏈平臺(tái)上,智能合約的實(shí)現(xiàn)也相差甚遠(yuǎn).這樣將影響公眾對(duì)智能合約的認(rèn)知,也對(duì)產(chǎn)業(yè)的發(fā)展造成障礙.回顧了智能合約的發(fā)展歷史,梳理其概念的變化過(guò)程.歸納智能合約的本質(zhì),對(duì)現(xiàn)有智能合約的實(shí)現(xiàn)進(jìn)行了分析和對(duì)比.給出了面向合同的智能合約的形式化定義,為智能合約的標(biāo)準(zhǔn)化奠定基礎(chǔ).提出了獨(dú)立于區(qū)塊鏈平臺(tái)的、通用的智能合約實(shí)現(xiàn)方法.在目前廣泛應(yīng)用的聯(lián)盟鏈區(qū)塊鏈平臺(tái) Hyperledger Fabric 上面進(jìn)行了具體實(shí)現(xiàn).最后對(duì)未來(lái)工作進(jìn)行了展望.
注:因版權(quán)方要求,不能公開(kāi)全文,如需全文,請(qǐng)咨詢雜志社
主管單位:中國(guó)科學(xué)院;主辦單位:中國(guó)科學(xué)院軟件研究所;中國(guó)計(jì)算機(jī)學(xué)會(huì)
一對(duì)一咨詢服務(wù)、簡(jiǎn)單快捷、省時(shí)省力
了解更多 >直郵到家、實(shí)時(shí)跟蹤、更安全更省心
了解更多 >去除中間環(huán)節(jié)享受低價(jià),物流進(jìn)度實(shí)時(shí)通知
了解更多 >正版雜志,匹配度高、性價(jià)比高、成功率高
了解更多 >