$DUSK #Сумерки — DuskEVM пропускает классическое 7-дневное окно испытаний Optimism. Эта задержка была не просто UX-ошибкой; она часть модели безопасности.
Разбираясь в разборе @DuskFoundation по переносу на OP Stack, DuskEVM переходит к DuskDS, а pre-verifier на базе MIPS проверяет переходы состояния до того, как их примут для расчетов. Документация Dusk описывает, что выводы финализируются примерно за 15 минут.
Сначала это выглядит как понятное улучшение UX. Но вопрос безопасности здесь куда интереснее.
В стандартном OP Stack 7-дневное окно дает время для разрешенных без разрешений (permissionless) fraud proofs, чтобы оспорить неверный корень состояния. В конструкции Dusk верификация переносится на более ранний этап процесса.
Поэтому я бы не описывал это просто как «устранение требования доверия». Важно другое: где теперь находится предположение о безопасности — обеспечивается ли pre-verification независимо валидаторами набора DuskDS или же оно зависит от отдельного набора верификаторов?
Эта разница имеет значение. Более быстрая окончательность ценна, но только если мы понимаем, что именно скрывается «под капотом» изменений.
Далее я проверяю Rusk на GitHub и техническую документацию Dusk, чтобы выяснить, как pre-verifier set связан с валидаторами DuskDS.
#dusk $DUSK @Dusk
Разбираясь в разборе @DuskFoundation по переносу на OP Stack, DuskEVM переходит к DuskDS, а pre-verifier на базе MIPS проверяет переходы состояния до того, как их примут для расчетов. Документация Dusk описывает, что выводы финализируются примерно за 15 минут.
Сначала это выглядит как понятное улучшение UX. Но вопрос безопасности здесь куда интереснее.
В стандартном OP Stack 7-дневное окно дает время для разрешенных без разрешений (permissionless) fraud proofs, чтобы оспорить неверный корень состояния. В конструкции Dusk верификация переносится на более ранний этап процесса.
Поэтому я бы не описывал это просто как «устранение требования доверия». Важно другое: где теперь находится предположение о безопасности — обеспечивается ли pre-verification независимо валидаторами набора DuskDS или же оно зависит от отдельного набора верификаторов?
Эта разница имеет значение. Более быстрая окончательность ценна, но только если мы понимаем, что именно скрывается «под капотом» изменений.
Далее я проверяю Rusk на GitHub и техническую документацию Dusk, чтобы выяснить, как pre-verifier set связан с валидаторами DuskDS.
#dusk $DUSK @Dusk
