jakiro
Autor: Donovan Choy, Blockworks;
Alles beginnt mit Ethereum.L1 ist zu langsam.Jeder Knoten muss Transaktionen im Block redundant erneut ausführen, um die Gültigkeit zu gewährleisten, die die Skalierbarkeit einschränkt.
Bis 2020 wird sich die Ethereum -Community als Skalierungslösung rund um Rollups vereinen.Vitaliks wegweisendes Blog -Beitrag auf Rollups im Jahr 2021 erklärt, wie optimistisch und ZK Rollups Ethereum skalieren.
ZK -Rollups haben technische Vorteile bei der Skalierung, aber die Technologie ist immer noch zu teuer und weit dahinter (dazu später mehr).
Daher brachen optimistische Rollups zum ersten Mal in den Markt ein.Optimistische Rollups gehen davon aus, dass alle Transaktionen gültig sind, bis jemand sie während einer siebentägigen Herausforderungsperiode mit Betrugsnachweis herausfordert.
Optimistische Rollups sind gültig, aber sie haben versteckte Kosten.Die Herausforderungsperiode bedeutet, dass Benutzer vor dem Abheben von Mitteln längere Transaktionsendzeit benötigen.Die Liquiditätssperrung bedeutet Kapitaleffizienz und allgemein schlechte Benutzererfahrung, insbesondere in Bezug auf die Interoperabilität der Ketten.
In der Zwischenzeit holt ZK auf.Bei ETHCC 2022 haben Polygon, ZkSync und Scroll ZKEVM angekündigt, wodurch die Soliditätsentwickler Code schreiben und die Ausführung von EVMs beweisen können-so dass Ethereum die Null-Knowledge-Technologie nutzen kann.
Bis 2023 erregen ZK -Rollups wirklich Aufmerksamkeit.
Warum ist ZK Proof besser als optimistischer Betrugsbeweis?Das heißt, weil sich ZK im Vergleich zu den ursprünglichen Transaktionsdaten (Megabytegröße) als viel kleiner erweist (~ 1-10 kb).
Durch die Beweisung von Ethereum -Transaktionen unter Verwendung von ZK -Verschlüsselung bedeuten diese stark komprimierten Beweise niedrigere Datenverfügbarkeitskosten und bessere Skalierbarkeit.
Obwohl ZK abhebt, sind die Kosten für die Erzeugung von Beweisen immer noch hoch.Laut ZkStats.io betragen die durchschnittlichen Kosten für die Erzeugung von ZK -Proofs im Dezember 2023 80,21 USD.
Schneller Vorlauf bis 2025.Die Nachweiskosten sind auf 1,3 USD pro Beweis gesunken, eine Erhöhung von etwa 98,4%.
Welche Änderungen wurden vorgenommen?
Jetzt,ZK Rollup Jeder Kernteil des Stapels ist abgebaut.
Zunächst wurde ZKVM veröffentlicht.Diese dedizierten virtuellen Maschinen beschleunigen die ZK -Entwicklungserfahrung und machen die Erzeugung der Effektivität effizienter.Bevor ZKVM auftauchte, mussten Entwickler komplexe mathematische „Schaltkreise“ schreiben, um die Ausführung von EVM zu beweisen.
Heute ermöglichen ZKVMs wie SP1, RISC Zero, Nexus und OpenVM allen Entwicklern (C ++, Rost), die nicht über das Know -how in der ZK -Verschlüsselung verfügen, um die ZK -Entwicklung zu demokratisieren.In der Vergangenheit hat ZKEVM die Soliditätsentwicklung nur für ZK -Rollups ermöglicht.Stellen Sie sich ZKVM als ein allgemeineres Konzept als Zkevm vor.
Zweitens sinken die Kosten für die Erzeugung von Proofs aufgrund des Marktwettbewerbs.Heute betreiben RISC Zero, Cysic, Lagrange und Succinalt viele Wettbewerbsmärkte.Einige befinden sich noch im Testnetzwerk und einige sind bereits in Betrieb.
ZK L2 wendet sich auch der Proof -Aggregationstechnologie zu, um die Überprüfungskosten zu erzählen.Es funktioniert grob, indem es mehrere Beweise in einen Beweis stapelt, wodurch der endgültige Beweis schneller wird.
Diese Märkte erfordern auch keine Lizenz, was bedeutet, dass sich jeder mit einem GPU -Gerät registrieren, eine Marge ausstellen und ZK -Zertifikate generieren kann.Zuvor verwendeten ZK -Rollups „zentralisierte Provers“, was bedeutete, dass sie GPU/FPGA -Hardware von Google oder Amazon mieteten.
Bessere Proof -Systeme werden ebenfalls gestartet.Diese Proof-Systeme (z. B. Groth16, Halo2-Kzg, Stark, Plonk, Expander) definieren algorithmisch die Regeln für die Erstellung und Überprüfung von ZK-Proofs.Sie werden besser, was bedeutet, dass ZK -Proofs kleiner und schneller und schneller werden.Dies bedeutet wiederum ZKVM -Leistungsverbesserungen.
Schließlich ist der ZK Coprozessor auf ZKVM gebaut.Diese Dinge ermöglichen es im Grunde genommen zu Kettenanwendungen, die in der ZK-Ausführungsumgebung nicht vorhanden sind, um das Wunder der ZK-Technologie auszunutzen.So ist es, die Berechnung außerhalb der Kette zu bewegen und so asynchron mit der Ausführung der Blockchain zu laufen.Auf diese Weise kann die Anwendung komplexe Statistiken außerhalb des Kettens berechnen, sie mit ZK beweisen und dann den Beweis für die Kette veröffentlichen.
Anwendungen wie Frax, Azuki, Etherfi und Getriebe verwenden das ZK -Koprozessor von LaGrange, um Ethereum L1 -Beschränkungen zu umgehen.
Also verstehst du es.Deshalb ist ZK das ultimative Ziel.
