智能合約工程 胡凱 9787121476235 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：電子工業
物品所在地：中國大陸
原出版社：電子工業
NT$508
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202404*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：智能合約工程 ISBN：9787121476235 出版社：電子工業 著編譯者：胡凱 頁數：295 所在地：中國大陸 *此為代購商品 書號：1639259 可大量預訂，請先連絡。 內容簡介 本書提出和論述了智能合約工程的概念、主要內容和技術體系，在介紹相關思想、理念，以及現有主要智能合約系統基本原理的基礎上，主要論述了智能合約的工程化開發方法、智能合約法律化、智能合約形式化設計與驗證方法、智能合約即服務、智能合約并行化等新理論和方法。本書適合從事區塊鏈和智能合約研究開發的科研人員參考，以及大學相關專業的本科生和研究生使用。作者簡介 胡凱，北京航空航天大學計算機學院教授、博士生導師，北航雲南創新研究院數字經濟研究所所長，雲南省區塊鏈應用技術重點實驗室主任。國內區塊鏈研究的早期開拓者之一，提出並發展了智能合約工程（SCE）、驗證即服務（VaaS）和智能合約即服務（SCaaS）等創新區塊鏈理論與方法，先後主持區塊鏈領域國家重點研發計劃、國家基金、教育部基金等多個重大項目。主持制定發布中國電子學會國內首個區塊鏈智能合約形式化設計與驗證標準，聯合主編《分散式計算系統導論》《智能合約工程》等國家規劃和部級基金教材。主持研發北航鏈（TrustChain）、鏈上數據管理系統（OpenData）和智能合約形式化設計與驗證平台（ModelSC）等系列產品，在區塊鏈雙碳、能源、製造業、生物多樣化、大數據資產化，以及省級區塊鏈基礎設施建設等多個領域廣泛應用。目錄 第1章 智能合約技術革命1 1 區塊鏈帶來的技術革命 1 1 1 區塊鏈帶火了智能合約 1 1 2 數字社會發展趨勢 1 1 3 合約的意義 1 2 智能合約的價值 1 2 1 智能合約的起源 1 2 2 智能合約的定義 1 2 3 智能合約與區塊鏈結合的意義 1 3 智能合約的發展 1 3 1 智能合約的特點 1 3 2 智能合約的應用 1 3 3 智能合約存在的問題 本章小結 第2章 區塊鏈基礎 2 1 區塊鏈的基本思想 2 2 區塊鏈系統結構 2 2 1 區塊鏈系統分層架構 2 2 2 區塊鏈的分類與典型結構 2 2 3 區塊鏈結構的特點 2 3 區塊鏈的數據結構 2 3 1 區塊及鏈式結構 2 3 2 哈希演算法 2 3 3 Merkle樹 2 4 區塊鏈共識演算法 2 4 1 PoW演算法 2 4 2 PoS演算法 2 4 3 DPoS演算法 2 4 4 拜占庭將軍問題 2 4 5 PBFT演算法 2 5 區塊鏈可擴展技術 2 5 1 側鏈技術 2 5 2 分叉技術 2 5 3 中間轉發 2 5 4 未來區塊鏈架構 2 6 區塊鏈設計案例 本章小結 第3章 智能合約設計原理 3 1 智能合約模型與設計 3 1 1 智能合約基本模型 3 1 2 模型應用 3 1 3 智能合約存儲模型 3 1 4 智能合約執行模型 3 1 5 智能合約系統設計 3 2 眾籌智能合約設計 3 2 1 眾籌區塊鏈架構 3 2 2 眾籌智能合約的業務設計 3 2 3 眾籌智能合約的系統設計 3 2 4 眾籌智能合約的詳細設計 3 2 5 智能行業執行機制設計 3 3 養老保險智能合約設計 3 3 1 原生智能合約 3 3 2 用戶智能合約 3 3 3 智能合約自動觸發機制 本章小結 第4章 以太坊智能合約 4 1 以太坊基本原理 4 1 1 以太坊介紹 4 1 2 以太坊基本概念 4 1 3 以太坊系統架構 4 2 以太坊智能合約原理 4 2 1 智能合約模型 4 2 2 智能合約運行原理 4 3 以太坊智能合約編程方法 4 3 1 搭建本地鏈 4 3 2 合約編寫 4 3 3 合約發布 4 3 4 合約執行 4 4 以太坊智能合約編程示例 4 4 1 場景介紹 4 4 2 偽代碼 4 4 3 合約代碼 4 4 4 合約測試 4 5 案例：基於以太坊的多簽錢包 本章小結 第5章 Fabric智能合約 5 1 Fabric原理 5 1 1 Fabric簡介 5 1 2 服務模塊 5 1 3 基本術語 5 2 Fabric智能合約原理 5 2 1 智能合約模型 5 2 2 智能合約實現 5 3 Fabric智能合約編程方法 5 3 1 構建Fabric智能合約開發環境 5 3 2 鏈碼生成 5 3 3 鏈碼部署 5 3 4 鏈碼執行 5 4 Fabric智能合約編程示例 5 4 1 場景介紹 5 4 2 偽代碼 5 4 3 合約代碼 5 4 4 合約測試 本章小結 第6章 其他典型智能合約 6 1 EOS智能合約 6 1 1 什麼是EOS 6 1 2 架構與原理 6 1 3 基本術語 6 1 4 EOS合約虛擬機 6 1 5 EOS智能合約簡介 6 1 6 深入理解EOS智能合約 6 2 Diem智能合約 6 2 1 什麼是Diem 6 2 2 架構與原理 6 2 3 基本術語 6 2 4 Diem合約虛擬機 6 2 5 Diem智能合約簡介 6 2 6 深入理解Diem智能合約 6 3 FISCO BCOS智能合約 6 3 1 什麼是FISCO BCOS 6 3 2 架構與原理 6 3 3 基本術語 6 3 4 FISCO BCOS合約虛擬機 6 3 5 FISCO BCOS智能合約簡介 6 3 6 深入理解FISCO BCOS智能合約 6 4 智能合約綜合分析對比 6 4 1 典型區塊鏈平台特徵對比 6 4 2 合約虛擬機對比 6 4 3 合約語言對比 本章小結 第7章 智能合約工程 7 1 智能合約工程的提出 7 1 1 智能合約工程思想的起源 7 1 2 智能合約工程定義 7 1 3 智能合約工程體系 7 2 智能合約法律化 7 2 1 計演算法律學的啟示 7 2 2 法律代碼科技 7 3 形式化設計與驗證方法 7 3 1 形式化方法 7 3 2 形式化驗證 7 3 3 形式化描述語言與建模驗證工具 7 3 4 自動代碼生成技術 7 4 其他關鍵技術 7 4 1 智能合約開發方法 7 4 2 智能合約即服務 7 4 3 智能合約并行化 7 4 4 一致性測試 本章小結 第8章 智能合約開發過程方法 8 1 智能合約開發 8 1 1 智能合約的生命周期 8 1 2 智能合約開發中面臨的問題 8 1 3 智能合約設計的基本原則 8 2 智能合約過程模型 8 2 1 形式審計瀑布模型 8 2 2 模組化螺旋開發模型 8 2 3 基於構件的領域開發模型 8 2 4 多源需求演繹開發模型 8 3 智能合約的柔性模組化設計模式 8 3 1 面向條件的智能合約編程模式 8 3 2 智能合約生命周期控制合約 8 3 3 鏈上鏈下協同合約模 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
