Три репозиторії EVMBench два тижні тому. Тепер 15, бігайте за порядком, не відбирайте вручну. EVMBench вимірює відклик. Він не вимірює рівень хибнопозитивних результатів. Recall without Precision — це демонстрація, а не інструмент. AuditAgent створений для мінімізації шуму, а не лише для максимального виявлення. Повні результати у всіх 40 репозиторіях, що тривають.

AuditAgent тепер підтримує Solana. Виявлення вразливостей за допомогою штучного інтелекту, навчене на реальних результатах аудиту. Тепер у Solidity, Каїрі та @Solana. Підвищення базового рівня безпеки на ранніх етапах розробки, до початку ручного перегляду.

SP1 Hypercube отримує мільярди в TVL. Правильність її обмежень RISC-V не повинна залежати лише від тестування. У партнерстві з @SuccinctLabs та підтримуваних @ethereumfndn @NethermindSec офіційно перевірили всі 62 основні опкоди відповідно до офіційної специфікації RISC-V Sail у Lean. Жорсткі формальні методи, застосовані до інфраструктури продуктивного ZK. Вітаю з mainnet