《证明、论证以及零知识》 - Justin Thaler - 东南大学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』证明、论证以及零知识

書城自編碼： 4059902
分類：簡體書→大陸圖書→計算機/網絡→计算机理论
作者： Justin Thaler
國際書號(ISBN)： 9787576617122
出版社：东南大学出版社
出版日期： 2024-12-01

頁數/字數： /
書度/開本： 16开釘裝：平装

售價：HK$ 140.8

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《英国大历史：时间线上读懂英国3000年，全球化视角下日不落帝国的荣光与动荡》
售價：HK$ 64.9

《掌心物语：玩转棉花娃娃一本通》
售價：HK$ 86.9

《永恒的时光之旅》
售價：HK$ 96.8

《教育人类学田野研究十二讲（教育人类学研究丛书）》
售價：HK$ 42.9

《古代以色列人及其宗教的兴起》
售價：HK$ 74.8

《动物社会的生存哲学：探索冲突、背叛、合作和繁荣的奥秘》
售價：HK$ 97.9

《猫和花草的刺绣》
售價：HK$ 53.9

《《史记·货殖列传新诠》一篇学问世故、治身治国的文章；一个经济、教育大学者的经世解读；奇伟文章在乱世》
售價：HK$ 41.8

內容簡介：

本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到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章是对本书中讲述的所有零知识证明算法的分类总结。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.