AuditAgent sekarang mendukung Solana. Deteksi kerentanan yang ditambah AI dilatih pada temuan audit nyata. Sekarang di Solidity, Kairo, dan @Solana. Meningkatkan garis besar keamanan di awal pengembangan, sebelum peninjauan manual dimulai.

SP1 Hypercube mengamankan miliaran TVL. Kebenaran kendala RISC-V-nya tidak boleh didasarkan pada pengujian saja. Dalam kemitraan dengan @SuccinctLabs dan @ethereumfndn yang didukung, @NethermindSec secara resmi memverifikasi semua 62 opcode inti terhadap spesifikasi resmi RISC-V Sail di Lean. Metode formal keras, diterapkan pada infrastruktur zk produksi. Selamat untuk mainnet

Tim Verifikasi Formal kami mulai mengerjakan @brevis_zk Pico RISC-V zkVM, membangun pekerjaan kami di SP1 dan OpenVM. Kami berterima kasih kepada @EthereumFndn karena telah mendukung upaya ini.