モンテネグロで開催されたEDCONカンファレンスで、@VitalikButerin氏は拡張、プライバシー、セキュリティなどの観点からイーサリアムネットワークの技術的課題を説明し、最後にzk-SNARKは今後10年間でブロックチェーンと同じくらい重要になると結論付けた。 V神が力を注ぐzk-SNARKとは？ zk-SNARKテクノロジーは現在どのようなブロックチェーンの問題を解決できますか?次に、スレッド、ディスカッションにいくつかのアイデアを投げ込みましょう。 1/n

SNARK は (succinct non-interactive argument ofKnowledge) の略で、簡潔で非対話的な知識の議論です。その核心は、数学的アルゴリズムを通じて証明システムを構築することであり、検証者は元のデータを知らなくてもデータ自体の正しさを検証できます。データ。実装プロセスには、検証可能な回路、楕円曲線暗号原理、ハッシュ関数、暗号化アルゴリズムなどの複雑なテクノロジーが含まれるため、ここではあまり詳しく説明しません。 2/n

SNARK は元のデータを非常に小さな証明に圧縮して入力データの正しさを検証できるため、zk のゼロ知識技術基盤と組み合わせることで、zk-SNARK はスケーラビリティ、プライバシー、セキュリティ、その他の側面で大きな進歩を遂げることができます。特に、イーサリアムが 2018 年にマカロフ ランダム アルゴリズム (MAST) を発表した後、zk-SNARK をイーサリアム システムに直接統合して、イーサリアム ネットワークの現在のボトルネック問題を解決できます。 3/n

これが、@Statrknet にネイティブな zk-STARK テクノロジーがより複雑なコンピューティング問題 (量子コンピューティング攻撃の回避など) を処理できるにもかかわらず、zk-SNARK に大きな期待が寄せられている理由です。特に、誰もが混乱しているブロックチェーンのパラドックスのいくつかは、zk-SNARK の最下層を置き換えることで効果的に解決できます。たとえば、プライバシーの保護と潜在的なハッカーによるマネーロンダリングの問題、中央機関の干渉から逃れることのできない社会的回復の問題などです。 、など。 4/n

まずスケーラビリティについて話しましょう。 zk-rollup は op-rollup よりもはるかに進んでおり、イーサリアムの第 2 層の最終ソリューションです。 OP は最初にすべてのトランザクションに対してデフォルトで楽観主義を設定し、チェーンに送信した後 7 日間の不正防止チャレンジ期間を経て、ZK は数学的アルゴリズムに基づいてチェーン上のすべてのトランザクションが合法であることを迅速かつ安全に確認できます。 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 ここで、zk-SNARKはイーサリアムのスケーラビリティのパラドックス問題、スケーラビリティと集中化の間の矛盾を解決しますが、シナリオではop-rollupソリューションが実際に実装されています。より成熟していますが、シーケンサーと楽観的な課題の検証プロセスにおける集中化の潜在的なリスクがまだあります。もちろん「楽観的」になることもできますが、完全に分散化されたロールアップを実現するには、SNARK が必要です。 6/n

プライバシーについて見てみましょう。現在のブロックチェーン技術の状況に基づくと、私たちのプライバシー技術の開発は、最終的にハッカーに役立つのかという論理的な矛盾に陥ることになります。ただし、zk-SNARK をベースにしている場合は、犯罪者が悪を行うために利用することを回避しながら、プライバシーを通じてユーザーのお金の入出金を保護する無罪証明 (POI) ソリューションを開発できます。具体的には、POI テクノロジーは Tornado 7/n と同様のプロトコルに適用できます。

POI テクノロジーは、ハッカーが Tornado の通貨混合トランザクション プールを通じてマネーロンダリングを試みるときに、ハッカーが提供した引き出しリクエスト アドレスと入金アドレスが一致しない場合 (プライベート キーの場合)、ブロックチェーンの状態履歴と秘密鍵に基づいて生成されたデジタル フィンガープリントを各ユーザーに提供します。キーが異なる場合)、それはインターセプトされ、元のミキシング アドレスに返されます。ハッカーに等しい身元不明の資産は、通貨混合システム 8/n による追跡を回避できません。

もちろん、ブテリンが講演で指摘したように、除外リストのメルケル ツリーを直接構築することもできます。これは、トルネード プロトコルにブラックリスト メカニズムを追加するのと同じであり、自分の預金がリストにない場合、通常のユーザーは無実の証拠を生成できます。トルネードの場合はその逆になります。ブラックリスト登録は効果的ですが、集中化のリスクを伴います。入出金の秘密鍵が一致しないトランザクションをブロックする方が効果的です。

9/n 最後に、サードパーティの反検閲パラドックス (セキュリティ) 問題について話しましょう。ソーシャル・リカバリー機能がブロックチェーンの大規模な適用にとって避けられない道であることは疑いの余地がありません。しかし、2日前にリーガーがこの機能をオープンしたときに受けたコミュニティの抗議を見れば、ソーシャル・リカバリーをその上に構築することができないことを理解するのは難しくありません。サードパーティが中央集権的であるという前提。そして、zk-SNARKテクノロジーはこの問題を解決できます。 10/n

簡単に言えば、ユーザーが複数の秘密キーのフラグメントを生成する場合、そのフラグメントを暗号化し、zk-SNARK 認証システムを使用して証明書を生成し、ユーザーの秘密キーが紛失した場合にその証明書を信頼できる機関または友人に配布できます。第三者が断片化されたデータ証明書を提供し、zk-SNARKを使用してこれらの証明書の正確性を検証することで、秘密鍵の断片化を明らかにすることなくソーシャルリカバリ機能を実現します。 11/n

上記の内容を十分に理解すると、ブロックチェーン システムに対する zk-SNARK テクノロジーの重要性がわかり、スケーラビリティと集中化、プライバシーと悪意、セキュリティとアンチウイルスなど、現在のイーサリアム ネットワークのさまざまな問題を解決できることがわかります。検閲の問題。したがって、ブテリン氏は、10年後にはzk-SNARKがブロックチェーンと同じくらい重要になるだろうと述べました。おそらく、イーサリアムの最下層もzk-SNARK化されるでしょう。 12/12