Наш каталог ZK тепер містить інструкції щодо регенерації @zksync Boojum та попередніх @Lighter_xyz ончейн-верифікаторів! Перейдіть на детальні сторінки, щоб побачити необхідні кроки. Чому це важливо і що саме ми зробили в темі нижче 👇

Чи знаєте ви, який доказ ZK насправді перевіряється на чейні? Єдиний спосіб переконатися, що смарт-контракт перевіряє правильну логіку — це відновити ключі верифікації з правильних джерел і перевірити, чи співпадають вони зі значеннями на ланцюзі.

Якщо не генерувати ончейн-верифікатори, ніколи не можна бути впевненим, що L2 → L1 правильні. Ваші токени можуть бути вкрадені, якщо система ZK має бекдори! Наш каталог ZK перевіряє коректність смарт-контрактів перевіряючих і пояснює, як зробити те саме.

Буджум — керівник @zksync команди. Щоб відновити його перевіркувач, вам знадобиться: Відеокарта NVIDIA з 24G mem + CUDA Ubuntu 24.04 OS Правильна версія джерел залежно від версії Залежні бібліотеки Це складно 🫠. Знайдіть повний гайд у нашому каталозі ZK!

@Lighter_xyz perp DEX захищений своїми схемами Plonky2. Щоб відновити старий верифікатор для нормального режиму роботи, вам знадобиться: ~128 G пам'яті Залежні бібліотеки Знайдіть повний гайд на нашому каталозі ZK! ❗Вихідні коди режиму Escape не публікуються, тому верифікатор не може бути відновлений❗

Оскільки минулого тижня ми відновили @Lighter_xyz верифікатор, їхня команда оновила схеми і не оприлюднила джерела. Знову ж таки, користувачі не можуть знати, що саме підтверджено. 👉Кожне оновлення ZK Circuits має бути перевірене, бути в курсі оновлень — це справжня морока! 👈