摘要：當(dāng)前金融機(jī)構(gòu)正在尋求使用區(qū)塊鏈技術(shù)重構(gòu)關(guān)鍵性應(yīng)用軟件。通常,設(shè)計(jì)者引用通信順序進(jìn)程(CSP)庫(kù)去構(gòu)建這些軟件,便可方便套用CSP模型去驗(yàn)證軟件在并發(fā)通信過(guò)程中的安全性。然而,在現(xiàn)有的CSP庫(kù)中,通道以面向?qū)ο蠓绞奖怀橄?、設(shè)計(jì)和實(shí)現(xiàn),在名稱(chēng)解析、序列化和反序列化方面存在單點(diǎn)故障和額外開(kāi)銷(xiāo),設(shè)計(jì)者難以使用他們來(lái)構(gòu)建大規(guī)模網(wǎng)絡(luò)分布式應(yīng)用。利用Kademlia網(wǎng)絡(luò)實(shí)現(xiàn)的路由算法,對(duì)CSP模型中提出的通道進(jìn)行重新抽象,并把它設(shè)計(jì)為由一組遠(yuǎn)程調(diào)用過(guò)程構(gòu)成的網(wǎng)絡(luò)服務(wù),使其具有改良的可靠性和擴(kuò)展性,為設(shè)計(jì)者在區(qū)塊鏈網(wǎng)絡(luò)中開(kāi)發(fā)大規(guī)模、安全的分布式應(yīng)用提供了現(xiàn)實(shí)意義。