Geschrieben von: Shenchao TechFlow
Nachdem die Öffentlichkeit lange Zeit in das großartige und illusorische Kaninchenloch von Web3 geraten ist, scheint sie einen Punkt gewohnheitsmäßig ignoriert zu haben: Im Wesentlichen leben wir in einer Welt, die von Hardware unterstützt wird, sei es die Nachfrage nach VR-Ausrüstung im Metaversum oder die Der CPU- und GPU-Verbrauch hinter der KI oder sogar der ZK-Track, den Vitalik Buterin als die „Zukunft von Ethereum“ ansieht, ist keine Ausnahme.
Obwohl ZK über eine strenge mathematische Logik verfügt und erhebliche Vorteile in Bezug auf Sicherheit, Datenschutz und Skalierbarkeit bietet, hat ZK derzeit geringe Effizienzprobleme bei der Beweiserstellung. In einer Zeit, in der auf Algorithmusebene keine bahnbrechenden Fortschritte erzielt werden können, ist die Hardwarebeschleunigung von ZK zu einer Stiftung geworden ZK entwickelt die direkteste und effektivste Lösung. Vitalik erwähnte bei seiner Teilnahme am Hong Kong Web3 Carnival im April dieses Jahres auch: Die ZK-Hardwarebeschleunigung wird dazu beitragen, die Effizienz und Sicherheit von Ethereum auf ein neues Niveau zu heben.
Da das Potenzial des ZK-Hardwarebeschleunigungspfads zunehmend geschätzt wird, hat das ZK-Hardwarebeschleunigungsprojekt Cysic, das Mitte Juli im Testnetzwerk gestartet wird, große Aufmerksamkeit erregt: Cysic, das dieses Mal gestartete Testnetzwerk, wird durchgeführt In dieser Phase lädt Cysic Benutzer ein, Validatoren zu werden, an Netzwerktests teilzunehmen und entsprechende Belohnungen zu erhalten. Später wird Cysic auch einige Zertifiziererrollen für die Community eröffnen.
Als eines der ersten führenden Projekte, das den ZK-Hardwarebeschleunigungspfad betritt, hat Cysic zuvor eine Seed-Finanzierungsrunde in Höhe von 6 Millionen US-Dollar und eine Pre-A-Finanzierungsrunde in Höhe von 12 Millionen US-Dollar abgeschlossen und Investoren wie Polychain Capital, Hashkey Capital und OKX Ventures angezogen , ABCDE usw. Namhafte VCs aus verschiedenen Branchen beteiligten sich und erhielten Unterstützung von vielen Angel-Investoren wie dem DAO5-Partner George Lambeth, dem ersten Investor von Celestia, und dem ehemaligen Geschäftsführer von Binance Labs, Ken Li.
Wir nutzten den Start des Testnetzes und führten einen intensiven Austausch mit Leo Fan, Mitbegründer von Cysic, um Cysics Erkenntnisse über ZK und den Hardware-Beschleunigungspfad, Projektvorteile und Implementierungslogik sowie Aussichten für groß angelegte Projekte zu besprechen Umsetzung von ZK. Während des Austauschs sagte Leo Fan: Die ZK-Hardwarebeschleunigung wird Ethereum, die Verschlüsselungsbranche und sogar die reale Welt erheblich stärken. Mit der Entwicklung von ZKVM und der bevorstehenden Lieferung von Cysic-ASIC-Hardware haben wir Grund, optimistisch zu sein, was die Vorhersage der ZK-Technologie angeht wird im Jahr 2025 auf den Markt kommen. Jahre, um eine echte Massenadoption zu erreichen.
Lassen Sie uns in dieser Ausgabe in die Vergangenheit, Gegenwart und Zukunft von Cysic eintauchen und mitteilen, was Cysic-Mitbegründer Leo Fan über den Hardware-Beschleunigungspfad von ZK sieht, denkt und fühlt.
Schlüsselargumente
Mit der Einführung des Testnetzes Mitte Juli werden auch eine Reihe von Anreizaktivitäten vorbereitet: Cysic wird Benutzer einladen, über den Whitelist-Mechanismus Prüfer zu werden und am Test teilzunehmen, um Belohnungen zu gewinnen Rollen für die Community in den späteren Phasen des Testnetzes. Für B-End-Benutzer möchte Cysic den ZK-Projektparteien effiziente, kostengünstige und sofortige ZK-Dienste bieten. Auch professionelle Miner können auf das Cysic-Netzwerk zugreifen, um eine effizientere Nutzung der Hardware-Ausrüstung zu erreichen. Für C-Seite-Benutzer können auch normale Laptops eine Verbindung zum Cysic-Netzwerk herstellen und zu Verifizierern werden.
Als Hauptprojekt der ZK-Hardwarebeschleunigungsstrecke lässt sich der Schwerpunkt des Cysic-Projekts in drei Aspekten zusammenfassen: hohe Effizienz, Realisierung der Echtzeit-Proof-Generierung durch selbstentwickelte Chips, Bereitstellung von Beschleunigungsdiensten für ZK mit fast allen verschiedenen Algorithmustypen auf dem Markt; Zentralisierung, Aufbau des ZK DePIN-Netzwerks, um Dienstleistungen für die Industrie dezentral bereitzustellen.
Der Vorteil von ZK besteht darin, dass man nicht bestimmten Personen vertrauen muss, sondern Vertrauen durch mathematische Logik aufbaut. Darüber hinaus ist die gesamte Architektur von Ethereum im Vergleich zu anderen Expansionsplänen entwicklungsfreundlicher für ZK, und die strenge mathematische Logik von ZK bietet auch eine höhere Garantie für die Sicherheit und Fairness von Ethereum.
Bei Cysic haben die Projektparteien die Autonomie, den geeigneten Prüfer entsprechend ihren eigenen Bedürfnissen auszuwählen, wodurch der Grad der Dezentralisierung weiter verbessert wird.
Die Leistung von ASIC liegt in Bezug auf Kostenleistung und Leistungs-/Stromverbrauchsverhältnis weit vorne. Da jedoch Probleme wie Tape-Out-Fehler, die während des ASIC-Entwurfs und des Produktionsprozesses auftreten können, zu hohen Kosten führen, sind alle beim Design vorsichtiger und Herstellung von ASIC.
Cysic übernimmt ein Dual-Token-Wirtschaftsmodell: Native Token erhebt Gasgebühren und belohnt ökologische Mitwirkende, und veToken kann durch Governance an Entscheidungen zur Netzwerk-Rechenleistungsplanung teilnehmen.
Mit der Entwicklung von ZKVM und der Lieferung von Cysic-ASIC-Hardware könnte die ZK-Technologie im Jahr 2025 eine echte Masseneinführung erreichen.
Das Cysic-Testnetzwerk, der derzeit schnellste ZK-Hardwarebeschleunigungsdienst der Branche, ist bald verfügbar
Shenchao TechFlow: Bitte stellen Sie sich zunächst einmal vor.
Leo-Fan:
Hallo, ich bin Leo Fan, Mitbegründer von Cysic.
Lassen Sie mich zunächst meine Bildungserfahrung teilen, die sich hauptsächlich um kryptografische Computersicherheit dreht: Ich habe für meinen Bachelor-Abschluss in der Mathematik-Basisklasse der Sichuan-Universität studiert, mein Masterstudium von 2010 bis 2014 am Beijing State Key Laboratory of Information Security fortgesetzt und Dann trat er in die Cornell University ein, studierte Kryptographie und Informationssicherheit und promovierte 2019.
Dann werde ich meine Erfahrungen in der Branche teilen: Während meines Studiums für die Graduiertenschule in Peking kam ich mit Bitcoin in Kontakt und beteiligte mich am frühen Bitcoin-Mining. Anschließend sammelte ich während meines Doktoratsstudiums auch mehrere Praktikumserfahrungen in Unternehmen wie IBM und Yahoo. Nach meinem Abschluss arbeitete ich zunächst am National Institute of Standards and Technology (NIST), um an der kryptografischen Standardisierung zu arbeiten, und schloss mich dann dem Layer-1-Projekt Algorand an, das vom ZK-Technologie-Erfinder, Turing-Award-Gewinner und MIT-Professor Silvio Micali gegründet wurde Algorand, ich bin hauptsächlich für die Gestaltung und Implementierung des Algorand State Proofs-Teils verantwortlich und setze mich dafür ein, vertrauenswürdige Interoperabilität in das Algorand-Ökosystem zu bringen.
Bis 2022 stellte ich fest, dass die Erstellung des ZK-Beweises lange dauerte. Ursprünglich wollte ich ihn über den Algorithmus und die Softwareebene optimieren, aber der Effekt war nicht offensichtlich, also dachte ich darüber nach, die Beweiserstellung durch Hardwaremethoden zu beschleunigen. und Cysic wurde geboren, mit dem Ziel, durch Hardwarebeschleunigung eine ZK-Echtzeit-Proof-Generierung zu erreichen.
Shenchao TechFlow: Das Cysic-Testnetz wird Mitte Juli gestartet. Können Sie uns bitte mitteilen: Wie können Projektparteien, Benutzer oder Entwickler derzeit am Cysic-Ökosystem teilnehmen?
Leo-Fan:
Aus der B-Seite-Perspektive zielt Cysic darauf ab, den ZK-Projektparteien effiziente, kostengünstige und sofortige ZK-Dienste anzubieten. Derzeit hat Cysic das Early Access Program (EAP) eröffnet, um End-to-End-Hardwarebeschleunigungslösungen auf Unternehmensebene für ZK-Projekte bereitzustellen, die Rechenleistung erfordern. Cysic unterstützt eine Reihe von Multi-Verifizierungssystemen, darunter Halo2, STARK, Groth16, Plonky2, ZAMA und GKR und RapidSnark. Unser leistungsstarkes Netzwerk wird von mehr als 10.000 GPU-Karten angetrieben und sorgt so für beispiellose Leistung und Zuverlässigkeit. Derzeit sind 16 Projekte, darunter Scroll, Light Protocol, Risc Zero, Inference Labs, Ion Protocol, Aerius Labs und TalusNetworkEAP, dem EAP-Programm beigetreten, und frühe Mitglieder werden in Zukunft auch eine Reihe von ökologischen Rechten genießen.
Darüber hinaus kann sich die B-Seite hier auch auf einige professionelle Miner beziehen, die neben dem Zugriff auf andere Netzwerke wie AI DePIN auch auf das Cysic-Netzwerk zugreifen können Die Karten werden die meiste Zeit über in einem Zustand sein, in dem sie voller Aufgaben sind, was bedeutet, dass die Hardware in eine Phase effizienterer Nutzung eintritt. In den späteren Phasen des Testnetzes werden wir auch die Rolle des Zertifizierers für die Community öffnen. Benutzer, die bestimmte Hardwarebedingungen erfüllen, können sich einerseits als Zertifizierer bewerben und andererseits online einen Beitrag leisten erhalten sie Testprämien.
Aus der Sicht von C-seitigen Benutzern kann es sich hierbei um relativ unerfahrene Benutzer handeln, die möglicherweise nicht über leistungsstarke Hardware verfügen. Dann können sie auch über normale Laptops auf das Cysic-Netzwerk zugreifen, um die Rolle von Verifizierern zu übernehmen und so zum ZK-Ökosystem beizutragen und Belohnungen zu erhalten gleichzeitig. . Das Cysic-Testnetz wird Mitte Juli gestartet, und entsprechende Anreizaktivitäten für das Testnetz sind ebenfalls in Vorbereitung: Zu diesem Zeitpunkt werden wir Benutzer auch dazu einladen, über den Whitelist-Mechanismus Prüfer zu werden, an Netzwerktests teilzunehmen und entsprechende Belohnungen zu erhalten.
Deep Wave TechFlow: Wenn Sie in nur drei Worten beschreiben könnten, was Cysic tut, wie würden Sie es beschreiben?
Leo-Fan:
Wir glauben, dass die ZK-Technologie nach der Überwindung des Effizienzengpasses eine groß angelegte Einführung sowohl in der Verschlüsselungsbranche als auch in der realen Welt von Web2 einleiten wird, und Cysic zielt darauf ab, ZK durch die Bereitstellung vollständiger Hardwarebeschleunigungsdienste einschließlich FPGA, GPU und ASIC zu realisieren Beweise werden in Echtzeit generiert, und das ZK-DePIN-Netzwerk Cysic Network ist darauf ausgelegt, ZK-Projektparteien, Rechenleistungsanbieter und Community-Verifizierer zu verbinden und letztendlich ein effizientes, kostengünstiges und dezentrales Rechenleistungs- und Verifizierungsnetzwerk für die gesamte Branche bereitzustellen. Insgesamt wird Cysic eine wesentliche Rolle dabei spielen, die Masseneinführung von ZK früher voranzutreiben.
Zurück zur Frage: Ich denke, was Cysic derzeit macht, lässt sich mit den folgenden drei Worten beschreiben:
Effizienz: Cysic strebt eine Echtzeit-Proof-Generierung durch selbst entwickelte Chips an. Obwohl wir uns noch in der Phase der Bereitstellung von ZK-Beschleunigungsdiensten für Projekte über GPU befinden, sind wir in dieser Phase auch die schnellsten in der gesamten Branche , wenn das Projekt voranschreitet und ASIC Wir werden es noch schneller erreichen.
Vielseitigkeit: Tatsächlich gibt es innerhalb der ZK-Kategorie verschiedene Algorithmen, und es gibt Unterschiede zwischen den verschiedenen Algorithmen. Ziel von Cysic ist es, der Branche ZK-Beschleunigungsdienste bereitzustellen, die alle Algorithmen unterstützen, wodurch der Umfang unserer Dienste weiter erweitert und die Benutzerfreundlichkeit verbessert wird.
Dezentralisierung: Cysic baut derzeit das Cysic-Netzwerk auf, bei dem es sich um ein ZK-DePIN-Netzwerk handelt. Wir hoffen, durch dezentrale Prüfer und Verifizierer Dienste für das gesamte Ökosystem bereitzustellen, und die Teilnehmer werden durch die Bereitstellung entsprechender Beiträge an ZK belohnt.
DeepChao TechFlow: Derzeit umfassen ZK-Hardwarebeschleunigungslösungen hauptsächlich CPU, GPU, FPGA und ASIC. Was sind die Unterschiede zwischen diesen Methoden? Welche Methode bevorzugt Cysic zur Implementierung der ZK-Hardwarebeschleunigung?
Leo-Fan:
Tatsächlich hat Cysic in dieser Frage ein großes Mitspracherecht. Es gibt einen Wettbewerb für ZK-Hardwarebeschleunigung namens ZPrize. Cysic verpasste den ersten ZPrize, war aber Designer und Juror einer der Strecken der diesjährigen Veranstaltung.
Im gesamten ZK bzw. im gesamten Hardware-Bereich. Es gibt drei weitere wichtige Indikatoren:
Der erste ist die Leistung pro Dollar: Das heißt, wie viel es kostet, die entsprechende Hardware zu kaufen, und wie viel es kostet, die Rechenleistung zu erhalten. Da die CPU-Leistung nicht mit anderen Lösungen mithalten kann, basiert die Diskussion hauptsächlich auf der Hardwarebeschleunigung Hauptsächlich GPU, FPGA und ASIC. Aus kosteneffizienter Sicht: ASIC > GPU > FPGA, dann sind die ASIC-Lieferungen groß genug und das aktuelle ZK kann die Bedingungen für dieses Liefervolumen erfüllen.
Der zweite Indikator ist die Leistung pro Watt, also der Energieverbrauch, der beim Betrieb dieser Hardware aufgewendet wird. In dieser Hinsicht liegt die Leistung von ASIC immer noch weit vorn, und die Leistung von GPU ist etwas besser als die von FPGA.
Der letzte Indikator ist die Go-to-Market-Zeit: Wir wissen, dass ASIC den Chip entwerfen muss, und Tape-out (Tape-out) ist ein wichtiges Glied im ASIC-Chip-Designprozess, und die generierte Maske muss an den Wafer gesendet werden Die Chipherstellung erfolgt in runden Fabriken, und wenn beim Tape-Out-Prozess einige Fehler auftreten, führt dies zu hohen Kosten, weshalb derzeit alle beim Design und der Herstellung von ASICs vorsichtiger sind.
Das Gleiche gilt kurzfristig für Cysic. Von Ende letzten Jahres bis Anfang 2025 werden wir Beschleunigungsdienste für alle über GPUs bereitstellen, aber unsere ASICs werden Sie wahrscheinlich im zweiten und dritten Quartal nächsten Jahres treffen. wann wir uns zunächst auf die Bereitstellung von ASICs-Diensten konzentrieren werden. Dies ist ein unvermeidlicher Prozess. Cysic ist bestrebt, eine Echtzeit-ZK-Proof-Generierung zu realisieren. Wir hoffen, dass unsere Proof-Zeit eine Geschwindigkeit von 1 bis 5 Sekunden erreichen kann Es.
Shenchao TechFlow: Wie implementiert Cysic die Echtzeit-Proof-Generierung? Welche Veränderungen oder Innovationen wird dies für ZK, Ethereum und sogar die gesamte Kryptoindustrie mit sich bringen?
Leo-Fan:
Ich denke, dass dies auf jeden Fall zu sehr großen Innovationen führen wird. Nehmen wir als Beispiel die Kombination von ZK und maschinellem Lernen. Wenn Sie derzeit ZK zum Ausführen eines Machine Learning Circuit verwenden möchten, ist dies sehr zeitaufwändig: Wenn Sie ein GPT2 ausführen, dauert es ohne ZK etwa eine Minute . Sekunden, aber wenn Sie ZK zum Nachweis einer GPT2-Schaltung verwenden möchten, dauert selbst die schnellste Lösung mehrere Minuten, und wenn Sie die CPU verwenden, ist eine so lange Zeit für die Benutzererfahrung völlig nutzlos .
Der ASIC-Chip von Cysic wird in der Lage sein, ZK-Proofs in Echtzeit zu generieren, was nicht nur die Kombination von ZK- und maschineller Lerntechnologie fördert, sondern den Benutzern auch ein gutes Erlebnis bietet. Natürlich sind Krypto und KI inzwischen sehr eng integriert, daher ist dieses Beispiel auch ein sehr krypto-natives Beispiel.
Darüber hinaus denke ich, dass die ZK-Beschleunigung auch für Ethereum und sogar die gesamte Kryptowährungsbranche sehr hilfreich ist. Die größte Änderung besteht darin, dass Dinge, die zuvor mehr als zehn Minuten dauerten, auf einige Sekunden verkürzt wurden Auf der L2-Kette können Transaktionen schneller bestätigt werden, und diese Bestätigung basiert auf mathematischer Logik und nicht auf der Annahme „keine Schuld“ wie beim OP. Dies ist eine enorme Verbesserung für die Verschlüsselungsbranche.
Die dezentrale Generierung von ZK-Beweisen in Echtzeit und das Dual-Token-Modell schaffen Anreize für das ZK-DePIN-Netzwerk
Shenchao TechFlow: Bei früheren Lösungen war es immer schwierig, Effizienz und Dezentralisierung in Einklang zu bringen. Cysic erreicht nicht nur die Erstellung von Beweisen in Echtzeit, sondern auch die Dezentralisierung von Prüfern/Zertifizierern. Können Sie uns einfach sagen, wie Cysic dies erreicht? ? Wie kann der von Cysic angenommene PoC-Konsens die Dezentralisierung weiter verbessern?
Leo-Fan:
Wie in der vorherigen Frage erwähnt, gibt es im von Cysic aufgebauten ZK DePIN-Netzwerk Cysic Network zwei wichtige Rollen: Prüfer und Verifizierer.
Der Verifizierer ist für die Verifizierung des vom Prüfer generierten Nachweises verantwortlich. Es ist einfacher, den Verifizierer zu dezentralisieren, da auch Mobiltelefone, Laptops und Tablets an der Verifizierung eines ZK-Beweises teilnehmen können. Die Anforderungen an die Hardware sind in der Regel kürzer als eine Sekunde.
Die Dezentralisierung von Prüfern ist in der Anfangszeit (d. h. im GPU-Zeitalter) schwierig, da die Zeit zum Generieren von Beweisen relativ kurz ist, wenn Sie eine gute Benutzererfahrung bieten möchten zu beweisen Für viele Menschen gibt es eine bestimmte Schwelle, um die höheren Hardwareanforderungen zu erfüllen. Aber wenn die Hardware von Cysic ausgeliefert wird, wird sich diese Situation erheblich entschärfen, da die Hardware von Cysic die Effizienz der ZK-Beschleunigung im Vergleich zur aktuellen Mainstream-GPU-Beschleunigung um das Zehnfache steigern kann und der Preis relativ günstig ist. Jeder kann Cysic kaufen Hardware zu geringeren Kosten, um das Niveau professioneller Miner zu erreichen.
Aus Softwaresicht baut Cysic derzeit ein ZK-DePIN-Netzwerk auf. Wir haben einen PoC-Mechanismus (Proof of Compute) entwickelt, der besser zum ZK-DePIN-Szenario passt Jede Epoche besteht aus etwa 100 Blöcken, die auf der Rechenleistung des Prüfers basieren. Anschließend wird auf der Grundlage der Zusagegewichtung dieser Knotengruppe entschieden, wer die Blöcke in dieser Epoche vorschlägt Ein stabiler Zustand des Netzwerks wird auch den Grad der Dezentralisierung weiter erhöhen.
Shenchao TechFlow: Wir haben festgestellt, dass Cysic ein Dual-Token-Modelldesign anwendet, das Utility-Token und Governance-Token kombiniert. Können Sie uns die Vorteile des Dual-Token-Designs vorstellen und wie Cysic durch effektive Governance und Anreize eine ökologische Entwicklung erreicht? ?
Leo-Fan:
Im Dual-Token-Modell: einer ist Native Token und der andere ist veToken.
Native Token werden hauptsächlich für Gasgebühren, die Belohnung ökologischer Mitwirkender usw. verwendet. Wenn Sie jedoch an der Governance teilnehmen und über die Verteilung der Netzwerkrechenleistung entscheiden möchten, müssen die Teilnehmer Cysic Token verpfänden, um die entsprechenden Stimmrechte zu erhalten.
Wir wissen, dass ZK viele Projekte hat und viele davon unterschiedliche Algorithmen verwenden. Daher ist die Planung der Rechenleistung im Cysic-Netzwerk von entscheidender Bedeutung Dies wiederum kann die Netzwerkteilnehmer besser stärken. Stimmrechte zu haben ist gleichbedeutend mit dem Recht, an der Rechenleistungsplanung teilzunehmen. Wenn ein Projekt beispielsweise in letzter Zeit sehr gut gelaufen ist, sollten wir dann mehr Rechenleistung bereitstellen? Durch einen solchen Mechanismus ist es nicht nur besser, den Wert des gesamten ZK-Ökosystems zu erfassen, sondern der Token von Cysic kann auch besser im gesamten ZK-Ökosystem zirkulieren.
Shenchao TechFlow: Die Hardwareanforderungen des ZK-Hardwarebeschleunigungsdienstes erinnern leicht an die DePIN-Strecke. Welche Erweiterungen hat Cysics ökologische Konstruktion zu DePIN?
Leo-Fan:
Wir hoffen, dass mehr Hardware dem Cysic-Netzwerk beitritt. Es ist erwähnenswert, dass diese Hardware im Cysic-Netzwerk nicht einfach im Leerlauf ist, sondern tatsächlich Dienste ausführt, um durch Beweiserstellung und Verifizierung einen Mehrwert zu schaffen Unterschied zwischen vielen KI- und DePIN-Projekten. Derzeit befindet sich das Cysic-Netzwerk in der internen Testphase und Hunderte von Servern sind ständig mit Aufgaben beschäftigt.
Darüber hinaus hat das Cysic-Netzwerk auch einige Auswirkungen auf traditionelle Benutzer. Aufgrund der Vorteile von ZK im Bereich Privacy Computing werden wir über das DePIN-Netzwerk auch bessere Dienste für traditionelle Benutzer bereitstellen.
Deep Trend TechFlow: Ob auf der letztjährigen EDCON-Montenegro-Konferenz oder dem diesjährigen Web3-Karneval in Hongkong, Ethereum-Mitbegründer Vitalik Buterin hat klar die Ansicht zum Ausdruck gebracht, dass „ZK die Zukunft von Ethereum ist.“ Warum ist Vitalik so optimistisch in Bezug auf ZK? Was sind Ihrer Meinung nach die Vorteile der ZK-Technologie und ihrer Stärkung für Ethereum im Vergleich zu anderen Erweiterungslösungen?
Leo-Fan:
Ich denke, die Gründe lassen sich in zwei Aspekte unterteilen:
Erstens muss ZK nicht bestimmten Personen vertrauen. Im Gegensatz zum „keinen Zweifel“-Vertrauensmechanismus von OP basiert das Vertrauen von ZK auf strenger mathematischer Logik, und die ZK-Technologie wird seit dreißig oder vierzig Jahren entwickelt Die Annahmen werden im Jahr 2016 immer vollständiger. Daher ist es sicherer, sich auf die Mathematik zu verlassen als auf andere Lösungen.
Zweitens ist die gesamte Architektur von Ethereum im Vergleich zu anderen Erweiterungslösungen benutzerfreundlicher für die Entwicklung von ZK. Nachdem ZK zum Generieren eines Beweises verwendet wurde, kann dieser schnell in Ethereum überprüft werden, und der generierte ZK-Beweis kann ein L2-Block sein. Dieser Block kann 1.000 Transaktionen entsprechen. Mit anderen Worten: Die Überprüfung eines ZK-Beweises auf Ethereum entspricht der Überprüfung von 1.000 Transaktionen. Ohne zu viele zugrunde liegende Schichten von Ethereum zu ändern, ist ZK eine bessere Erweiterungslösung.
Lassen Sie uns abschließend über die Stärkung von Ethereum durch die ZK-Technologie sprechen: Ich denke, dass die schnelle Entwicklung von ZK erstens die Abwicklungszeit von Ethereum durch L2 erheblich verbessert hat. Zweitens kann Ethereum durch ZK Bridge viele Sicherheitslücken vermeiden und gleichzeitig die Effizienz verbessern , ZK verfügt auch über große Befugnisse darüber, wie Ethereum selbst Blöcke generiert. ZK verfügt über ein überprüfbares Verzögerungsfunktionsmodul, das strenge mathematische Funktionen zur Generierung von Zufallszahlen verwendet und auch entsprechende ZK-Beweise generiert, um zu überprüfen, ob eine gute Berechnung der Verzögerungsfunktion vorliegt eine gute Garantie für die Sicherheit und Fairness von Ethereum.
Deep Chao TechFlow: Angesichts des aktuellen Problems der geringen Effizienz von ZK hat sich Vitalik auch auf drei Lösungsrichtungen konzentriert, nämlich: 1. Parallelisierungs- und Aggregationsbäume; 3. Verwendung von ASIC für die ZK-Hardwarebeschleunigung; . Cysic ist ein Projekt, das sich auf die ZK-Hardwarebeschleunigung konzentriert. Was sind Ihrer Meinung nach die Vorteile der ZK-Hardware im Vergleich zu den beiden anderen Lösungsrichtungen?
Leo-Fan:
Tatsächlich besteht eine kooperative Beziehung zwischen der ersten Parallelisierungs- und Aggregationsbaumlösung und der dritten ZK-Hardwarebeschleunigungslösung. Parallelisierungs- und Aggregationsbaumlösungen sind eigentlich entweder Parallel EVM (Parallel EVM), oder Proof Aggregation und Batch-Verifizierung können diesen Prozess tatsächlich beschleunigen.
Die zweite Lösung besteht darin, SNARK (Succinct Non-Interactive Arguments of Knowledge) zu verwenden. Es gibt viele Parameter in SNARK, die wir vergleichen Wenn es radikal ist, wird es gewisse Auswirkungen auf die Sicherheit haben. Der Vorteil der ZK-Hardwarebeschleunigung besteht in der Möglichkeit, zu beschleunigen, ohne die Sicherheit des Gehäuses zu beeinträchtigen.
ZKVM unterstützt Cysic bei der Lieferung selbst entwickelter Hardware, ZK könnte im Jahr 2025 eine groß angelegte Einführung einleiten
Shenchao TechFlow: Kürzlich hat der Wind von ZK Solana getroffen. Das Datenschutzprotokoll Light Protocol hat ein neues Grundelement für Solana vorgeschlagen: ZK-Komprimierung, das sich zum Ziel gesetzt hat, natives ZK-Computing auf Solana zu ermöglichen, sodass die Token auf Solana und Kontoverwaltungsgebühren erhoben werden um Größenordnungen reduziert. Was halten Sie von ZK-Komprimierung? Welche Chancen und Herausforderungen wird dies Ihrer Meinung nach für die ZK-Hardwarebeschleunigung mit sich bringen, auf der sich Cysic befindet?
Löwe-Fan:
Die ZK-Komprimierung ist eine kürzlich auf Solana entwickelte ZK-Technologie. Es nutzt hauptsächlich die Einfachheit von ZK, um den Zustand zu verkleinern und so den Overhead zu reduzieren. Die gleiche Technologie wird auch im ZK-L2 und der ZK-Brücke verwendet. Für Cysic gibt es keinen Unterschied zwischen diesem Technologiekern und der derzeit von Cysic entwickelten Technologie. Es besteht lediglich die Möglichkeit, dass die bestehende Technologie von Cysic ZK-Anwendungen in neuen Szenarien (Solana) gut unterstützen kann.
Shenchao TechFlow: Wie lange wird es Ihrer Meinung nach dauern, bis die ZK-Technologie in bestimmten Szenarien wirklich eine breite Akzeptanz findet? Welche wichtigen Möglichkeiten gibt es, die Verwirklichung dieser Vision voranzutreiben?
Leo-Fan:
Ich denke, dass die groß angelegte Einführung von ZK im nächsten Jahr erfolgen könnte und nicht nur auf die Verschlüsselungsbranche beschränkt sein wird, sondern tatsächlich in vielen Landungsszenarien Anwendung finden wird. Dies ergibt sich hauptsächlich aus zwei Möglichkeiten:
Erstens ist es Cysic ein großes Anliegen, mit der Entwicklung von ZKVM Entwicklern zu helfen, nicht mehr viele ZK-Schaltkreise schreiben zu müssen, sondern direkt die entsprechenden RUST- oder Go-Projekte schreiben zu können Wandeln Sie sie dann über ZKVM in ZK-Schaltkreise um, was die Entwicklungsgeschwindigkeit von ZK erheblich verbessert und die Schwelle der ZK-Softwareentwicklung senkt. Cysic wird auch weiterhin nach besseren Softwarelösungen suchen und diese auf den Markt bringen.
Andererseits wird die von Cysic selbst entwickelte Hardware im nächsten Jahr ausgeliefert, was auch die Effizienz der ZK-Proof-Erstellung erheblich verbessern und so zu einer Schlüsselkraft bei der Förderung der groß angelegten Einführung der ZK-Technologie werden wird.
Deep Wave TechFlow: Können Sie uns die großen Fortschritte mitteilen, die Cysic in letzter Zeit gemacht hat, und was wird der Schwerpunkt der Arbeit von Cysic in der zweiten Hälfte des Jahres 2024 sein?
Leo-Fan:
Cysic hat im vergangenen Jahr viele Durchbrüche erzielt: Ende 2023 hat das Team die Entwicklungsrichtung des ZK-Chipdesigns grob festgelegt. Zuvor bestand unsere Arbeit möglicherweise nur darin, ein bestimmtes relativ schweres Modul zu beschleunigen Wir haben die Entwicklungsrichtung basierend auf der ZKVM-Chip-Designrichtung festgelegt, die es unserer Hardwareproduktform ermöglicht, eine sehr flexible Anzeigeform zu haben. Wir werden zwei Produkte haben:
ZK Air wird ein Produkt für normale Benutzer sein. Es handelt sich um ein leichtes und tragbares ZK DePIN-Gerät, das fast die Größe eines MacBook-Ladegeräts hat. Es kann über Typ C an ein Mobiltelefon oder einen Computer angeschlossen werden, um eine effiziente ZK-Zertifizierung zu erreichen. ZK Air bietet mehr Rechenleistung als Top-Consumer-Grafikkarten bieten können und ist mit 10 RTX 4090 vergleichbar.
ZK Pro kann die Produktion von ZK-Proofs maximal beschleunigen, ZK-Proofs für Benutzer in Echtzeit berechnen und ist ähnlich wie herkömmliche Bergbaumaschinen konzipiert. ZK Pro eignet sich besser für große ZK-Projekte wie zkRollup, zkML und andere Szenarien. Hinsichtlich der Leistung hat ZK Pro im Vergleich zu Air eine enorme Verbesserung erzielt. Laut offizieller Offenlegung von Cysic ist seine Rechenleistung mit 50 Nvidia RTX 4090-Grafikkarten vergleichbar.
Darüber hinaus haben wir in Bezug auf die GPU selbst einen entsprechenden allgemeinen Code entwickelt, der im Vergleich zu Open-Source-Lösungen auf dem Markt erheblich verbessert ist und auch fast doppelt so schnell ist bessere ZK-Hardwarebeschleunigungsdienste für die Industrie durch GPU und andere Lösungen.
Im nächsten Jahr 2024 wird das Cysic-Testnetz Mitte Juli gestartet, und das Hauptnetz könnte im dritten Quartal gestartet werden. Derzeit sind die meisten Entwicklungsarbeiten abgeschlossen und wir führen weiterhin Stresstests und andere durch Aspekte der Arbeit.
Darüber hinaus ist ein weiterer Schwerpunkt unserer Arbeit das Hardware-Design auf Basis von ZKVM mit dem Ziel, der Community eine ganz bestimmte Leistung zu bieten.