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