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

Вы знаете, что такое ZK proof и как он фактически проверяется в сети? Единственный способ узнать, что смарт-контракт проверяет правильную логику, — это заново сгенерировать ключи проверки из правильных источников и посмотреть, совпадают ли они со значениями в сети.

Если вы не регенерируете ончейн-верификаторы, вы никогда не сможете быть уверены, что расчет L2 → L1 верен. Ваши токены могут быть украдены, если в системе ZK есть бэкдоры! Наш ZK Каталог проверяет правильность смарт-контрактов верификаторов и объясняет, как вы можете сделать то же самое.

Boojum является провайдером команды @zksync. Для регенерации его проверяющего вам понадобятся: GPU NVIDIA с 24 ГБ памяти + CUDA ОС Ubuntu 24.04 Правильная версия исходников в зависимости от версии Библиотеки зависимостей Это сложно 🫠 Найдите полный гид в нашем каталоге ZK!

@Lighter_xyz perp DEX защищен его цепями Plonky2. Чтобы восстановить старый проверяющий для нормального режима работы, вам потребуется: ~128 Г памяти Библиотеки зависимостей Полное руководство можно найти в нашем ZK Каталоге! ❗Исходные коды режима побега не опубликованы, поэтому проверяющий не может быть восстановлен❗

Поскольку на прошлой неделе мы обновили проверяющий @Lighter_xyz, их команда обновила схемы и не опубликовала источники. Снова пользователи не имеют возможности узнать, что именно проверено. 👉Каждое обновление zk-схем должно быть проверено, поддерживать актуальность — это настоящая работа!👈