В бюллетенях по безопасности больше всего не стоит автоматически переводить «уже исправлено» как «уже безопасно». AEGIS на этот раз закрыл сразу несколько смысловых разрывов: несостыковку Send/Sync в piecrust, приводящую к сессиям-алиасам, обратную сериализацию на стороне хоста, расхождение по комиссиям/возвратам в Phoenix, а также дефект BLS в старом отображении h0, где фраза «достаточно раз увидеть подпись, чтобы подделать сообщение с тем же ключом» фактически позволяла это. На поверхности — это хардфорк из 39 исправлений, но по сути обнажается другое: после того как Dusk собрал вместе ZK-расчёты, Rust VM и EVM-мост, слой «инженерной сборки доверия» оказался более хрупким, чем единичная уязвимость.
Падение кошелька с мостовой подписью в январе ещё важнее разоблачить, чем повторять риторику «протокол не был пробит»: чистый консенсусный слой ≠ чистые границы пользовательских активов. Мост — это слой экономического доверия поверх протокола; горячая подпись + обработка событий + старая архитектура с общим сетевым путём изначально создают поверхность атаки. Позже разъединили подпись и события, ввели явный автомат состояний (seen/submitted/completed/failed/stuck), сделали ручную подгонку в холодном кошельке и добавили автопаузу при низком балансе. Эти изменения спасают операционную модель, а не ончейн-инварианты: выдержат ли они высоконагруженные повторные прогоны и нетипичное восстановление — зависит от регрессионных тестов, включили ли туда тайминговые сценарии вроде «подпись работоспособна, но событие потерялось» и «worker упал — и повторно рассылает трансляции».
Если перенести взгляд на COW и ETH, то фреймворк можно заимствовать, но нельзя копировать. У COW граница безопасности не в ончейн-контрактах на этих «трёх четвертях акра», а в сопряжении ограничений подписи intent, а также связке торгов (solver bid/competition) и расчётного контракта GPv2; реальная рана — когда solver централизован, в 30-секундном окне пачки происходит утечка заказов, а settlement-контракту дают слишком большой approval. Даже если «купить обратно» — это не закроет, когда слой исполнения незаметно «выдёргивают». Для ETH картина ещё прямолинейнее: разнообразие L1-клиентов, централизация RPC и билдера, а также предположения о доверии в кроссчейн-мостах — всё это всегда было «уязвимостью за пределами доказательства».
Поэтому после #dusk я смотрю лишь на два жёстких индикатора: вошла ли в долгосрочный fuzz/дифференциальный регресс ключевая первопричина AEGIS, а не только разовый юнит-тест; и является ли новая изолирующая архитектура моста в стресс-тестах и при восстановлении после отключения сети режимом «сбой — и остановка», а не «сбой — и молчаливое продолжение». Количество пунктов в отчёте — это лицевой слой; реальная глубина — насколько трудно будет повторить такие же ошибки в следующий раз. Пока эти два параметра не будут независимо перепроверены, «снижение безопасности» $DUSK может быть возвращено только по частям, а не обнулено разом. @Dusk
Падение кошелька с мостовой подписью в январе ещё важнее разоблачить, чем повторять риторику «протокол не был пробит»: чистый консенсусный слой ≠ чистые границы пользовательских активов. Мост — это слой экономического доверия поверх протокола; горячая подпись + обработка событий + старая архитектура с общим сетевым путём изначально создают поверхность атаки. Позже разъединили подпись и события, ввели явный автомат состояний (seen/submitted/completed/failed/stuck), сделали ручную подгонку в холодном кошельке и добавили автопаузу при низком балансе. Эти изменения спасают операционную модель, а не ончейн-инварианты: выдержат ли они высоконагруженные повторные прогоны и нетипичное восстановление — зависит от регрессионных тестов, включили ли туда тайминговые сценарии вроде «подпись работоспособна, но событие потерялось» и «worker упал — и повторно рассылает трансляции».
Если перенести взгляд на COW и ETH, то фреймворк можно заимствовать, но нельзя копировать. У COW граница безопасности не в ончейн-контрактах на этих «трёх четвертях акра», а в сопряжении ограничений подписи intent, а также связке торгов (solver bid/competition) и расчётного контракта GPv2; реальная рана — когда solver централизован, в 30-секундном окне пачки происходит утечка заказов, а settlement-контракту дают слишком большой approval. Даже если «купить обратно» — это не закроет, когда слой исполнения незаметно «выдёргивают». Для ETH картина ещё прямолинейнее: разнообразие L1-клиентов, централизация RPC и билдера, а также предположения о доверии в кроссчейн-мостах — всё это всегда было «уязвимостью за пределами доказательства».
Поэтому после #dusk я смотрю лишь на два жёстких индикатора: вошла ли в долгосрочный fuzz/дифференциальный регресс ключевая первопричина AEGIS, а не только разовый юнит-тест; и является ли новая изолирующая архитектура моста в стресс-тестах и при восстановлении после отключения сети режимом «сбой — и остановка», а не «сбой — и молчаливое продолжение». Количество пунктов в отчёте — это лицевой слой; реальная глубина — насколько трудно будет повторить такие же ошибки в следующий раз. Пока эти два параметра не будут независимо перепроверены, «снижение безопасности» $DUSK может быть возвращено только по частям, а не обнулено разом. @Dusk