techmedia-think https://blog.hatena.ne.jp/techmedia-think/ Develop with pleasure! https://techmedia-think.hatenablog.com/ Cryptography zk Bulletproof PlonK vulnerability 最近公開された、Fiat-Shamir変換を正しく適用できていないプロトコルや実装において、証明システムの偽造が可能になる脆弱性「Frozen Heart」について↓ blog.trailofbits.com Fiat-Shamir変換とは？ Fiat-Shamir変換は、証明システムを非対話型にするために使用される有名なスキームで、検証者がランダムに選択するチャレンジの値を（ランダムオラクルモデルとして）暗号学的ハッシュ関数を使って決定論的に導出することで、証明システムのプロトコルを非対話型にする。 シンプルな適用例としては、RFC8235として定義されているSchnorr署名を使って離散対… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftechmedia-think.hatenablog.com%2Fentry%2F2022%2F04%2F19%2F193400" title="Fiat-Shamir変換の安全でない適用による脆弱性Frozen Heart - Develop with pleasure!" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2022-04-19 19:34:00 rich https://techmedia-think.hatenablog.com/entry/2022/04/19/193400 1.0 100%