ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Mon 星期一 月曜日
01.27
2025
https://eprint.iacr.org/2025/118
Khovratovich et al. revealed security vulnerabilities of the Fiat-Shamir transformation in practical applications in their paper on , specifically targeting interactive succinct arguments based on the GKR protocol, demonstrating how to generate accepting proofs for false statements. Khovratovich等人在论文中揭示了Fiat-Shamir变换在实际应用中的安全漏洞，特别是针对基于GKR协议的交互式简洁论证，展示了如何为错误陈述生成接受证明。 Khovratovichらはの論文において、Fiat-Shamir変換が実際の応用において持つセキュリティ上の脆弱性を明らかにしました。特に、GKRプロトコルに基づくインタラクティブな簡潔証明（interactive succinct proof）を対象とし、誤った主張に対して受理される証明書を生成する方法を示しています。
https://github.com/succinctlabs/sp1/security/advisories/GHSA-c873-wfhp-wx5m
Succinct Labs has released a security advisory for the SP1 STARK verifier, noting that missing verifier checks and Fiat-Shamir observation issues existed in versions prior to v4.0.0, which have been fixed in v4.0.0. Succinct Labs发布了关于SP1 STARK验证器的安全公告，指出在v4.0.0之前版本中存在验证器检查缺失和Fiat-Shamir观察问题，已通过v4.0.0修复。 Succinct Labsは、SP1 STARK検証器に関するセキュリティアドバイザリを発表しました。これによると、v4.0.0以前のバージョンには、検証者のチェック漏れとFiat-Shamir観察の問題が存在しましたが、v4.0.0で修正されています。