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

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

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

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

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

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

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

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

コントラクトアドレスは、スマートコントラクトがブロックチェーンネットワークに配置された際に割り当てられる特定のアドレス。

コントラクトアドレスは、コントラクトの機能を呼び出すための主要な手段であり、ブロックチェーン上でのトランザクションや操作において重要な役割を果たす。

不気味の谷とは、人間に似たロボットやキャラクターが一定程度リアルになると、見た目がほとんど人間に似ていても、違和感や不安を感じる現象。

例えば、アニメキャラクターやロボットが人間に似ていても、完全に似るまでの過程で違和感を感じることがある。完全に人間に近づくと、違和感が減少する。

1970年に日本のロボット工学者・森政弘が提唱した概念で、人間に似た存在に対する共感度の理論上の放物線が、ある一点で急降下する様子を「谷」に例えて名付けられた。