Nasz ZK Katalog zawiera teraz instrukcje dotyczące regeneracji @zksync Boojum oraz wcześniejszych @Lighter_xyz weryfikatorów onchain! Przejdź do szczegółowych stron, aby zobaczyć niezbędne kroki. Dlaczego to jest ważne i co dokładnie zrobiliśmy w wątku poniżej 👇

Czy wiesz, co to jest ZK proof i jak jest weryfikowane onchain? Jedynym sposobem, aby dowiedzieć się, czy inteligentny kontrakt weryfikuje poprawną logikę, jest regeneracja kluczy weryfikacyjnych z odpowiednich źródeł i sprawdzenie, czy pasują do wartości onchain.

Jeśli nie zregenerujesz weryfikatorów onchain, nigdy nie będziesz pewien, że rozliczenie L2 → L1 jest poprawne. Twoje tokeny mogą zostać skradzione, jeśli system ZK ma tylne drzwi! Nasz Katalog ZK sprawdza poprawność inteligentnych kontraktów weryfikatorów i wyjaśnia, jak możesz zrobić to samo.

Boojum jest proverem zespołu @zksync. Aby zregenerować jego weryfikator, będziesz potrzebować: GPU NVIDIA z 24 GB pamięci + CUDA System operacyjny Ubuntu 24.04 Odpowiednia wersja źródeł w zależności od wersji Biblioteki zależności To skomplikowane 🫠 Znajdź pełny przewodnik w naszym katalogu ZK!

@Lighter_xyz perp DEX jest zabezpieczony przez swoje obwody Plonky2. Aby zregenerować stary weryfikator dla normalnego trybu pracy, będziesz potrzebować: ~128 G pamięci Biblioteki zależności Znajdź pełny przewodnik w naszym Katalogu ZK! ❗Źródła trybu ucieczki nie są publikowane, więc weryfikator nie może być zregenerowany❗

Ponieważ w zeszłym tygodniu zregenerowaliśmy weryfikator @Lighter_xyz, ich zespół zaktualizował obwody i nie opublikował źródeł. Po raz kolejny użytkownicy nie mają sposobu, aby wiedzieć, co dokładnie jest weryfikowane. 👉Każda aktualizacja obwodów zk musi być weryfikowana, bycie na bieżąco to prawdziwa udręka!👈