Мы пробовали баунти. Мы пробовали аудиты. Мы продолжали получать урон. @The3D_ вице-президент по инженерии @aave присоединяется к заключительной панели, чтобы сказать нам, являются ли формальные методы ответом. Канны, 27 марта.