何積豐院士如何推薦《區塊鏈實戰：從技術創新到商業模式》？

作者： 冒志鴻（ArcBlock 執行長、首席架構師）

2019 年 12 月 6 日，我在上海同濟大學的一次學術會議上有幸初會中國科學院院士何積豐先生，雖然過去有一些學術上的來往，但都是書信和文章形式，而且我遠在大洋彼岸一直未有機會當面交流。在給何院士介紹我們區塊鏈產品和技術的時候，我剛好想起前幾天的北京之行時，答應了中信出版集團前沿出版社王律主編一項「不可能完成的任務」——在 2020 年春節前完稿一本 15 萬字關於區塊鏈技術實戰的「商業書籍」，就邀請何院士能否為這本書寫一篇推薦序——從某個角度而言，這更是一項「不可能中之不可能的任務」，沒想到何院士很認真地說，「把書稿讓我讀一讀，如果我認可你書中的觀點，並且這本書的確對區塊鏈技術的發展普及有積極意義，我會考慮的。」

在今年春節前書稿完成後，我給何院士發去了草稿，原本沒有抱持特別高的期待，畢竟時間比較倉促。沒想到幾週後，何院士對書提了很多看法和細節修改的意見，並且告訴我他非常欣賞並鼓勵我這本書的寫法，最後為我們的《區塊鏈實戰》落筆寫了一篇中肯的推薦序。

在此分享何積豐院士的推薦序，以誌感謝。

《區塊鏈實戰：從技術創新到商業模式》推薦序

何積豐

最近，全社會掀起了學習區塊鏈的熱潮，區塊鏈相關的報導、文章、講座、書籍層出不窮，對其基本概念、技術原理和應用前景都做了頗為詳盡的介紹，但我更關注區塊鏈技術究竟如何應用落地，為國計民生帶來哪些具體應用場景和價值。

在這個時候，我讀到《區塊鏈技術應用實戰指南》這本書。作者以其三年來區塊鏈創新技術應用的親身實踐寫成的書籍，有望幫助廣大讀者在面對區塊鏈這一全新技術時開闊視野。

這本書目標明確，旨在盡可能降低閱讀門檻，為不具備 IT 技術背景的讀者準確介紹區塊鏈的歷史發展、技術趨勢及其應用，深入淺出地幫助讀者從更高層的視角獲得全景式了解，並對如何應用區塊鏈技術形成自己的認知判斷；這本書體系完整明晰，從區塊鏈技術本質及發展趨勢、破除對區塊鏈的誤解和迷思，到企業應用區塊鏈的決策框架，再到區塊鏈應用進展實例，全書四部分層層深入，從基礎概念到深入理解，從決策框架到實戰案例，由淺入深、由虛入實、由面到點，無論是對區塊鏈感興趣的普通讀者，還是考慮應用區塊鏈的機構決策者都能形成完整的認識，各有裨益。

讓我眼前一亮的是，這本書從把握區塊鏈是電腦科技進步這一本質定位入手，對層出不窮的行業新名詞新概念進行辨析和去魅，注重區塊鏈在各行各業的普適性應用，介紹了由作者冒志鴻帶領其創業團隊 ArcBlock 區塊基石傾力研發的區塊鏈應用開發雲端運算平台，為今天網際網路如何克服日趨中心化壟斷的侷限、向價值網際網路轉型升級提供了一條可能的實現途徑。

值得稱許的是，這本書不滿足於認知務虛層面的革新，更注重技術應用的實戰落地，分享第一手資料，介紹了 ArcBlock 基於兩年多來參與一系列政府區塊鏈項目研討和招標、與來自各行各業的企業客戶合作應用區塊鏈技術而提煉形成的區塊鏈多層決策框架，以幫助企業管理者評估其何時使用區塊鏈、驗證不同用例，以及如何找到並採用市場上最合適的區塊鏈解決方案等實際需求，並分享了數據上鏈、去中心化身分、區塊鏈證書和共享經濟等 4 個場景 11 個團隊親身主導或參與的項目案例和產品。

按照新興技術發展成熟度曲線來看，區塊鏈距離技術成熟期還要 5 到 10 年。在這樣一個蟄伏蓄勢的階段，《區塊鏈技術應用實戰指南》值得讀者閱讀。作者不隱瞞自己鮮明的觀點和立場，結合自己過去從軟體、網際網路、行動網際網路時代獲得的親身經驗，對仍處於早期階段的區塊鏈大膽做出自己判斷和分析，並將其方法論傾囊相授，希望幫助讀者獲得自己的認知和判斷。

何積豐（中國科學院院士、電腦軟體專家）： 1943 年 8 月生於上海市。1965 年畢業於復旦大學數學系。1965 年起在華東師範大學工作，先後任助教、講師，1986 年晉升為教授。1980 年至 1981 年，在美國史丹佛大學、舊金山大學擔任訪問學者；1983 年至 1988 年在英國牛津大學電腦實驗室任高級研究員，1998 年起任聯合國大學國際軟體技術研究所高級研究員。2002 年成為華東師範大學首批終身教授，2005 年當選中國科學院院士。

何積豐從 1980 年起從事程式設計理論及其應用研究。1986 年和 C.A.R.Hoare 提出了「程式分解算子」，並將規範語言與程式語言看成是同一類數學物件。接著又提出了採用「關係代數」作為程式和軟體規範的統一數學模型，使得關係代數可用來描寫程式的分解和組合過程，直接支持軟體的開發。在數據精化方面，給出了處理非確定性程式語言數據精化的完備方法。1995 年，在總結了多類程式語言語義理論和方法的基礎上，與 C.A.R.Hoare 提出了程式設計統一理論和連接各類程式理論的數學法則。還提出了用形式化的介面理論溝通幾種程式語言，以及非確定性資料流的數學模型及代數定律。近年來，研究的軟硬體協同設計系統，為減少系統單晶片設計時間和降低成本提供了有益的方法。

何積豐在國際上獲得的地位讓同行們仰視：聯合國大學國際軟體技術研究所高級研究員，英國牛津大學客座教授，牛津大學計算實驗室高級研究員，兩度獲最高科研獎——英國先進科技女王獎。他被國際電腦科學界譽為模型導向軟體開發方法的奠基石。他在安全軟體設計方面的論著被國際軟體界廣泛引用。他率先提出關係程式設計語言，這項工作被歐洲電腦界認為是繼過程語言、函數程式、邏輯程式之後的第四類程式語言的先驅，他因而被歐洲軟體界權威人士讚譽為「軟體設計技術上的一座里程碑」。