前　　言
背景與動(dòng)機(jī)
具體哪一年第一次聽說區(qū)塊鏈這個(gè)詞，我已經(jīng)記不清了，但對(duì)當(dāng)時(shí)那種新奇的感覺記憶猶新。在我每個(gè)學(xué)年開設(shè)的軟件質(zhì)量保證課程中，“軟件新技術(shù)介紹”部分是從2017年開始引入?yún)^(qū)塊鏈知識(shí)點(diǎn)的，因?yàn)橛姓n件可查，所以我記得清楚。到2019年，隨著中共中央政治局組織集體學(xué)習(xí)區(qū)塊鏈，區(qū)塊鏈技術(shù)的熱度到達(dá)了頂峰，全國各地的各級(jí)政府都開始學(xué)習(xí)和了解這項(xiàng)新技術(shù)。憑著前面幾年的學(xué)習(xí)和積累，在朋友和同事們的鼓勵(lì)和支持下，我也應(yīng)邀開始進(jìn)行 “區(qū)塊鏈技術(shù)及應(yīng)用”科普講座，聽眾經(jīng)常達(dá)300多人。
為了做好每場報(bào)告，我學(xué)習(xí)了很多相關(guān)材料，深切地感受到大家對(duì)區(qū)塊鏈技術(shù)滿懷期待，越來越覺得應(yīng)該把區(qū)塊鏈的知識(shí)系統(tǒng)梳理一下，形成一本講義，并準(zhǔn)備申請(qǐng)?jiān)谀暇┐髮W(xué)計(jì)算機(jī)系給本科生和研究生開設(shè)一門課程。
恰逢2020年的全球新冠肺炎疫情，大家都居家辦公，無人來訪，我也不能訪問別人，正好安心讀書，安心著書立說。于是先做一本講義，試用了三年時(shí)間，改進(jìn)后再出版為教材。
其實(shí)，促成這本教材的關(guān)鍵是2020年年初我遇見了30年前的學(xué)長鄭志強(qiáng)教授，他目前擔(dān)任得克薩斯大學(xué)達(dá)拉斯分校Ashbel Smith 講席教授，是信息系統(tǒng)和金融學(xué)雙聘教授，博士畢業(yè)于沃頓商學(xué)院信息系統(tǒng)專業(yè)，是信息系統(tǒng)領(lǐng)域國際知名學(xué)者，目前研究領(lǐng)域包括區(qū)塊鏈、金融科技、智慧健康等。鄭教授在區(qū)塊鏈研究中專長于數(shù)據(jù)資產(chǎn)的通證化設(shè)計(jì)和管理，帶領(lǐng)團(tuán)隊(duì)自主開發(fā)了多項(xiàng)區(qū)塊鏈應(yīng)用，包括水產(chǎn)品區(qū)塊鏈溯源、數(shù)據(jù)算法交易等。他還為多家金融科技初創(chuàng)公司提供技術(shù)支持，包括資產(chǎn)通證化估值和管理、供應(yīng)鏈金融區(qū)塊鏈化等。他是在美國管理學(xué)院最早一批開設(shè)區(qū)塊鏈課程的教授，從2015年開始就講授區(qū)塊鏈技術(shù)和應(yīng)用。
我的博士生陸超逸從2017年開始，一直研究分布式系統(tǒng)的測試與形式化驗(yàn)證。2019年年初，他響應(yīng)政府號(hào)召，順應(yīng)時(shí)代發(fā)展潮流，開始轉(zhuǎn)戰(zhàn)區(qū)塊鏈系統(tǒng)的測試和形式化驗(yàn)證。
他對(duì)這個(gè)領(lǐng)域進(jìn)行了系統(tǒng)的調(diào)研和深入的研究，并為本書的編寫做了大量的工作。
高維忠是美國甲骨文公司的資深程序員，也是我在南京大學(xué)和園的鄰居，一直對(duì)區(qū)塊鏈懷有很高的興趣。我們晚上一起在南京大學(xué)和園西邊的九鄉(xiāng)河公園散步時(shí)，經(jīng)常討論區(qū)塊鏈的精髓和各種應(yīng)用，探索下一個(gè)區(qū)塊鏈的殺手級(jí)應(yīng)用會(huì)出現(xiàn)在哪里，以及區(qū)塊鏈如何像互聯(lián)網(wǎng)那樣深刻地改變?nèi)藗兊纳�活�?br />內(nèi)容組織
市面上關(guān)于區(qū)塊鏈的書有不少，但缺乏把區(qū)塊鏈核心技術(shù)、工程開發(fā)及應(yīng)用系統(tǒng)地講述透徹且適合于中高級(jí)層次（如研究生）學(xué)習(xí)的教材。本書首先闡述區(qū)塊鏈在數(shù)字經(jīng)濟(jì)中的意義；然后從區(qū)塊鏈基礎(chǔ)技術(shù)入手，系統(tǒng)地解釋了加密算法、共識(shí)、分布式計(jì)算、通證、去中心化、智能合約等核心技術(shù)在區(qū)塊鏈中如何實(shí)現(xiàn)；其后分別開單章全面介紹比特幣、以太坊、超級(jí)賬本三個(gè)目前最通用的區(qū)塊鏈體系，涵蓋公有鏈、聯(lián)盟鏈和私有鏈的三大體系，總結(jié)了區(qū)塊鏈的一般技術(shù)體系，并專門介紹了公有鏈技術(shù)架構(gòu)和BaaS?；之后，介紹了區(qū)塊鏈工程開發(fā)，包括常用的以太坊體系的Solidity和超級(jí)賬本體系的Fabric，以及區(qū)塊鏈項(xiàng)目開發(fā)中的軟件測試方法、區(qū)塊鏈的安全與監(jiān)控；再后，結(jié)合實(shí)例介紹了各種應(yīng)用場景，如溯源、存證、票據(jù)、支付、供應(yīng)鏈金融等，并著眼于未來，探討了區(qū)塊鏈的一些可能應(yīng)用，如通證經(jīng)濟(jì)、去中心化金融、數(shù)據(jù)交易等；最后，本書以討論區(qū)塊鏈的未來發(fā)展收尾，探討了新興技術(shù)（如量子計(jì)算和零知識(shí)證明）對(duì)區(qū)塊鏈的影響，以及未來區(qū)塊鏈如何與大數(shù)據(jù)、物聯(lián)網(wǎng)、人工智能相結(jié)合。
致謝
本書編寫過程中得到了南京大學(xué)計(jì)算機(jī)系各位老師的幫助，這里特別感謝計(jì)算機(jī)系副主任仲盛教授，以及陳力軍教授、申富饒教授和柏文陽副教授等給予的鼓勵(lì)和支持。感謝江蘇省計(jì)算機(jī)學(xué)會(huì)金瑩秘書長的大力支持。
感謝2017～2022年這6年來選修我的區(qū)塊鏈技術(shù)與應(yīng)用課程的本科生和研究生，他們?yōu)槲业闹v義提出了很多有價(jià)值的意見和建議。
本書的編寫得到國家自然科學(xué)項(xiàng)目“智能軟件測試的若干關(guān)鍵問題研究”（項(xiàng)目編號(hào)：62072226）的資助。區(qū)塊鏈技術(shù)已經(jīng)成為信息技術(shù)的基礎(chǔ)，將來也是智能化軟件的基礎(chǔ)，未來要做好這個(gè)關(guān)于智能化軟件測試的研究項(xiàng)目，深入研究區(qū)塊鏈技術(shù)與應(yīng)用是必不可少的基礎(chǔ)。同時(shí)，我們也得到了南京大學(xué)軟件新技術(shù)國家重點(diǎn)實(shí)驗(yàn)室、南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系、華為科技有限公司等項(xiàng)目和單位的支持，在此一并表示感謝。

編者于南京大學(xué)仙林校區(qū)計(jì)算機(jī)科學(xué)與技術(shù)樓
2022年5月10日