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

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

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

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

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

CPUは、コンピュータの心臓部であり、プログラムの命令を解釈し、実行する主要な構成要素。

計算や処理の中枢を担い、システム全体の性能に大きな影響を与える。

プロセッサとも呼ばれる。

central「中心の」processing「処理する」unit「構成要素」で、「コンピュータの中心で処理を行う構成要素」と言う意味から。

算術回路とは、数学的な演算（加算、減算、乗算、除算など）を行うための回路のこと。

主にコンピュータのプロセッサやデジタル計算機において使用される。

Plonkはゼロ知識証明の一種で、効率的かつ汎用的な証明を提供するプロトコル。

特定の秘密情報を持っていることを証明しながら、その情報自体は公開しない。この技術は、特にスマートコントラクトの証明に利用され、ブロックチェーン技術におけるセキュリティの強化に役立つ。

“Permutations over Lattices for Noninteractive Knowledge” と言う言葉ら派生した。

permutations「順列」over lattices「格子上」for noninteractive knowledge「非対話型の知識」で、「格子構造を利用して順列操作を行う非対話型の知識」と言う意味から。

このフレーズは、Plonkプロトコルが使用する数学的手法やアプローチを説明していて、具体的には、格子構造を利用して順列操作を行い、証明プロセスが非対話型であることを示す。

この技術により、証明者と検証者の間で複数回のやり取りが不要となり、効率的に証明を行うことができる。