ゼロ知識証明の簡素化:秘密を明かさずに明らかにする（Zero-Knowledge Proofs Simplified: Unveiling Secrets Without Revealing Them）

Zero-Knowledge Proofs Simplified: Unveiling Secrets Without Revealing Themゼロ知識証明の簡素化:秘密を明かさずに明らかにする

Zero-knowledge proof (zk proof or ZKP) is, in simple terms, a proof that separates knowledge from verification.
ゼロ知識証明(zk証明またはZKP)は、簡単に言えば、知識と検証を分離する証明

Zero-Knowledge Proof　ゼロ知識証明

Marko Vidrih
マルコ・ヴィドリ

Mar 25, 2024
2024年3月25日

Abstract:
要約:

This article introduced a simplified method for achieving zero-knowledge proofs for general Boolean circuits. It highlights the versatility of zero-knowledge proofs, showcasing their ability to prove knowledge of various secrets without revealing them. While the method presented here is computationally expensive, it serves as a foundation for understanding how zero-knowledge proofs work in principle. Modern cryptographic systems leverage more efficient techniques to make this powerful tool practical for real-world applications.
この記事では、一般的なブール回路のゼロ知識証明を達成するための簡略化された方法を紹介しました。ゼロ知識証明の汎用性を強調し、さまざまな秘密の知識を明かさずに証明する能力を示しています。ここで紹介する手法は計算コストがかかりますが、ゼロ知識証明が原理的にどのように機能するかを理解するための基礎として機能します。現代の暗号化システムは、より効率的な手法を活用して、この強力なツールを実際のアプリケーションで実用的にしています。

There’s been a surge of interest in zero-knowledge proofs, particularly in blockchain technology. They underpin the privacy features of cryptocurrencies like Zcash and Monero. But what exactly are these cryptographic marvels?
ゼロ知識証明、特にブロックチェーン技術への関心が急上昇しています。これらは、ZcashやMoneroなどの暗号通貨のプライバシー機能を支えています。しかし、これらの暗号化驚異とは正確には何でしょうか?

While numerous articles explain zero-knowledge proofs, they often cater to a niche audience. Some are heavy on math, while others focus on specific, limited scenarios. This article cuts through the noise to answer a fundamental question: what can be proven with a zero-knowledge proof?
ゼロ知識証明について解説している記事は数多くありますが、多くの場合、ニッチな読者を対象としています。数学に重点を置いているものもあれば、特定の限られたシナリオに焦点を当てているものもあります。この記事では、雑音をはねのけて、「ゼロ知識証明で何を証明できるのか」という基本的な質問に答えます。

In short, almost anything. In cryptography, a zero-knowledge proof allows one party (the prover) to convince another (the verifier) that they possess a secret solution to a problem, without revealing the solution itself. Imagine proving you know the pre-image of a hash function, the private key to a public key, or the specific transactions that maintain blockchain integrity — all without divulging any details!
要するに、ほとんどすべて。暗号学では、ゼロ知識証明により、一方の当事者(証明者)が他方の当事者(検証者)に、問題に対する秘密の解決策を持っていることを納得させることができますが、解決策自体は明らかにしません。ハッシュ関数のプレイメージ、公開鍵の秘密鍵、またはブロックチェーンの完全性を維持する特定のトランザクションを知っていることを証明するのを想像してみてください。