Zk-SNARKSとは何ですか?

Zk-SNARKs は、「Zero-Knowledge Succinct Non-Interactive Argument of Knowledge」の略です。これは、秘密鍵などの情報の所有を、その情報を明らかにすることなく、また証明者と検証者の間でやり取りすることなく証明できる、ゼロ知識暗号方式の一種であり、それによってユーザーのプライバシーを確​​保します。

「知識ゼロ」とは、一方の当事者 (「証明者」) が、証人が証明者であるという事実以外に、検証者や他の誰にも証人を明らかにすることなく、秘密パラメータ (「証人」) の知識を別の当事者 (「検証者」) に証明できることを意味します。有効です。

「簡潔」とは、証明がわずか数百バイトで構成されているため、ゼロ知識証明が数ミリ秒以内に検証できることを意味します。 「非対話型」とは、証明者が検証者に 1 つのメッセージだけを送信すればよいことを指します。 「論証」とはこれらの証明を表す用語であり、「知識」とは証明者が持つ秘密パラメータを指します。

ブロックチェーン内で対話する場合、ユーザーはトランザクションを完了する前に、いくつかの条件が満たされていることを証明する必要がある場合があります。たとえば、取引を完了するのに十分な資金を持っていることを証明する必要がありますが、財布にいくらあるかについての情報は明かす必要はありません。

Zk-SNARK は、ブロックチェーンで自分の身元を証明するときにも役立ちます。たとえば、B が A の身元を確認したい場合、内容を告げずに秘密のメッセージを A に送信し、A に秘密キーを使用してメッセージを解読するように依頼できます。その後、A は B にメッセージを送り返し、身元を証明できます。

Zk-SNARKs は、トランザクションの証拠のみをブロックチェーン ノードに記録し、送信者、受信者の身元、およびトランザクションに関連するその他の詳細を保護します。 Zcash は、zk-SNARK を使用してプライベート トランザクションを可能にする、広く使用されている最初の暗号通貨です。