ZK-Snarks（ゼロ知識-成功証明）は、情報の真実性を証明するための暗号学的手法です。その名前は「Zero Knowledge Succinct Non-Interactive Argument of Knowledge」の頭文字を取って名付けられました。これは、誰かが特定の情報を持っている（または特定の計算を行った）ことを証明できる、一方でその情報自体を明らかにすることなく、という特性を持っています。
ZK-Snarksは「ゼロ知識」です。つまり、証明者（情報を持っている人）は、検証者（情報の真実性を確認する人）に情報自体を教えることなく、その情報が真実であることを証明できます。これは、プライバシーを保護しながら情報の真実性を証明できるという点で非常に有用です。
また、「成功証明」は、証明が短く（Succinct）、対話的でない（Non-Interactive）ことを意味します。つまり、証明は小さなサイズであり、一度だけの通信（証明者から検証者への一方向）で行われます。
ZK-Snarksは、ブロックチェーン技術（特にEthereumやZcashなど）におけるプライバシー保護のための重要なツールとなっています。これらのブロックチェーンはZK-Snarksを利用して、トランザクションの詳細を秘密にしつつ、その有効性を証明することができます。
寄付する