AI ajanlarının yazdığı araçlar kritik bir imza açığı buldu.
Orijinal başlık: Security auditing in the age of (good enough) AI
KISACA
- Tek cümlede
- Trail of Bits, AI ajanlarıyla Miden VM'e özel araçlar geliştirdi.
- Bulgu
- Araçlar 400'den fazla doğrulama sorunu ve tek bir kritik sahte imza açığı buldu.
- Neden önemli?
- Açık, kötü niyetli kanıtlayıcıların sahte imza üretmesine izin vererek güvenliği tehdit ediyor.
Ne oldu?
Trail of Bits, sıfır bilgi kanıtı sanal makinesi Miden VM'i denetlerken altı ay boyunca yapay zeka ajanlarına özel araçlar yazdırdı: dil sunucusu, decompiler, statik analiz motoru ve Lean ile biçimsel kanıtlar. Sonuçta 400'den fazla doğrulama sorunu ve kötü niyetli bir kanıtlayıcının imza sahteciliği yapmasına izin veren tek bir kritik açık bulundu. 95 makine doğrulamalı doğruluk kanıtı üretildi. Yazarlara göre ajanlar hafif gözetimle bu tür yan projeleri taşıyacak kadar iyileşti; başarısız girişimin bedeli artık sadece token maliyeti.
Başarısız deneme artık sadece token maliyeti; denetim ekonomisi değişiyor.
Aynı haberin kısa dikey video özeti.
Bu notu kaynak göstererek alıntılayabilirsin: Hasan Amanet, “AI ajanlarının yazdığı araçlar kritik bir imza açığı buldu.”, Notes for Data Science, 25 Eylül 2026.