tl;dr von der letzten Woche der EF-Workshops in Berlin: Ethereum setzt voll auf zkVMs zur Skalierung des L1. Echtzeit-Proving hat gezeigt, dass eine massive Skalierung des L1 mit ZK heute möglich ist. Justin Drake skizzierte sogar einen Weg zur eventualen Einbettung von zkVMs im L1. Sie sind viel ernster mit diesem Vorhaben, als ich dachte. Mehr Details 🧵

Die #1 strategische Priorität von Ethereum ist derzeit die Skalierung des L1: Wie im aktuellen EF-Update hervorgehoben, ist eine der Kernfokusgruppen des EF (geleitet von @timebeiko + @adietrichs) darauf ausgerichtet, die Kapazität von L1 dramatisch zu erhöhen, um mehr Aktivität ins Mainnet zu bringen. Die kürzliche Ankündigung des "Echtzeit-Proving" hat die Führung dazu gebracht, zu erkennen, dass die Skalierung des L1 mit ZK heute möglich ist. Ein großes Engpass bei der Skalierung ist die Aufrechterhaltung niedriger Hardwareanforderungen für Knoten, während die Gaspreise steigen. Mit Echtzeit-Proving kann das Gaslimit erheblich erhöht werden, ohne die Überprüfbarkeit zu opfern, da Validatoren nur Beweise (geringe Rechenkosten) überprüfen müssen, um mit der Kette Schritt zu halten. Der EF widmet erhebliche Ressourcen für dieses Vorhaben, einschließlich mehrerer Ingenieurteams, die sich der Entwicklung eines zustandslosen ZK-Clients widmen, Prover-Netzwerke mit ZK-Boost integrieren und zkVMs benchmarken. Der EF hat einen konkreten Plan für die nächsten Quartale, um zkVMs und RTP in viele Teile des Stacks zu integrieren. Es gibt ein Team, das sich der Entwicklung eines zustandslosen ZK-Clients widmet, der auf minimaler Hardware laufen kann, während er Beweise überprüft. Sie bauen ZK Boost, ein MEV-Boost-ähnliches Sidecar, das jeder Builder und Vorschlagender nutzen wird, um Beweise von Prover-Netzwerken anzufordern. Und sie haben ein engagiertes zkVM-Benchmarking-Team, um zu verstehen, welche Protokolländerungen erforderlich sind, um das Echtzeit-Proving von 100 % der Blöcke zu garantieren. Justin skizzierte einen konkreten Weg zur Verankerung von zkVM-Beweisen in Ethereum in den nächsten Jahren. In einer Präsentation skizzierte Justin einen schrittweisen Plan zur schrittweisen Einführung von zkVMs in L1 – endend mit der endgültigen Verankerung von formal verifizierten Beweissystemen in L1. Da zkVMs für L1 entscheidend werden, werden Prover-Netzwerke die Infrastruktur sein, aus der Vorschlagende Beweise für jeden Ethereum-Block beziehen. Ein kritisches Stück Infrastruktur in diesem zkVM-Vorstoß werden Prover-Netzwerke sein. Prover-Netzwerke ermöglichen eine Trennung von Vorschlagenden und Prover, bei der Vorschlagende dezentralisiert und unspezialisiert bleiben können, während sie Echtzeit-Beweise für jeden Block mit maximaler Effizienz von einem wettbewerbsfähigen Set von Prover erhalten. Das ist es, was wir mit Succincts Prover-Netzwerk aufbauen :) zkVMs stehen kurz davor, die beste Blockchain der Welt zu ermöglichen. ZK-Tsunami, kommt.