匿名性は暗号通貨において素晴らしい。大いに。これは流動性の助けとなり、真剣な通貨には必須である。ほとんどの人々は、暗号資産をホールドしているが、自分の財務状況が公にされることにあまり喜んでいない。ブロックチェーンのプライバシー技術の中で、zk-SNARKsとzk-STARKsは非常に特別なようだ。zk-SNARKはZero-Knowledge Succinct Non-Interactive Argument of Knowledgeの略です。かなり口が回りませんね。zk-STARK？それはZero-Knowledge Scalable Transparent Argument of Knowledgeです。Zcashはzk-SNARKsを使用しています。JPモルガン・チェースもいくつかのプロジェクトでそうです。彼らは今やほとんどどこにでもいます。zk-STARKsは新しい子供で、古いプロトコルの問題を修正することになっています。## ザ・ケイブ・ストーリー1990年に、ジャン＝ジャック・キスカターという暗号学者がゼロ知識証明を説明するためにアリババの洞窟についての話をした。人々はそれを語り直すのが好きだ。円形の洞窟を想像してください。入り口は一つ。内部に魔法の扉があります。その扉にはパスワードが必要です。アリスはボブにこのパスワードを知っていることを証明したい。しかし、彼女はただ彼に教えるつもりはない。絶対に。ボブは外で待っています。アリスは中に入ります。パス1を取ります。後で、ボブが現れて叫ぶ。「パス2、出てこい！」もしアリスが秘密の言葉を知っていれば、彼女は魔法の扉を開けてボブが求めた場所に現れます。魔法。これを何度かやってください。ただの運ではありません。この小さな物語は、ゼロ知識証明が何であるかを示しています。実際に何であるかを明かさずに、何かを知っていることを証明することです。## zk-SNARKを間近で見るZcashは大規模なzk-SNARKsを先駆けました。Moneroはプライバシーを異なる方法で実現しています—リング署名を用いた煙と鏡です。しかし、zk-SNARKsはどうでしょう？それはゲームを完全に変えます。暗号化されたトランザクションがそれでも検証されるのです。驚くべきことです。ネットワークのバリデーターはすべての詳細を必要としません。証明だけが必要です。しかし奇妙なことに、Zcashのプライバシー機能はデフォルトでは有効になっていません。そのスイッチを自分で切り替える必要があります。ゼロ知識証明では、追加情報を明らかにせずに、何かが真実であることを証明できます。証明者と検証者がいます。秘密にされている証拠があります。全体のポイントは？ データ共有が少なくなります。ずっと少なく。「簡潔な」部分は、これらの証明が迅速に確認できることを意味します。「非対話型」は最小限のやり取りを意味します。従来のゼロ知識技術では会話が必要でしたが、これらはそうではありません。2025年までに(、どうやら)、zk-SNARKsは簡単な操作において優れています。迅速な証明。小さな証明サイズ。彼らはすべてのツールとEthereumのサポートのおかげで、採用レースに勝っています。ただし、落とし穴があります。これらの証明には「信頼された設定」が必要です。つまり、事前に確立された公開パラメータです。ゲームのルールを設定するようなものです。問題は？これらのパラメータを作成するのに関与する人はあまりいません。中央集権的なリスクがあります。やばいです。研究者たちはこの信頼の問題を解決しようとしています。セットアップフェーズは重要です。なぜなら、使用されるランダムな値を知っている人は、見た目が有効な証明を偽造できるからです。それは良くありません。「Arguments」ビットについて—zk-SNARKsは、膨大な計算能力を持っていない限り、ほぼ安全です。これが一部の人々を量子コンピュータに対して神経質にさせます。未来はそこにおいて不確実に見えます。"知識"とは、証明者が実際に証明していることを知っている必要があることを意味します。偽りは許されません。これらの証明は迅速に検証され、あまりデータスペースを取らない。プライバシーとスケーリングに良い。悪くない。## zk-STARKs クラッシュコースzk-STARKsはクールで速い代替手段として登場しました。信頼できるセットアップは必要ありません！それが透明性のための「T」の意味です。彼らはハッシュ関数の衝突を通じて、よりシンプルな対称暗号化を使用しています。このアプローチは、量子攻撃に脆弱である可能性があるzk-SNARKsの複雑な数学的仮定を捨てています。大きな利点は？計算がどれほど複雑になっても、証明者と検証者の間の通信が一定に保たれることです。zk-SNARKsでは、計算が増えるほど、メッセージが行き来する回数も増えます。全体的にデータが増えるということです。2025年の研究によると、zk-STARKsはより大きな証明サイズを持っていますが、より大きな計算をより良く処理します。彼らはこの技術の未来を表しているようです—スケーラブルで透明性があり、量子耐性があります。それでも、zk-SNARKsは確立されたインフラストラクチャのおかげで今日でも支配的です。両方の技術はプライバシーの世界で注目を集めています。暗号通貨において、それらはゲームチェンジャーとなる可能性があります。革命的でもあります。見てみましょう。
zk-SNARKとzk-STARKの開梱
匿名性は暗号通貨において素晴らしい。大いに。これは流動性の助けとなり、真剣な通貨には必須である。ほとんどの人々は、暗号資産をホールドしているが、自分の財務状況が公にされることにあまり喜んでいない。ブロックチェーンのプライバシー技術の中で、zk-SNARKsとzk-STARKsは非常に特別なようだ。
zk-SNARKはZero-Knowledge Succinct Non-Interactive Argument of Knowledgeの略です。かなり口が回りませんね。zk-STARK？それはZero-Knowledge Scalable Transparent Argument of Knowledgeです。Zcashはzk-SNARKsを使用しています。JPモルガン・チェースもいくつかのプロジェクトでそうです。彼らは今やほとんどどこにでもいます。zk-STARKsは新しい子供で、古いプロトコルの問題を修正することになっています。
ザ・ケイブ・ストーリー
1990年に、ジャン＝ジャック・キスカターという暗号学者がゼロ知識証明を説明するためにアリババの洞窟についての話をした。人々はそれを語り直すのが好きだ。
円形の洞窟を想像してください。入り口は一つ。内部に魔法の扉があります。その扉にはパスワードが必要です。
アリスはボブにこのパスワードを知っていることを証明したい。しかし、彼女はただ彼に教えるつもりはない。絶対に。
ボブは外で待っています。アリスは中に入ります。パス1を取ります。
後で、ボブが現れて叫ぶ。「パス2、出てこい！」
もしアリスが秘密の言葉を知っていれば、彼女は魔法の扉を開けてボブが求めた場所に現れます。魔法。
これを何度かやってください。ただの運ではありません。
この小さな物語は、ゼロ知識証明が何であるかを示しています。実際に何であるかを明かさずに、何かを知っていることを証明することです。
zk-SNARKを間近で見る
Zcashは大規模なzk-SNARKsを先駆けました。Moneroはプライバシーを異なる方法で実現しています—リング署名を用いた煙と鏡です。しかし、zk-SNARKsはどうでしょう？それはゲームを完全に変えます。暗号化されたトランザクションがそれでも検証されるのです。驚くべきことです。ネットワークのバリデーターはすべての詳細を必要としません。証明だけが必要です。しかし奇妙なことに、Zcashのプライバシー機能はデフォルトでは有効になっていません。そのスイッチを自分で切り替える必要があります。
ゼロ知識証明では、追加情報を明らかにせずに、何かが真実であることを証明できます。証明者と検証者がいます。秘密にされている証拠があります。全体のポイントは？ データ共有が少なくなります。ずっと少なく。
「簡潔な」部分は、これらの証明が迅速に確認できることを意味します。「非対話型」は最小限のやり取りを意味します。従来のゼロ知識技術では会話が必要でしたが、これらはそうではありません。
2025年までに(、どうやら)、zk-SNARKsは簡単な操作において優れています。迅速な証明。小さな証明サイズ。彼らはすべてのツールとEthereumのサポートのおかげで、採用レースに勝っています。
ただし、落とし穴があります。これらの証明には「信頼された設定」が必要です。つまり、事前に確立された公開パラメータです。ゲームのルールを設定するようなものです。問題は？これらのパラメータを作成するのに関与する人はあまりいません。中央集権的なリスクがあります。やばいです。
研究者たちはこの信頼の問題を解決しようとしています。セットアップフェーズは重要です。なぜなら、使用されるランダムな値を知っている人は、見た目が有効な証明を偽造できるからです。それは良くありません。
「Arguments」ビットについて—zk-SNARKsは、膨大な計算能力を持っていない限り、ほぼ安全です。これが一部の人々を量子コンピュータに対して神経質にさせます。未来はそこにおいて不確実に見えます。
"知識"とは、証明者が実際に証明していることを知っている必要があることを意味します。偽りは許されません。
これらの証明は迅速に検証され、あまりデータスペースを取らない。プライバシーとスケーリングに良い。悪くない。
zk-STARKs クラッシュコース
zk-STARKsはクールで速い代替手段として登場しました。信頼できるセットアップは必要ありません！それが透明性のための「T」の意味です。
彼らはハッシュ関数の衝突を通じて、よりシンプルな対称暗号化を使用しています。このアプローチは、量子攻撃に脆弱である可能性があるzk-SNARKsの複雑な数学的仮定を捨てています。
大きな利点は？計算がどれほど複雑になっても、証明者と検証者の間の通信が一定に保たれることです。zk-SNARKsでは、計算が増えるほど、メッセージが行き来する回数も増えます。全体的にデータが増えるということです。
2025年の研究によると、zk-STARKsはより大きな証明サイズを持っていますが、より大きな計算をより良く処理します。彼らはこの技術の未来を表しているようです—スケーラブルで透明性があり、量子耐性があります。それでも、zk-SNARKsは確立されたインフラストラクチャのおかげで今日でも支配的です。
両方の技術はプライバシーの世界で注目を集めています。暗号通貨において、それらはゲームチェンジャーとなる可能性があります。革命的でもあります。見てみましょう。