← 返回

证明、论证以及零知识

著者贾斯汀·萨勒著
ISBN9787576617122
分类号TP393.08 自动化技术、计算机技术
学科工学
版次第1版
出版社东南大学出版社
丛书名—
出版年2024
价格¥128.00
页码352页
类型 📄 纸质书
核心评分9.3/10
读者对象—
主题词计算机网络
内容简介：本书主要内容包括：介绍；强大的随机性：指纹法和Freivalds算法；定义和预备技术；交互式证明；通过Fiat-Shamir获得公开可验证的非交互式论证；前端：将计算机程序转换为电路；第一个简洁的交互式论证一一解决电路可满足性问题；MIP以及简洁论证等。
登录后可荐购