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

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

Наша команда по формальной верификации начинает работу над @brevis_zk Pico RISC-V zkVM, основываясь на нашей работе над SP1 и OpenVM. Мы благодарны @EthereumFndn за поддержку этого проекта.