掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優實踐之路
-
>
第一行代碼Android
-
>
JAVA持續交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
證明、論證以及零知識 版權信息
- ISBN：9787576617122
- 條形碼：9787576617122 ; 978-7-5766-1712-2
- 裝幀：平裝-膠訂
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
證明、論證以及零知識 內容簡介
本書全面系統地闡述了零知識證明算法的理論基礎，設計方法以及截止到2022年主流零知識證明算法的分類。從*基礎的加密學原理講起，本書闡述了不同計算復雜性模型下的簡潔交互式論證構建，并詳細描述了通用程序和可滿足性電路之間的轉換，通過多項式承諾方案實現簡潔論證以及多項式承諾方案的多種實現。第1章到第3章介紹基礎概念以及闡述交互式證明依賴強大的隨機性。第4章、第8章、第9章、第10章、第17章，從計算復雜性模型角度(IP/MIP/PCP/IOP)，闡述了交互式論證系統構建的不同方法和性能。MIP=PCP，并且多項式IOP統一了IP、MIP以及IOP。第5章介紹了Fiat-Shamir算法，將任意公開擲幣交互式論證轉化為非交互式論證。第6章介紹如何將通用的圖靈程序轉化為電路，并解釋了算術電路實例轉化為可滿足性電路實例的原因。第7章引入多項式承諾方案以及低次測試，實現簡潔交互式論證的雛形。第11章、第13章介紹零知識的定義以及零知識實現的兩種方式：承諾-證明以及掩碼多項式。第12章、第14章、第15章、第16章介紹承諾方案，并總結了多項式承諾方案的三種方式：基于IOP(第10章)，基于離散對數難問題以及基于配對。第18章介紹了SNARK的組合和遞歸。第19章是對本書中講述的所有零知識證明算法的分類總結。
書友推薦
- >
姑媽的寶刀
- >
有舍有得是人生
- >
我與地壇
- >
煙與鏡
- >
隨園食單
- >
我從未如此眷戀人間
- >
經典常談
- >
伊索寓言-世界文學名著典藏-全譯本
本類暢銷
