Кто на самом деле платит за безопасность в Web3? И работает ли текущая модель? Наш CSO @BenSepanski вышел на сцену на Саммите по безопасности @ETHDenver, чтобы разобрать настоящую экономику аудитов, вознаграждений и стимулов безопасности. Ответ не так прост, как думает большинство людей 👇

Формальная верификация для zkVM: извлечение ограничений, которые проверяет верификатор, а затем запуск верификатора на этих ограничениях. Сначала проверьте на недетерминированные схемы, затем проверьте конкретные свойства. Тот же процесс масштабируется на системы такой же сложности, как zkVM.

Большинство команд Web3 тратят 10-20 часов в неделю на работу по безопасности, которую можно автоматизировать. Проблема в том, что вы не знаете, какие задачи на самом деле можно автоматизировать, пока кто-то вам это не покажет. На ETH Denver мы предлагаем бесплатные 10-минутные оценки автоматизации безопасности с нашим CSO, @bensepanski