イーサリアムの証明技術zkRUで使われているので調べておく

ここが結構分かりやすくまとまっていた。

イーサリアムに導入されたプライバシー保護技術「zk-SNARK」とは

zk-SNARKsの理論

Zero Knowledge – Succinct Non-interactive ARgument of Knowledge

の略

Zero Knowledge ・・・ゼロ知識証明

Succint ・・・（簡潔）証明のサイズが小さいこと

Non-interactive ・・・（非対話型）証明者と検証者で複数回対話する必要がないこと

ARgument ・・・

第三者機関を介して検証情報を共有し認証する方式

こんな感じなはず

ちょっと違うかな。。