Auditor umělé inteligence našel chybu způsobenou exploitem opětovného zásobování Protokol byl auditován dvěma významnými auditorskými firmami, z nichž obě tento problém přehlédly. Sledoval jsem tento projekt auditu umělé inteligence s názvem @savantchat takže mě zajímalo, zda zachytí hlavní příčinu. Správně identifikoval chybějící kontroly na nulovou nebo extrémně vysokou cenu (>1E36), ale hodnocení toho, co dělá, bylo rozporuplné. V čísle 3 se píše, že směnný kurz 0 obchází kontroly solventnosti, ale v čísle 4 se říká, že stejná hodnota činí každého dlužníka okamžitě insolventním. To je stále působivý výsledek a ukazuje, že lidský auditor pracující s nástrojem umělé inteligence by tento problém pravděpodobně zachytil. Doufejme, že brzy budeme mít auditory umělé inteligence, dokonce i jako součást CI pipeline. Zvláštní poděkování patří @igorgulamov za to, že to pro mě uspořádali.

DeFi loves complexity. We don’t. Twyne’s architecture is just ~700 lines of code. Security scales inversely with complexity. Lean codebase is safer, faster and easier to adjust. Here’s why that matters 👇🧵

💥 OZNÁMENÍ NOVÉHO ŘEČNÍKA Jsme nadšeni, že můžeme rozšířit naši brutální sestavu o @bl4ckb1rd71, odborníka na zabezpečení Web3 ve společnosti @twynexyz a skutečného přítele. ------------------------------------ ETH Bělehrad 3 začíná 3. června – poznamenejte si do kalendáře! 🎟 Získejte vstupenky (30% SLEVA) → 🎤 Přihlásit se k mluvenému projevu → 🤝 Staňte se sponzorem → 🛠 Použít na hack →

Plný úvěrový potenciál. Nezůstala po sobě žádná zástava. Přinesme kapitálovou efektivitu na vaše oblíbené úvěrové trhy: • Zvýšení APY pro půjčky • Zvýšení likvidačních LTV • Zabránění 94 % likvidací To vše při zachování oddělení rizik - Jak? 👇