» Etiket
cryptography
33 yayınCOLDCARD Seed Üretimi Açığı ~89 Milyon Dolarlık Bitcoin Hırsızlığıyla İlişkilendirildi
COLDCARD firmware hatası zayıf seed üretimine yol açtı; Galaxy Research bunu 88,6 milyon dolarlık Bitcoin hırsızlığıyla ilişkilendirdi.
Alerus: Rust'ta Olasılıksal Programları Formel Doğrulama
Alerus, Verus tabanlı yeni bir çerçeveyle gerçek Rust kodundaki olasılıksal algoritmaları formel olarak doğruluyor; ispat Rocq'ta mekanize edildi.
Uzaktan Tanıklama: TPM ile Sunucu Bütünlüğünü Kanıtlama
TPM ile uzaktan tanıklama, sunucuların önyükleme bütünlüğünü kriptografik olarak kanıtlayarak ele geçirilmiş hostların ağdan dışlanmasını sağlar.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comLLM'lerin Kriptanaliz Yeteneğini Ölçme
Yeni benchmark, LLM'lerin kriptanaliz yeteneğini ölçüyor. Anthropic'in modeli yeni saldırılar keşfetti.
Rings, dağıtık sistem doğruluğunu cebirsel yapılarla yeniden kuruyor
Rings projesi, kriptografi, CRDT tabanlı depolama ve Chord topolojisini grup, halka ve modül gibi cebirsel yapılarla birleştirerek doğrulanabilir bir mimari sunuyor.
2026 WebAssembly Çalışma Zamanlarının Performansı
2026 WebAssembly çalışma zamanlarının performansını inceleyen testler, Wasmer'ın en iyi olduğunu ortaya koydu.
Yapay Zeka Ajanının Silinemez Geçmişi Nasıl İnşa Edilir
Ajanın 'geçmişini değiştiremez' iddiası denetimde çöktü: çift yazıcı, yarış durumu, bozuk kayıt. Çözüm: tek yazıcı, imzalı çapa, fail-closed tasarım.
AI ajanlarında önce kontrol, sonra kanıt: hesap verebilirlik ilkesi
AI ajanlarının kritik eylemlerini önceden sınırlayan, sonradan kriptografik olarak kanıtlayan yeni bir hesap verebilirlik ilkesi tanıtıldı.
Git Commit İmzalarında Hash Zinciri Kırılganlığı Keşfedildi
Yeni bir araştırma, imzalı Git commit'lerinin hash değerinin değiştirilebileceğini, GitHub'ın Verified rozetinin bile bunu engelleyemediğini gösteriyor.
Yapay Zeka, Cloudflare'in CIRCL Kütüphanesinde 7 Hata Buldu
zkSecurity'nin AI denetim aracı Cloudflare'in CIRCL kütüphanesinde 7 kritik hata buldu; hepsi düzeltildi, çoğu HackerOne'da ödüllendirildi.