Три репозитория EVMBench две недели назад. Теперь 15, запускайте в порядке, а не выборочно. EVMBench измеряет полноту. Он не измеряет уровень ложных срабатываний. Полнота без точности — это демонстрация, а не инструмент. 𝗔𝘂𝗱𝗶𝘁𝗔𝗴𝗲𝗻𝘁 𝗶𝘀 𝗯𝘂𝗶𝗹𝘁 𝘁𝗼 𝗺𝗶𝗻𝗶𝗺𝗶𝘇𝗲 𝗻𝗼𝗶𝘀𝗲, 𝗻𝗼𝘁 𝗷𝘂𝘀𝘁 𝗺𝗮𝘅𝗶𝗺𝗶𝘇𝗲 𝗱𝗲𝘁𝗲𝗰𝘁𝗶𝗼𝗻. Полные результаты по всем 40 репозиториям в процессе.

AuditAgent теперь поддерживает Solana. Обнаружение уязвимостей с помощью AI, обученное на реальных результатах аудита. Теперь охватывает Solidity, Cairo и @Solana. Повышение уровня безопасности на ранних этапах разработки, до начала ручного обзора.

SP1 Hypercube обеспечивает миллиарды в TVL. Корректность его ограничений RISC-V не должна основываться только на тестировании. В партнерстве с @SuccinctLabs и при поддержке @ethereumfndn, @NethermindSec формально проверил все 62 основных опкода в соответствии с официальной спецификацией RISC-V Sail в Lean. Жесткие формальные методы, применяемые к производственной zk инфраструктуре. Поздравляем с запуском в основной сети.