Unser ZK-Katalog enthält jetzt Anleitungen, wie man @zksync Boojum und die vorherigen @Lighter_xyz Onchain-Validatoren regeneriert! Gehe zu den Detailseiten, um die notwendigen Schritte zu sehen. Warum das wichtig ist und was genau wir im folgenden Thread gemacht haben 👇

Weißt du, was ZK-Proof tatsächlich onchain verifiziert? Der einzige Weg, um zu wissen, dass der Smart Contract die richtige Logik verifiziert, besteht darin, die Verifizierungsschlüssel aus den richtigen Quellen neu zu generieren und zu überprüfen, ob sie mit den Werten onchain übereinstimmen.

Es sei denn, Sie regenerieren Onchain-Überprüfer, können Sie sich niemals sicher sein, dass die L2 → L1-Abrechnung korrekt ist. Ihre Token könnten gestohlen werden, wenn das ZK-System Hintertüren hat! Unser ZK-Katalog überprüft die Richtigkeit der Überprüfer-Smart Contracts und erklärt, wie Sie dasselbe tun können.

Boojum ist der Prover des @zksync-Teams. Um seinen Verifier neu zu generieren, benötigst du: NVIDIA GPU mit 24G Speicher + CUDA Ubuntu 24.04 OS Die richtige Version der Quellen, abhängig von der Version Abhängige Bibliotheken Es ist kompliziert 🫠 Finde die vollständige Anleitung in unserem ZK-Katalog!

@Lighter_xyz perp DEX ist durch seine Plonky2-Schaltungen gesichert. Um den alten Verifier für den normalen Betriebsmodus wiederherzustellen, benötigen Sie: ~128 G Speicher Abhängigkeitsbibliotheken Finden Sie die vollständige Anleitung in unserem ZK-Katalog! ❗Die Quellen des Escape-Modus sind nicht veröffentlicht, daher kann der Verifier nicht wiederhergestellt werden❗

Da wir letzte Woche den @Lighter_xyz Verifier regeneriert haben, hat deren Team die Schaltungen aktualisiert und die Quellen nicht veröffentlicht. Wieder einmal haben die Benutzer keine Möglichkeit zu wissen, was genau verifiziert ist. 👉Jede Aktualisierung der zk-Schaltungen muss verifiziert werden, auf dem Laufenden zu bleiben ist eine lästige Pflicht!👈