jakiro
組織：Deng Tong、Bitchain Vision Realm
2022年の香港Web3カーニバルの間に、Ethereum Co -FounderのVitalik Buterinは、「プロトコル設計の限界に到達する」基調講演を行いました。ビッチンビジョンは、読者に次のように整理されています。
ブロックチェーンとZK-Snarks
合意を構築するために使用したテクノロジーの種類は、過去10年間で大きく変化しました。その後、2009年にビットコインが生まれたとき、実際に非常にシンプルな形式の暗号化を使用しましたよね？ビットコイン契約で見られる唯一の暗号化テクノロジーは、あなたには勇気があり、楕円形の曲線を備えたECDSA署名があり、ワークロード証明があります。ワークロードプルーフは、2000年に使用されているテクノロジーを見ると、この複雑なテクノロジーが表示され、実際には10年前に表示されます
そのようなことの多くは、すでに長い間存在していました。技術的には、PCP定理の誕生以来、すでにZk-snarksがあり、定理には数十年の歴史があります。したがって、理論的には、これらの技術は長い間存在してきましたが、実際には、学術論文でできることと実際のアプリケーションでできることとの間には大きな効率的な障害があります。
実際、私は思う> “>ブロックチェーン自体には多くの賞賛があります。なぜなら、それは実際にこれらの技術の採用を助け、実際に実践するからです。
今日の状況は過去10年間で変化し、大きな進歩を遂げました。これには、さまざまなものが含まれます。今日私たちが持っている契約は、これらすべての技術に依存しています。2000年に構築された契約を見てください。これらはすべて、初日から重要なコンポーネントと見なされています。ZK-Snarksはここで最初の主要なものですよね？Zk-Snarksはテクノロジーです。この方法で証明をより速く確認し、自分で計算を実行できます。また、元の入力に多くの情報を隠すことなく、証明を確認することもできます。したがって、ZK-SNARKSを見つけることはプライバシーに非常に役立ち、スケーラビリティの点でも非常に役立ちます。
現在のブロックチェーンの役割は何ですか？> “>ブロックチェーンはあなたに多くの利点をもたらしました。しかし、これらはすべて、2つの非常に大きなものを犠牲にしています。1つはプライバシーで、もう1つはセキュリティです。zk-snarks、あなたはプライバシーであり、あなたは安全です。2016年には、ZCASHプロトコルを見ました。その後、生態系理論でますます多くのことを見始めました。今日、ほとんどすべてがZKに基づいて開始され、さまざまな関係者で計算し、完全に暗号化され始めています。しかし、ZK-Snarksでできないことがいくつかあります。したがって、プライバシー保護、コンピューティング、および人々のプライベートデータでの実行。投票は実際には重要なケースであり、ある程度の利点を得ることができます。したがって、ZK-Snarksで投票しますが、本当に最高の属性を取得したい場合は、MPCとFHEが使用する必要があります。
多くの暗号化と人工知能アプリケーションは、最終的にMPCとFHEを使用します。
BLSキー集約は、興味深いテクノロジーです。基本的には、多くの異なる参加者から多くの署名を取得できます（数万人の参加者がいる可能性があります）。ポートフォリオの署名は、同じ署名を確認するのと同じように、ポートフォリオの署名と同様です。
これは非常に強力です。BLSキー集約は、実際には、理論的コアを証明するための現代の国家コンセンサスのテクノロジーです。
BLSキー集約の前に確立されたステータスコンセンサスを見ると、多くの場合、アルゴリズムは通常、数百の検証しかサポートしません。これは、12秒ごとに署名を提出しているため、定理が現在約30,000の検証を持っているように、数百の検証しかサポートしていません。これが可能である理由は、この新しい形式の暗号化が実際に過去5〜10年でのみ最適化されたためです。
効率、セキュリティ、拡張機能
これらの新しいテクノロジーによって非常に多くのことがもたらされています。彼らはすぐに強くなりました。今日の合意は、これらのテクノロジーの多くを使用しています。実際、私たちは、献身的な暗号化から一般的な暗号化への大きな変革を経験しました。より一般的な目的を達成するには、特別な使用アプリケーションのためのアルゴリズムを作成する必要があります。この世界では、過去5分間に言及したコンテンツを使用するアプリケーションを作成する必要がありますが、暗号家である必要さえありません。コードを作成して承認と検証装置にコンパイルすることができ、履歴を求めるアプリケーションがあります。
では、ここでの課題は何ですか？> “>今の2つの大きな問題は、1つは効率性であり、もう1つはセキュリティです。現在、3番目のタイプがあり、拡張機能と言えます。私は思う、> “>今日持っているものの効率と安全性を改善するもっと重要です。
効率について話しましょう。特定の例は、ブロックチェーンの理論です。理論的には、ブロック時間が12秒の場合、ブロックと次のブロックの平均間隔は12秒です。通常のブロック検証時間で。これは、約400ミリ秒の部下の検証ブロックに必要な時間です。トラップ、証明理論を探し、約20分間必要な時間を止めます。しかし、2年前、この状況は急速に改善されていました。以前は、この等しいものは5時間でした。現在、平均20分かかります。2年前と比較して、私たちはまだ大きな進歩を遂げました。
今の目標は何ですか？> “>目標は、リアルタイムプルーフを実行することです。目標は、ブロックを作成すると、次のブロックを作成する前に、世界の各ユーザーが契約の完全な検証ユーザーになることができることです。そのような世界に入ることができる場合：モバイルウォレットを含むブラウザウォレットを含む各イーサリアムウォレット、および他のチェーンを含むスマートコントラクトウォレットは、実際にコンセンサスルールの理論を完全に検証しています。
したがって、彼らは実際にルールを直接検証し、ブロックが正しいことを直接確認するため、彼らは公平性検証を好むかどうかさえ信じていません。これを行うために履歴をどのように使用しますか？本当に役割を果たすために、ZK-Snarksはリアルタイムで実行する必要があることを証明していますが、5秒以内に理論を証明し、ブロックする方法があります。質問は、それを達成できますか？現在、MPCとFHEにも同様の問題があります。前述したように、MPCとFHEの強力なケースが投票していますよね？実際に登場し始めています。
> “>MPCの現在の問題は、そのセキュリティ属性の一部が中央サーバーに依存することです。分散化できますか？できますが、より効率的である必要があります。これらの契約のコストは膨大です。
そのような要求をどのように認識しますか？> “>ZK-Snarksの場合、効率の改善は3つのカテゴリに分かれていると思います。そのうちの1つは、並列化と集約ですしたがって、ブロックに関する理論で、検証で想像する場合、ブロックには最大1,000万の計算手順が必要です。各計算ステップを実行し、個別に証明します。次に、集約を証明します。
上記のステップ約20の後、ブロック全体の正確性の重要な証拠が得られます。これは、今日の既存のテクノロジーでできることです。5秒以内に劣ったブロックを証明できます。多くの並列コンピューティングが必要なので、最適化できますか？集計プルーフを最適化できますか？答えはイエスです。
同じハードウェアコストと同じ電力コストの下で、ASICはGPUの約100倍のハッシュ速度を処理できます。問題は、厳格な証拠を通じてまったく同じ利点を得ることができるということです。答えは、私たちができるべきだということだと思います。多くの企業は、ZK-snarksを証明するために特別に使用される製品の構築を開始していますが、実際には非常に一般的であるべきです。20分から5秒を短縮して、効率を向上させることができますか？
したがって、GKRプロトコルがあり、64ビットがあり、ZK-Snarksなどのさまざまなアイデアがあります。アルゴリズムの効率をさらに改善できますか？より多くのzk-snarks、友好的なハッシュ機能、より多くのzk-snarks、フレンドリーな署名アルゴリズムを作成できますか？ここには多くのアイデアがあり、私は人々がこれらのアイデアのためにもっとやることを強く勧めています。私たちはこれらすべての驚くべき形の暗号化を持っていますが、人々はそれらを信頼しますか？ZK-SnarksであろうとZkevm回路であろうと、何らかの欠陥を心配している場合、それらはすべて7000行を持っています。彼らがそれを非常に効果的にするなら。理論的には、1000行あたり15〜50のエラーがあります。私たちは一生懸命努力します。15行未満ですが、ゼロよりも大きくなっています。これらのシステムが数十億ドルの資産を保持している場合、そのうちの1つが間違っている場合、暗号化技術がどれほど進歩しても、これらのお金は失われます。
問題は、既存の暗号化を実際に採用し、そのエラーの数を減らすために何ができるかということです。
さて、グループに12人のうち9人がいる場合、75％以上が間違いがあることに同意し、証明システムのコンテンツを転覆できると思います。したがって、それは非常に集中化されています。近い将来、複数の証拠があります。理論的には、その部分のエラーのリスクを減らすことができます。3つのプルーフシステムがあります。それらの1つが間違っている場合、他の2つがまったく同じ位置でエラーを犯さないことを願っています。
人工知能ツールで正式な検証を実行します
やっと、> “>将来勉強する価値のある興味深いことは、正式な検証のために人工知能ツールを使用することだと思います。実際、数学にはZK-EVMのようなものがあるというエラーはありません。しかし、たとえば、ZK-EVMの実装はガスの定理と完全に同じ機能であることを本当に証明できますか。たとえば、可能な入力に対して1つの出力しかないことを証明できますか？
2019年、人工知能は今日非常に美しい写真を作ることができるとは誰も考えていません。私たちは多くの進歩を遂げており、人工知能を見てきました。
問題は、同様のツールを同様のタスクに変えることができるかどうかです。たとえば、数千行にまたがるプログラム内の複雑なステートメントは、数学的証明を自動的に生成します。これは、人々が署名集約の効率を理解できるようにする興味深いオープンチャレンジだと思います。それで今日、Ethereumには30,000の検証装置があり、ノードを実行するための要件は非常に高いですか？ラップトップにはノード理論がありますが、実行できますが、安価なラップトップコンピューターではありません。そして、私は本当に自分でハードディスクをアップグレードする必要があります。予想される目標は理論的には、できるだけ多くの検証をサポートしたいと考えています。人々があらゆる規模の検証に直接参加できるように、株式証明書が可能な限り民主的であることを願っています。ノード理論の要件が非常に低く、使いやすいことを願っています。理論と合意が可能な限り単純であることを願っています。
では、ここでの制限は何ですか？制限は、各参加者の各スロットのすべてのデータに1ビットが必要であることです。これは、署名に関与している人と参加していない情報をブロードキャストする必要があるためです。これが最も基本的な制限です。この場合、他の制限はありません。計算すると、下限はありません。集約を証明できます。各ツリーまたは署名で復帰できます。さまざまな署名集合体を作成できます。スナークを使用して、32ビットのスナーク、さまざまなテクノロジーを使用できるように、暗号化を使用できます。
ポイントからポイントのネットワークについて考えてください
問題は、署名集約 – ポイントからポイントの安全性をどの程度最適化できるかということです。> “>ポイントネットワークについて考えるのに十分な人ではありません。これは私が本当に強調したいことです。暗号化の分野では、通常、ポイントツーポイントネットワークの上に特異な構造を作成する傾向が多すぎて、ポイントツーポイントネットワークが機能すると仮定すると思います。ここには多くの悪魔が隠されていますよね？これらの悪魔は、ビットコインでビットコインで働く方法のように、より複雑になると思います。
魔女の攻撃、拒否サービス攻撃など、さまざまな攻撃があります。しかし、あなたが非常に単純なネットワークを持っていて、ネットワークの唯一のタスクがすべてを確実に得ることができるようにすることである場合、問題はまだ非常に簡単です。問題は、スケール理論として、ポイントからポイントへのネットワークがますます複雑になることです。今日のEthereum Dot -Pointネットワークには、30,000の署名を処理するために、署名集約を行うために64個のピースがあります。
まず、今日のように、ポイントからポイントのネットワークがあります。したがって、2つのアイテムの階層化とロールアップの許可のコストは非常に低く、これは才能のあるスケーラビリティソリューションです。これは、より複雑なポイントからポイントのアーキテクチャにも依存します。各ノードのすべてのデータの1/8のみをダウンロードしますか？このようなネットワークセキュリティを本当に作成できますか？どうすればデータを保存できますか？ネットワークへのポイントのセキュリティをどのように改善しますか？
結論は
それで、> “>考慮する必要があるのは、暗号化の制限を実装できる合意です。私たちの暗号は数十年前よりもはるかに強いですが、私たちは本当に天井に到達することができると思います。
ここには、2つの同様に重要な方向があります。
> “>それらの1つは、効率を改善し続けることですすべてをリアルタイムで証明したいと思います。私たちはそのような世界を見たいと思っています。分散型プロトコルブロックで送信された各メッセージのデフォルトは、ZK-SNARKSであり、メッセージとメッセージが契約のルールに従うことに依存するすべてのコンテンツを証明することです。この目標を達成するために効率を改善するにはどうすればよいですか？> “>2つ目は、セキュリティを改善することです。問題の可能性を根本的に減らし、この世界に入りましょう。これらのプロトコルの背後にある実際の技術は非常に強力で信頼できます。
しかし、私たちが何度も見たように、ハッカーによって複数の署名が攻撃されます。多くの場合、これらのレイヤー2プロジェクトのトークンは、実際には複数の署名によって制御されます。5人の人々がハッカーに同時に攻撃された場合、彼らは多くのお金を失うでしょう。これらの問題を回避したい場合は、このテクノロジーを使用し、システムセキュリティを確保するために小さなグループのグループを信じていない代わりに、暗号化してルールを強制することができます。
しかし、これを本当に理解するには、コードを信頼する必要があります。問題は、コードを信頼できるものにすることができるということです。インターネットを信頼できるようにすることはできますか？これらの製品の経済性を信頼できるものにすることはできますか？これらは核となる課題だと思います。誰もが協力して改善することを願っています。ありがとう。
