Trail of Bits 的文章

TA的文章 TA购买的 TA喜欢的 TA收藏的

本文深入分析了 Bulletproofs 零知识证明系统中存在的 Frozen Heart 漏洞，该漏洞源于 Fiat-Shamir 转换的不安全实现，允许恶意用户伪造超出预定义范围的值的证明。文章详细解释了该漏洞的原理以及如何利用它来生成虚假证明，并讨论了该漏洞对依赖 Bulletproofs 的应用程序的潜在影响。

Bulletproofs 零知识证明 Fiat-Shamir转换 Frozen Heart 漏洞 Pedersen承诺

发布于 2022-04-16 11:28 阅读(464) 点赞(0)

Girault知识证明中的“冰冻之心”漏洞

本文揭示了Girault知识证明中的一个名为“冰冻之心”的漏洞，该漏洞源于Fiat-Shamir转换的不安全实现，允许恶意用户伪造随机声明的证明。

零知识证明 Fiat-Shamir转换 Girault知识证明冰冻之心漏洞离散对数密码学

发布于 2022-04-15 17:49 阅读(454) 点赞(0)

影响 Girault、Bulletproofs 和 PlonK 的漏洞的协同披露

Trail of Bits 公开披露了多个零知识证明系统（包括 PlonK 和 Bulletproofs）实现中的严重漏洞，这些漏洞由 Fiat-Shamir 转换的不安全实现引起，允许恶意用户伪造随机语句的证明。

零知识证明 Fiat-Shamir变换 Frozen Heart PLONK Bulletproofs 密码学

发布于 2022-04-14 15:41 阅读(976) 点赞(0)