jakiro
Autor: Meilen Quelle: x,@MeileS082510
Gestern habe ich das Problem der ZK -Beschleunigung mit ZK -Chipherstellern in China besprochen.Derzeit benötigt ZK -basierte L2 nur Hunderte von GPU -Maschinen, um das tägliche Geschäft zu erhalten.Wo ist jetzt die Notwendigkeit einer Beschleunigung?Welche Teile sind sich zu beschleunigen?Ist der Engpass der ZK -Spur bewiesen oder verifiziert?Welche Auswirkungen haben diese Probleme auf die Ökologie?
Basierend auf diesem Tweet möchte ich einen Teil meines eigenen Verständnisses teilen, willkommen korrigieren und diskutieren!
Die vergangene ZK -Technologie
Frühe ZK -Lösungen basierten hauptsächlich auf der Entwicklung der Schaltung.Entwickler müssen bestimmte Sprachen verwenden, um Schaltkreise zu erstellen, was sowohl kompliziert als auch teuer ist.@Starkwareltd führt in diesem Bereich.Die Einschränkungen dieser Methode sind jedoch, dass sie nur den starken Nachweis eines einzelnen Zertifikatsystems oder Maschine zusammenfassen kann.
Aktuelle ZK -Technologie
Mit der Entstehung allgemeiner ZKVM müssen Programmierer keine neue Leitersprache lernen und nur den Rostcode schreiben, um sich zu entwickeln und anzuwenden.Zu den Vertretern in diesem Bereich gehören @risczero, @corrincLabs ‚SP1, @NexusLabshq und @lita_xyz und Jolt von @a16zcrypto.
Obwohl es viele ZKVM-Projekte gibt, denke ich, dass alle Beweisaggregationssysteme in Zukunft auf RISC-V-ZKVMS oder Rost-basierten ZKVMs beruhen werden.Durch die Verwendung von RISC-V, um zu beweisen, dass wir verschiedene Zertifizierungssysteme problemlos zusammenführen können, um den komplexen Überprüfungsprozess zu vereinfachen.
Fragen und Herausforderungen
Die Verifizierungskosten für Ethereum sind sehr hoch und unterstützt keine große Kapazität.Beispielsweise ist ein 1 -GB -Zertifikat unrealistisch, um direkt auf Ethereum zu überprüfen.Wenn Sie ein ZK -Rollup betreiben, können die jährlichen Kosten bis zu Millionen von Dollar betragen.
Obwohl @AlignedLayer 2.500 Hash pro Sekunde verifizieren kann, kann Ethereum eine so große Kapazität nicht bewältigen.
Lösung
Es gibt zwei Methoden auf Ethereum, um eine schnelle und kostengünstige Überprüfung zu erreichen:
-
Nachweisen: Eine Möglichkeit zur Verbesserung der Überprüfungseffizienz.
-
ZK -Überprüfungsschicht: Erkennen Sie niedrige, skalierbare ZK -Überprüfungsebenen auf @Einnenlayer, was der aktuelle Ansatz von @AlignedLayer ist.
Diskussion und Perspektive
In Bezug auf den Engpass des ZK -Tracks ist @ozhar (von @ZkSync) der Ansicht, dass nur 5%der Kosten mit der Überprüfung zusammenhängen und 95%mit den Hardwarekosten für die Erzeugung von Beweisen zusammenhängen.@HesLinkim hat unterschiedliche Ansichten von @Gevulot_Network, er glaubt, dass der eigentliche Engpass darin besteht, die Generation und Hardware zu beweisen.
Tatsächlich entwickeln sich ZK -Hardware- und Proof -Generationsbereiche auch rasant, wie @Cysic_xyz, @ingo_zk und @lagrangedev und andere Projektparteien fördern aktiv verwandte Technologien.
