リアルタイム証明の Q&A :) それはなんですか。エリ12。 A: オタクの軍隊が、すべてのイーサリアムのメインネットブロックをリアルタイムで証明するというSFの問題を解決しました。これらのzkプルーフは、トランザクションを再実行するよりも指数関数的に安価に検証でき、使用するガスに関係なく、わずか数ミリ秒で完了します。 Thicc ブロック、小さなバリデーター。地方分権化は最大限に喜ばれます。 リアルタイムは不可能な月の計算を証明していなかったのですか? A: そうでした。5年前、私たちは5桁離れていました。しかし、テクノロジーは年間10倍に増加し続け、今ではここにいます。指数関数をフェードさせないでください。 また、指数関数については、次のようになります。 → 量子コンピューターがECDSAを破るフェード → 半減、半減、セキュリティビットコイン破る イーサリアムL1はどのようにして「ベースでネイティブなロールアップ」になるのですか? A: それを分解してみましょう。 →ベース:L1提案者が取引を注文します。イーサリアムL1はベースレイヤーであり、同語反復に基づいています。 →ネイティブ:L1は、祀られたEVM状態遷移関数を介してトランザクションを実行します。定義上、イーサリアムL1はネイティブです。これからもずっとそうでしょう。 →ロールアップ:ロールアップには、オンチェーンデータとオフチェーン実行があります。メインネットのEVMブロックを唸らせることで、イーサリアムL1はzkロールアップに変わります。 ロールアップは大きなガスリミットをアンロックします。ベースはすでに35メガガス/秒で、イーサリアムL1の20倍です。Baseは1ギガガス/秒を目指しており、イーサリアムL1もそこに到達することができます。 ウェンギガガスL1? A: Ethproofs call #3はGigagas L1専用ですので、ぜひご視聴ください。EIP-9698では、Dankradは~3倍/年のガスバンプ、または2年ごとに~10倍を提案しています。これは 6 年間で 1,000 倍です。立派な数字ですが、まだ新人の数字です。 私の楽観的な見方は?zkVMがEVMパフォーマンスに一致するようになったため、ガス制限でzkVMの改善を追跡できるようになりました。年間10倍を達成し続けると、3年間で1ギガガス/秒になります。私は10年以上ダンクラッドと一緒に働いてきましたが、現実は通常、彼の警戒心と私の期待の間に位置します。 zkVMにバグはありませんか?正式な確認はどうですか? A: 正式な検証は最終段階であり、最初のステップではありません。短期的な戦略は、zkVMの多様性です。第2四半期の終わりまでに、少数のzkVMがリアルタイムの証明を達成するでしょう。CL クライアントや EL クライアントと同様に、個々のクライアントにはバグがあると想定されます。セキュリティは多様性から生まれます。 低遅延の証明はギガガスに拡張できますか? A: はい。SNARKの証明は超並列化可能です。最初の x86 実行とチャンクのみがシークエンシャルです。EIP-7825は、トランザクションごとに使用されるガスの最大量を制限することを提案しています。これにより、トランザクション境界でのチャンクが容易になります。並列処理のスケーリング。レイテンシーは低いままです。 zkVMの次のボトルネックは何か? 力。信頼性のある1-of-n証明者のライブネスは、ホームプルーフが愛好家にとってアクセス可能であるべきであることを意味します。妥当な目標は、証明クラスターあたり10kW以下です。 10kWの予算でガス制限を1,000倍に増やすにはどうすればよいでしょうか? →ソフトウェア:プルーフシステム、回路、アルゴはコンパウンドを続けます →ハードウェア:ムーアの法則+SNARK ASIC →分散証明:負荷を分散し、トラストレスに