| ISBN/价格： | 978-7-5766-1712-2:CNY128.00 |
|---|
| 作品语种： | chi eng |
|---|
| 出版国别： | CN 320000 |
|---|
| 题名责任者项： | 证明、论证以及零知识/.(美)贾斯汀·萨勒(Justin Thaler)著/.李星，张守恒，叶经纬译 |
|---|
| 出版发行项： | 南京:,东南大学出版社:,2024.12 |
|---|
| 载体形态项： | 352页:;+26cm |
|---|
| 提要文摘： | 本书共19章：第1章到第3章介绍基础概念以及阐述交互式证明依赖强大的随机性；第4章、第8章、第9章、第10章、第17章，从计算复杂性模型角度(IP/MIP/PCP/IOP)，阐述了交互式论证系统构建的不同方法和性能；第5章介绍了Fiat-Shamir算法；第6章介绍如何将通用的图灵程序转化为电路；第7章引入多项式承诺方案以及低次测试；第11章、第13章介绍零知识的定义以及零知识实现的两种方式；第12章、第14章、第15章、第16章介绍承诺方案，并总结了多项式承诺方案的3种方式；第18章介绍了SNARK的组合和递归；第19章对书中讲述的所有零知识证明算法的分类总结。 |
|---|
| 并列题名： | Proofs, arguments, and zero-knowledge eng |
|---|
| 题名主题： | 计算机网络 网络安全 |
|---|
| 中图分类： | TP393.08 |
|---|
| 个人名称等同： | 萨勒 贾斯汀 (美) 著 |
|---|
| 个人名称次要： | 李星 译 |
|---|
| 个人名称次要： | 张守恒 译 |
|---|
| 个人名称次要： | 叶经纬 译 |
|---|
| 记录来源： | CN LCTBU 20250421 |
|---|