Fiat-Shamirヒューリスティック (フィアットシャミアヒューリスティック)

Fiat–Shamir heuristic
Fiat-Shamirヒューリスティック
読み:フィアットシャミアヒューリスティック
とは、

暗号学

『対話型の証明プロトコルを非対話型に変換する手法

概要

詳細≫

Fiat–Shamirヒューリスティックは、暗号学におけるゼロ知識証明のプロトコルを非対話型に変換するための手法である。

もともとは複数回のやり取りが必要な対話型プロトコルを、乱数生成とハッシュ関数を利用して、証明者と検証者の間の通信を一度にまとめることが可能となる。

これにより、効率的かつ安全に証明を行うことができる。この手法は、デジタル署名ブロックチェーン技術などで広く使用されている。

ただし、Fiat–Shamirヒューリスティックは経験則的な手法であり、理論的には安全性の保証が不十分な場合もあるため、特定の状況では使用が制限されることがある。

由来

詳細≫

1986年にAmi Fiat (アミ・フィアット)とAdi Shamir (アディ・シャミア) によって提案されたことから。

関連記事

heuristic

SNSでもご購読できます。