искусственный интеллект-аудитор обнаружил ошибку в эксплуатации повторного снабжения протокол был проверен двумя крупными аудиторскими компаниями, которые обе пропустили эту проблему. Я следил за этой инициативой по аудиту с помощью ИИ под названием @savantchat, поэтому мне было интересно, сможет ли она выявить коренную причину. Она правильно определила отсутствующие проверки на ноль или крайне большие (>1e36) цены, но оценка того, что она делает, была противоречивой. В вопросе 3 говорится, что 0 обменный курс обходит проверки платежеспособности, но в вопросе 4 говорится, что то же самое значение делает каждого заемщика мгновенно неплатежеспособным. Это все еще впечатляющий результат, и это показывает, что человеческий аудитор, работающий вместе с инструментом ИИ, вероятно, поймал бы эту проблему. Надеюсь, скоро у нас будут аудиторы ИИ даже в рамках CI-пайплайна. Особая благодарность @igorgulamov за то, что провел это для меня.

DeFi любит сложность. Мы — нет. Архитектура Twyne состоит всего из ~700 строк кода. Безопасность уменьшается с увеличением сложности. Компактная кодовая база безопаснее, быстрее и легче поддается изменениям. Вот почему это важно 👇🧵

💥 НОВОЕ ОБЪЯВЛЕНИЕ О СПИКЕРЕ Рады расширить нашу мощную команду с @bl4ckb1rd71, экспертом по безопасности Web3 из @twynexyz и настоящим другом. ------------------------------------ ETH Belgrade 3 начинается 3 июня – отметьте дату в календаре! 🎟 Получите билеты (скидка 30%) → 🎤 Подайте заявку на выступление → 🤝 Станьте спонсором → 🛠 Подайте заявку на участие в хакатоне →

Полный потенциал кредитования. Никаких оставленных залогов. Давайте повысим эффективность капитала на ваших любимых рынках кредитования: • Увеличение APY кредитования • Повышение LTV ликвидации • Предотвращение 94% ликвидаций При этом риски остаются разделенными - Как? 👇