Die gestrige Ankündigung des Echtzeit-Nachweises ist ein großer Meilenstein, und @VitalikButerin bringt einige gute Punkte für die weitere Arbeit ans Licht, die erforderlich sein wird. ABER ich denke, wir sind uns in all diesen Punkten näher, als die Leute vielleicht denken... 1. Worst-Case-Echtzeit-Proofing kann mit einfachen Änderungen am Gasplan von Ethereum gelöst werden: Heute können ~94% der Blöcke in < 12 Sekunden bewiesen werden, 99% der Blöcke können in < 13 Sekunden bewiesen werden. Für die verbleibenden Ausreißer sollten einfache Anpassungen des Gasplans von Ethereum ausreichen (derzeit sind die Vorkompilierungen von bn254, bls12-381 im Verhältnis zu ihren Beweiskosten unterbewertet). Auch das EIP, das den maximalen Gasverbrauch einer einzelnen Transaktion begrenzt, wird dazu beitragen, dass es keine DDOS-Vektoren gibt (da wir Teilblöcke von Transaktionen parallel testen, um unsere geringe Latenz zu erreichen). 2. Die formelle Verifizierung für SP1 ist bereits im Gange: Praktischerweise haben wir in der letzten Woche 2 Ankündigungen über die formelle Verifizierung für SP1 erhalten, in Zusammenarbeit mit @NethermindEth und @VeridiseInc! Wir haben eine klare Sichtlinie, um alle unsere Kern-AIRs in den nächsten Monaten formell zu verifizieren. 3. At-Home-Proving ist bei dezentralen Proter-Netzwerken nicht erforderlich: Im Moment benötigt RTP ~160 GPUs, was für jedes Rechenzentrum sehr klein ist, aber vielleicht etwas groß für ein Heim-Setup. Mit der bevorstehenden Einführung von dezentralen Beweisnetzwerken bin ich mir jedoch nicht sicher, ob wir das Beweisen, zu Hause anstreben müssen. Das Netzwerk wird einen wirtschaftlichen Anreiz schaffen, dass immer Prüfer online sind, die bereit sind, in Echtzeit zu beweisen. 4. Parallelisiertes Proofing von Subblocks bedeutet, dass das 100-fache des Gaslimits kein Problem für die Latenz ist: Ich bin für das 100-fache des Gaslimits und das wird für uns kein Problem sein. Unsere Real-Time-Proofing-Implementierung verwendet einen Subblock-Ansatz, bei dem wir einen Block nehmen und ihn in kleinere Teilblöcke einiger weniger Transaktionen aufteilen. Diese Teilblöcke werden parallel bewiesen und am Ende zu 1 Beweis zusammengefasst. Selbst wenn das Gaslimit um das 100-fache erhöht wird, können wir das Beweisen der Teilblöcke immer noch parallelisieren (es gibt einfach mehr davon), was bedeutet, dass die Latenz nicht beeinträchtigt wird. Glaube an etwas Reales. Glauben Sie an Echtzeit-Beweise.