登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入   新用戶註冊

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2025年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / 物流，時效：出貨後2-4日

新書推薦： 《 变形金刚：绝境逢生（普通版）（全新漫画合订本第三册，简中版全球同步上市！完整收录能量块宇宙2024年 》 售價：NT$ 347 《 成事铁律 》 售價：NT$ 286 《 大政府的国际起源：美国产业政策与制度变迁 》 售價：NT$ 449 《 何以浓香——当代中国泸型酒酿制技艺传播史料辑录 》 售價：NT$ 842 《 清末民国骈文批评转型研究 》 售價：NT$ 383 《 中国汉江流域观赏植物资源图鉴 》 售價：NT$ 1010 《 BIM概论与土建建模 》 售價：NT$ 305 《 身体秩序与法律规训——传统中国的“身体法治”面相（国家哲学社会科学成果文库） 》 售價：NT$ 1015

內容簡介： 本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到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.tw
Copyright (C) 2013 - 2026 （香港）大書城有限公司　All Rights Reserved.