机读格式显示(MARC)

• 000 01230nam0 2200301 450

• 001 0000772229

• 005 20250620200400.0

• 010 __ |a 978-7-5766-1712-2 |d CNY128.00

• 100 __ |a 20250106d2024 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 320000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 证明、论证以及零知识 |A zheng ming 、 lun zheng yi ji ling zhi shi |f (美国) 贾斯汀·萨勒著 |g 李星, 张守恒, 叶经纬译

• 210 __ |a 南京 |c 东南大学出版社 |d 2024

• 215 __ |a 352页 |d 26cm

• 312 __ |a 原文题名取自封面

• 320 __ |a 有书目 (第328-352页)

• 330 __ |a 本书主要内容包括: 介绍 ; 强大的随机性: 指纹法和Freivalds算法 ; 定义和预备技术 ; 交互式证明 ; 通过Fiat-Shamir获得公开可验证的非交互式论证 ; 前端: 将计算机程序转换为电路 ; 第一个简洁的交互式论证一一解决电路可满足性问题 ; MIP以及简洁论证等。

• 500 10 |a Proofs, arguments, and zero-knowledge |A Proofs, Arguments, And Zero-knowledge |m Chinese

• 606 0_ |a 计算机网络 |A ji suan ji wang luo |x 网络安全

• 690 __ |a TP393.08 |v 5

• 701 _1 |a 萨勒 |A sa le |g (Thaler, Justin) |4 著

• 702 _0 |a 李星 |A li xing |4 译

• 702 _0 |a 张守恒 |A zhang shou heng |4 译

• 702 _0 |a 叶经纬 |A ye jing wei |4 译

• 801 _0 |a CN |b WFKJXY |c 20250620

• 905 __ |a WFKJXY |d TP393.08/482