» Etiket
cryptography
22 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.
CUDA 13.3, GPU'lara Taşımasız Çarpma İçin Donanım Desteği Getiriyor
CUDA 13.3'teki yeni clmad PTX komutu, GPU'larda taşımasız çarpmayı hızlandırarak GHASH ve sum-check protokolünde 18 kata varan performans artışı sağlıyor.
Emem: Çoklu Ajan AI Sistemleri İçin İmzalı Hafıza Katmanı
Emem, ajanların bağlam sıkışmasına dayanıklı, imzalı ve doğrulanabilir fiziksel dünya gerçeklerini paylaşmasını sağlayan hafıza katmanı sunuyor.
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.comPasskey Kayıtları İçin Taşınabilir Format ve Go API Önerisi
WebAuthn passkey kayıtları için taşınabilir bir string formatı ve Go tabanlı stateless API önerisi; kimlik bilgisi depolamada opaklık ve taşınabilirlik.
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.
Python'da post-kuantum kriptografi artık tek pip install uzağında
pyca/cryptography 48 sürümüyle ML-KEM ve ML-DSA Python'a geldi. Trail of Bits'in Sovereign Tech Agency destekli çalışması, ekosistemin post-kuantum geçişine zemin hazırlı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.
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.
LLM'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.