昨日のリアルタイム証明の発表は大きな節目であり、@VitalikButerinは今後必要となるさらなる作業についていくつかの良い点を挙げています。 しかし、私たちはこれらすべての点で、人々が思っているよりも近いと思います... 1. イーサリアムのガススケジュールを少し変更するだけで、最悪の場合のリアルタイム証明を解決できる:今日、~94%のブロックを<12秒で証明でき、99%のブロックを<13秒で証明することができます。残りの外れ値については、イーサリアムのガススケジュールを簡単に調整するだけで十分です(現在、bn254、bls12-381のプリコンパイルは、証明コストに比べて割安です)。また、EIPが1つのトランザクションの最大ガス使用量を制限することで、DDOSベクトルが発生しないようにすることができます(トランザクションのサブブロックを並行して証明して低レイテンシを達成するため)。 2. SP1のフォーマルベリフィケーションはすでに進行中です:都合の良いことに、先週、SP1のフォーマルベリフィケーションについて2つの発表があり、@NethermindEthと@VeridiseIncと協力しています。今後数か月の間に、すべての主要なAIRを正式に検証するための明確な見通しがあります。 3. 分散型証明ネットワークでは、自宅での証明は不要: 現在、RTP には ~160 個の GPU が必要ですが、これはどのデータセンターにとっても非常に小さいですが、自宅でのセットアップには少し大きいかもしれません。しかし、分散型の証明ネットワークが間もなく開始されるので、自宅での証明を目指す必要があるかどうかはわかりません。このネットワークは、リアルタイムの証明の準備ができているオンラインの証明者が常にいることを経済的に奨励します。 4.サブブロックの並列証明は、ガス制限を100倍にしても遅延の問題がないことを意味します:私はガス制限を100倍にすることに大賛成です、そしてこれは私たちにとって問題ではありません。私たちのリアルタイム証明の実装では、ブロックをいくつかのトランザクションの小さなサブブロックに分割するサブブロックアプローチを使用しています。これらのサブブロックは並行して証明され、最後に 1 つの証明に集約されます。ガスリミットが100倍に増えた場合でも、サブブロックの証明を並列化できるため(サブブロックの数が増えるだけです)、レイテンシは影響を受けません。 何か現実を信じてください。リアルタイムの証明を信じています。