Principles of Blockchain Systems
暫譯: 區塊鏈系統原則

這本書是首部介紹區塊鏈系統基礎最新進展的前沿技術書籍。它是由密碼學、分散式系統、形式語言和經濟學專家共同合作的成果，從理論的角度探討區塊鏈的熱門議題：密碼學原語、共識、區塊鏈特性的形式化、應用於區塊鏈的博弈論以及經濟問題。

這本書反映了各位作者的專業知識，旨在幫助尋求理解區塊鏈理論基礎的研究人員、學生和工程師。

Antonio Fernández Anta is a Research Professor at IMDEA Networks. Previously he was on the faculty of the Universidad Rey Juan Carlos (URJC) and the Universidad Politécnica de Madrid (UPM), where he received an award for his research productivity. He was a postdoc at MIT from 1995 to 1997, and spent sabbatical years at Bell Labs Murray Hill and MIT Media Lab. He was awarded the Premio Nacional de Informática Aritmel in 2019 and has been a Mercator Fellow of the SFB MAKI in Germany since 2018. He has more than 25 years of research experience, and more than 200 scientific publications. He was the Chair of the Steering Committee of DISC and has served in the TPC of numerous conferences and workshops. He received his MSc and PhD from the University of SW Louisiana in 1992 and 1994, respectively. He completed his undergraduate studies at the UPM, having received awards at the university and national level for his academic performance. He is a Senior Member of ACM and IEEE.

Chryssis Georgiou is an Associate Professor in the Department of Computer Science at the University of Cyprus. He holds a PhD (2003) and MSc (2002) in Computer Science and Engineering from the University of Connecticut. His research interests span the theory and practice of fault-tolerant distributed computing with a focus on algorithms and complexity. Recent research topics include the specification and implementation of distributed ledgers, the design and implementation of fault-tolerant and strongly consistent distributed storage systems, and the design and analysis of self-stabilizing distributed systems. He has published more than 100 articles in journals and conference proceedings in his area of study and he has co-authored two books on robust distributed cooperative computing. He has served on several program committees of conferences in distributed and parallel computing and on the steering committees of DISC and ACMPODC (he is currently chairing the steering committee). He served as the General Chair of PODC 2015, the Self-Stabilizing Systems Track Program Committee co-Chair of SSS 2017, the General co-Chair of ApPLIED 2018 and ApPLIED 2019, and the PC co-Chair of NETYS 2020. Since January 2018, he has been on the editorial board of Information Processing Letters. Dr. Georgiou's research has been funded by the University of Cyprus, the Cyprus Research and Innovation Foundation, and the European Commission.

Maurice Herlihy has an AB in Mathematics from Harvard University, and a PhD in Computer Science from MIT. He is currently the An Wang Professor of Computer Science at Brown University. He has served on the faculty of Carnegie Mellon University and the staff of DEC Cambridge Research Lab. He is the recipient of the 2003 Dijkstra Prize in Distributed Computing, the 2004 G]odel Prize in theoretical computer science, the 2008 ISCA influential paper award, the 2012 Edsger W. Dijkstra Prize, and the 2013 Wallace McDowell award. He received a 2012 Fulbright Distinguished Chair in the Natural Sciences and Engineering Lecturing Fellowship, and he is a fellow of the ACM, as well as a fellow of theNational Academy of Inventors, theNational Academy of Engineering, and the National Academy of Arts and Sciences. His research focuses on various aspects of parallel and distributed computing, including linearizability, lock-free and wait-free synchronization, transactional memory, concurrent data structures, and blockchain.

Antonio Fernández Anta 是 IMDEA Networks 的研究教授。之前他曾在雷伊胡安卡洛斯大學 (Universidad Rey Juan Carlos, URJC) 和馬德里理工大學 (Universidad Politécnica de Madrid, UPM) 任教，並因其研究生產力獲得獎項。他於 1995 年至 1997 年在麻省理工學院 (MIT) 擔任博士後研究員，並在貝爾實驗室 (Bell Labs) 和 MIT 媒體實驗室度過了休假年。他於 2019 年獲得 Premio Nacional de Informática Aritmel 獎，並自 2018 年以來成為德國 SFB MAKI 的 Mercator Fellow。他擁有超過 25 年的研究經驗，並發表了超過 200 篇科學出版物。他曾擔任 DISC 的指導委員會主席，並在多個會議和研討會的程序委員會中任職。他於 1992 年和 1994 年分別獲得南西路易西安大學 (University of SW Louisiana) 的碩士和博士學位，並在 UPM 完成本科學業，因其學業表現獲得大學和國家級的獎項。他是 ACM 和 IEEE 的資深會員。



Chryssis Georgiou 是塞浦路斯大學 (University of Cyprus) 計算機科學系的副教授。他於 2003 年獲得康涅狄格大學 (University of Connecticut) 的計算機科學與工程博士學位 (PhD) 和碩士學位 (MSc)。他的研究興趣涵蓋容錯分散計算的理論與實踐，重點在於演算法和複雜性。最近的研究主題包括分散帳本的規範和實現、容錯和強一致性分散儲存系統的設計與實現，以及自穩定分散系統的設計與分析。他在其研究領域發表了超過 100 篇期刊和會議論文，並共同撰寫了兩本關於穩健分散合作計算的書籍。他曾在多個分散和並行計算會議的程序委員會任職，並在 DISC 和 ACMPODC 的指導委員會中任職（目前擔任指導委員會主席）。他曾擔任 2015 年 PODC 的總主席、2017 年 SSS 的自穩定系統專題程序委員會共同主席、2018 年和 2019 年 ApPLIED 的總共同主席，以及 2020 年 NETYS 的程序委員會共同主席。自 2018 年 1 月以來，他一直是 Information Processing Letters 的編輯委員會成員。Dr. Georgiou 的研究得到了塞浦路斯大學、塞浦路斯研究與創新基金會以及歐洲委員會的資助。



Maurice Herlihy 擁有哈佛大學的數學學士學位 (AB) 和麻省理工學院的計算機科學博士學位 (PhD)。他目前是布朗大學 (Brown University) 的 An Wang 計算機科學教授。他曾在卡內基梅隆大學 (Carnegie Mellon University) 任教，並在 DEC 劍橋研究實驗室工作。他是 2003 年分散計算 Dijkstra 獎、2004 年哥德爾獎 (Gödel Prize) 的得主，並於 2008 年獲得 ISCA 影響力論文獎、2012 年 Edsger W. Dijkstra 獎和 2013 年 Wallace McDowell 獎。他於 2012 年獲得自然科學與工程講座的 Fulbright 傑出講座獎，並且是 ACM 的院士，以及國家發明家學院、國家工程院和國家藝術與科學院的院士。他的研究專注於並行和分散計算的各個方面，包括線性化、無鎖和無等待同步、事務性記憶、並發資料結構和區塊鏈。