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

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

香港／國際用戶

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

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

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

新書推薦： 《 盛世乾隆 》 售價：NT$ 398 《 大白话讲透逻辑学 》 售價：NT$ 265 《 魏晋南北朝史札记 》 售價：NT$ 500 《 诗词格律概要：精装典藏纪念版（语言学大师王力写给古诗词初学者研习格律的进阶作） 》 售價：NT$ 286 《 何以为证：在不确定的世界里寻找确定性 》 售價：NT$ 352 《 俄国革命：彼得格勒，1917年2月 》 售價：NT$ 653 《 战略性矿产：大国资源竞争与中国方略 》 售價：NT$ 449 《 嘉礼大婚：走近清代帝王婚礼（在故宫）附光绪《大婚图》册全本 》 售價：NT$ 653

內容簡介： 本书全面系统地阐述了零知识证明算法的理论基础，设计方法以及截止到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.