jakiro
著者：ナイロルフ、先生wu出典：Substack翻訳：Shan Ouba、ビットチェーンビジョンレルム
ZKこれ、ZK、兄弟、これらを言わないでください。Starknetには、ZKロールアップを気にしないユーザーが8か月しかいません。さて、私はあなたの時間を取らせてください、ハハ。このテクノロジーは本当に素晴らしいです。
ゼロの知識証明、またはZK証明とは何かを理解するための簡単なスタートから始めましょう。例えば！
ジョンは美しいトラを描くのが好きですが、彼はあえて友人に絵を見せません。彼は恥ずかしがり屋です！
彼の友人は彼のスキルを疑った。彼らは彼が絵を描くのを見たことがない！しかし、ジョンには計画があります。大規模なタイガー絵画の競争が続いています。参加するには、素晴らしいトラの絵を描く必要があります。
ジョンが参加して資格のレビューに合格した場合、彼の友人は彼がトラを描くことができることを知っているでしょう。彼らは彼が描くのを見ていませんでしたが、彼らは最終的に彼を信じるでしょう。
ジョンは競技に参加し、トラを引き出し、審査員から賞賛を獲得しました。彼の友達はついに彼を信じました！この人は本当にトラを描くことができます。素晴らしい！
これはZK証明のようなものです。それは何かを直接表示するのではなく、詳細を明らかにすることなくそれを証明することです。ジョンの証拠は彼の資格レビューです。彼の友人は彼が描くのを見ていませんでしたが、彼らは彼が描くことができることを知っていました。
ZKの証拠の利点は、プライバシーを提供することであることを理解しているかもしれません。
しかし、これが唯一の利点ではありません。詳細は詳しく説明しませんが、ZK証明書の方が速いことを忘れないでください。これは実際に理にかなっています。この例に戻った場合、ジョンは友人に虎を友人に1つずつ引き付ける方法を示す必要はありません。彼は招待を示すだけです。
さらに、ZKはメモリを保存することを証明しています。これらの証明は、他の証明システムよりも大きな計算額を検証するのが簡単です。
ただし、問題があります。これらの証明は、ある時点で検証する必要があります。ジェームズが、彼が競争に参加することを受け入れられたと言っているとしましょう。とても良いですが、これが本当であることを確認したいですか？
残念ながら、Ethereumはより正確にEVMです。これにより、検証コストが非常に高くなり、ZKが利用できないことが証明される場合があります。
この時点で、アライメントレイヤーが表示されました。
アライメント
イーサリアムで自分の証明を直接確認する必要はありませんが、これらの証明を整列したレイヤーに送信します。
何を知りたいですか？さて、アラインドされたレイヤーは、証明書を具体的に検証しました。ネットワーク内の特別な検証担当者として調整され、提出する証明が正しいことを確認する準備ができています。
ここでアラインドされたイーサリアムの役割を果たします。しかし、心配しないでください、彼らはEthereumと同じセキュリティレベルを維持するために、Eigenlayerのre rededを使用しています。Ethereumと同じセキュリティには、EVMに制限がありません。いいね？
したがって、整列した証明を確認します。次のステップは、検証結果をEthereumで公開することです。はい、私は「検証結果」について話しています。それは検証されました、なぜそれが二度目に検証されるべきですか？
今、あなたはまだあなたのデータを持っています、つまり、それは特定の場所に公開されることが証明されています。さて、AlignedはそれをCelestiaと同様にEthereumまたはAltdaに公開します。あなたが選ぶ。
整列したレイヤーを介して証明を検証するプロセスは、はるかに安くなりました。本当に10倍以上の減少について話している！
これは少し速いです。あなたの証明がイーサリアムで検証されるのを待つ必要はありません。
EVM、多くの新しい潜在的なケース、およびZKを主流にすることを証明するターゲットによって制限されなくなりました。アラインド層は、ゼロ知識の分野で最も重要な参加者の1つになります。しかし、それだけではありません。
ネブラ
ネブラは、イーサリアムに基づくユニバーサルゼロの知識証明集約契約です。少しクレイジーに聞こえますよね？説明させてください。
イーサリアムに関するゼロ知識の検証は、それが非常に高価であることを証明しています。Nebraを使用すると、これらのコストを5回削減できます。
Nebraは提案しました：「チェーンの下で多数のゼロの知識証明を確認し、それらをバッチの大きなバンドルに詰めてから、チェーン上の1つの集約証明のみを検証しますか？この方法では、の安全性を維持します。イーサリアムですが、イーサリアムのセキュリティを減らしますが、各ユニットのコストを削減することも非常に賢いですよね？
さらに、ネブラは一般的です。これは、それがあらゆるソースから来ることができることを証明することを意味します。Zkroll、Zkcoprocessor、ZKML、またはその他のソースであろうと、Nebraはこれらの証明を受け入れます。
NEBRAはライセンスもありません。つまり、プロジェクトは最初にチームに適用せずに使用できるため、このテクノロジーは大規模に適用できます。
WorldCoinや真新しいZK Coprocessor -Brevisなど、いくつかのプロジェクトがNebraを使用しています。コプロセッサが何であるかわかりませんか？前の記事を確認してください。
そして、これが終わりです…ちょっと待ってください、あなたはこれが終わりだとさえ信じませんか？
簡潔
簡潔なのは、ブロックチェーンのゼロ知識証明の層です。そうです、それはあらゆるブロックチェーンです。その目標は、ゼロ知識証明の基本的な層になることです。印象的ですよね？
あなたは彼らがどのように行うかを知りたいかもしれません – またはおそらくあなたは私にそれを説明させたくない。簡潔なものは、認証機ネットワークとして実行されます。これらの確認は、簡潔なネットワークでゼロの知識証明を生成し、顧客に証明を送信します。
顧客が最高の価格を得ることを保証するために、簡潔なレイヤーは2つの部分に分割されます。1つの市場は、各リクエストに最も優先的な価格を提供し、各生成された証明をズームすることで単位コストを削減するための重合システムです。単純！
本質的に、簡潔なものは、あなたの証拠の証拠を処理するために雇った請負業者のようなものです。あなたが絵文字を描いていないか、このスキルを学ぶ時間がないなら、あなたのためにそれを完了するために誰かを雇うことができると想像してください。簡潔なのはこのようなものです。証拠のために存在します。
この記事は少し長いです！しかし、ことわざが言うように、「大きな革新には大きな空間が必要です」。決定できるのは、ゼロの知識が大きな可能性があることを証明していることです。幅広い採用から少し離れていますが、本日導入されたこれらのプロジェクトは、このギャップを減らすのに役立ちます。
