🎙 За кулисами кода: как @SquadsProtocol создали v4 с акцентом на безопасность

Мы встретились с @SimkinStepan (генеральным директором Squads Labs) и @BasedOrion_, чтобы обсудить, почему они выбрали формальную верификацию и как она выявила критические уязвимости:

"Certora обнаружила сложные риски DoS в нашей логике буфера транзакций. Злоумышленник мог бы заблокировать критические функции."

Смотрите, как происходило это открытие ↓