Tim Verifikasi Formal berkolaborasi dengan Aptos untuk mengembangkan versi sirkuit Aptos Keyless Login yang diverifikasi secara formal. Login Tanpa Kunci memungkinkan pengguna membuat dan mengautentikasi akun Aptos menggunakan identitas OIDC seperti ID Google atau Apple.

Dua dari tiga kerentanan tingkat keparahan tinggi di EVMBench terdeteksi oleh AuditAgent. Sebelum tinjauan manual dimulai. EVMBench adalah tolok ukur standar untuk deteksi kerentanan AI, yang dibangun oleh @OpenAI. Kami menjalankan semua 40 repositori. Agen Audit: 80/120 (67%). Model dasar terbaik: 56/120 (47%). Tidak ada repo yang dilewati, jalankan secara berurutan. Recall adalah satu dimensi. Kami mengevaluasi berdasarkan penarikan dan presisi, dan kami telah membuka metodologi evaluasi kami. Analisis lengkap selanjutnya.

Tiga repositori EVMBench dua minggu lalu. Sekarang 15, lari secara berurutan, bukan dipilih sendiri. EVMBench mengukur penarikan. Itu tidak mengukur tingkat positif palsu. Recall without precision adalah demo, bukan alat. AuditAgent dibuat untuk meminimalkan kebisingan, bukan hanya memaksimalkan deteksi. Hasil lengkap di semua 40 repositori yang sedang berlangsung.