ログイン/ 登録

ゼロ知識証明のためのzkSyncのZooアナロジーを理解する

04/03 18:08

PANewsによると、zkSyncは最近、動物園に例えてゼロ知識証明の概念を説明する教育用イラストを発表した。動物園を回路に、特殊技能を持つ動物たちを論理ゲートに、幸せそうな動物たちの集合写真を証明に例えている。具体的な内容を明らかにすることなく回路にデータを入力し、複雑な計算を行うことで証明が生成され、知識ゼロの証明プロセスが完成する。動物園に例えると、回路はすべての動物の能力を集約した一連の論理ゲート制約（加算、減算、乗算、除算など）に相当する。回路に渡されるデータは、様々な式の中で実行できなければならない。レイヤ2環境では、取引ハッシュ、口座、データ残高などのデータを計算式に変換することができます。動物園の様々な動物は、異なる論理ゲートを表している。例えば、シマウマは2つの数字が等しいかどうかを比較する能力を持ち、ワニは「未満」を表し、クモはより複雑な複数選択ゲートを表す。異なる動物は異なる算術式を表し、彼らの喜怒哀楽は算術式の計算構造を示している。複雑な回路は、さまざまな動物（論理ゲート）と箱（ルール）によって構成される。ある数式が真であることが証明されると、シマウマやイモムシのような動物が喜び、その数式の証明が生成される。証明の信頼性を保証するために、レイヤー2システムには検証者としてジークという特別な動物が導入されている。Zeekは他の動物が幸せであるかどうかを観察することができ、幸せであれば証明が検証され、最終確認のためにメインネットワークにアップロードされる。集合写真を撮影するプロセスはSNARKプルーフやKZGコミットメントの生成に似ており、印刷されたフィルムはSTARK/SNARKプルーフに相当する。動物園への来園者は個々の取引を表し、動物たちが喜んで集合写真を撮ったときにのみ、ブロックチェーン上で証明が生成され、確認される。しかし、動物園のすべての動物が同時に幸せになり、あらかじめ決められたルールに従って動くことはできず、混雑やエラー、無効な状態遷移が発生する。このような状況では、制約が不十分な状態となり、最終的な検証に合格することは不可能となる。

強気

弱気