Аудитор зі штучним інтелектом знайшов помилку від експлойту Resupply Протокол був перевірений двома великими аудиторськими фірмами, обидві з яких пропустили це питання. Я стежив за цією ініціативою з аудиту штучного інтелекту під назвою @savantchat, тому мені було цікаво, чи зможе вона виявити першопричину. Він правильно визначив відсутні чеки за нульову або надзвичайно велику (>1E36) ціну, але оцінка того, що він робить, була суперечливою. У випуску 3 написано, що 0 обмінний курс обходить перевірки платоспроможності, але у випуску 4 написано, що те саме значення миттєво робить кожного позичальника неплатоспроможним. Це все ще вражаючий результат, і він показує, що людина-аудитор, працюючи разом з інструментом штучного інтелекту, швидше за все, виявив би цю проблему. Сподіваюся, скоро у нас з'являться аудитори штучного інтелекту навіть як частина CI Pipeline. Особлива подяка @igorgulamov за те, що ви запустили це для мене.

DeFi любить складність. Ми – ні. Архітектура Twyne складається всього з ~700 рядків коду. Безпека масштабується обернено пропорційно складності. Lean кодова база безпечніша, швидша та простіша в налаштуванні. Ось чому це важливо 👇🧵

💥 АНОНС НОВОГО СПІКЕРА Ми раді розширити нашу брутальну лінійку @bl4ckb1rd71, експертом з безпеки Web3 у @twynexyz та справжнім другом. ------------------------------------ ETH Belgrade 3 стартує 3 червня – відзначте свій календар! 🎟 Придбати квитки (зі знижкою 30%) → 🎤 Подати заявку на розмову → 🤝 Стати спонсором → 🛠 Застосуйте для злому →

Повний потенціал кредитування. Ніякої застави не залишилося. Давайте підвищимо ефективність капіталу на ваших улюблених ринках кредитування: • Підвищення APY кредитування • Підвищення ліквідаційних LTV • Запобігання 94% ліквідацій І все це при сегрегації ризиків - Як? 👇