Skip to content
解除Fiat-Shamir的安全陷阱
blog.trailofbits.com | 博客 | #cryptography | #tool-release | #trail-of-bits | #snarks | #zero-knowledge-proof | #fiat-shamir | #mpc
摘要
Fiat-Shamir 变换实现不当会导致零知识证明可被伪造。文章剖析常见错误模式（缺乏实现规范、形式化规范错误、缺乏强制约束），并发布工具 Decree 帮助开发者正确指定 Fiat-Shamir transcript 并纳入上下文信息。
- 发布时间
- 收录时间