» Etiket
cryptography
4 yayınPasskey ve WebAuthn PRF ile giriş ötesi: veri şifreleme
WebAuthn'ın PRF uzantısı passkey girişini şifreleme anahtarına dönüştürüyor; pknotes projesi bu mimariyi ana parolasız olarak gösteriyor.
iOS 26'da Secure Enclave İçinde Kalan Post-Kuantum İmza Anahtarları
iOS 26, Secure Enclave içinde ML-DSA post-kuantum imzalama sunarken Android ML-KEM'i uygulamalara açmıyor. Yeni bir Capacitor eklentisi bu farkı güvenli şekilde kapatıyor.
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.
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.comAI ve Kriptografi 2: OpenVM'nin ZkVM'inde Bulunan Hata
OpenVM'nin zkVM'inde zkao AI tarafından bulunan kritik bir seslilik hatası ve çözümü.