Эксперты отметили повышенную уязвимость ZK-протоколов

«Разработка схемы ZK требует точного обоснования семантики операций в генераторе свидетелей. Когда эти конструкции неправильно кодированы из-за ограничений, вы получаете ошибки. Логично, что в [этих] схемах их больше, поскольку они сильно отличается от типичной парадигмы программирования», — объяснил сооснователь и CEO Veridise Джон Стивенс.

В целом наиболее распространенными обнаруженными в ходе аудитов уязвимостями стали логические ошибки (385), удобство обслуживания (355) и проверка данных (304). На долю этих категорий пришлось 65% всех выявленных проблем.

• 09:25 Tether ответила на сравнение с FTX и Alameda Research
• 09:11 Bitcoin – уникальный актив для диверсификации портфеля
• 08:51 Solana представила криптосмартфон Seeker. Число предзаказов превысило 140 000
• 07:52 Испанская налоговая служба получит право конфисковывать криптовалюту у должников
• 07:14 Как TON и «Телеграм» стимулируют листинги токенов на Binance
• 07:00 Россия стала ведущим рынком для трети крупнейших криптобирж
• 06:54 Масштабный взлом аккаунтов в Х принес хакерам всего $8 000 в криптовалютах
• 02:49 Глава SEC выносит предупреждение криптобиржам