MARC状态:审校 文献类型:西文图书 浏览次数:9
- 题名/责任者:
- Proofs, arguments, and zero-knowledge / Justin Thaler.
- 出版发行项:
- Boston : now, [2022]
- ISBN:
- 9781638281245
- ISBN:
- 1638281246
- 载体形态项:
- 552 pages ; 24 cm.
- 丛编说明:
- Foundations and trends in privacy and security : volume 4, issue 2-4
- 个人责任者:
- Thaler, Justin, author.
- 论题主题:
- Computer security.
- 论题主题:
- Zero-knowledge proofs.
- 论题主题:
- Cryptography.0
- 中图法分类号:
- TP309
- 书目附注:
- Includes bibliographical references (pages 523-552).
- 内容附注:
- 1. Introduction. 2. The Power of Randomness: Fingerprinting and Freivalds' Algorithm. 3. Definitions and Technical Preliminaries. 4. Interactive Proofs. 5. Publicly Verifiable, Non-Interactive Arguments via Fiat-Shamir. 6. Front Ends: Turning Computer Programs Into Circuits. 7. A First Succinct Argument for Circuit Satisfiability, from Interactive Proofs. 8. MIPs and Succinct Arguments. 9. PCPs and Succinct Arguments. 10. Interactive Oracle Proofs. 11. Zero-Knowledge Proofs and Arguments. 12. 鈭?Protocols and Commitments from Hardness of Discrete Logarithm. 13. Zero-Knowledge via Commit-And-Prove and Masking Polynomials. 14. Polynomial Commitments from Hardness of Discrete Logarithm. 15. Polynomial Commitments from Pairings. 16. Wrap-Up of Polynomial Commitments. 17. Linear PCPs and Succinct Arguments. 18. SNARK Composition and Recursion. 19. Bird's Eye View of Practical Arguments Acknowledgements References
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP309/X1 | X000068 | 经济书库-外文图书417
|
可借 | 经济书库-外文图书417 |
显示全部馆藏信息




经济书库-外文图书417