Propõe provar, bit a bit, que um transformer quantizado produziu uma sequência a partir de um prompt.
Propõe provar, bit a bit, que um transformer quantizado produziu uma sequência a partir de um prompt.
fonte: Sable: A Small-Field Sumcheck Argument for Bit-Exact Inference of Large Language Models
O runtime tritify busca o mesmo resultado em hardware e compiladores distintos, com base para verificação distribuída.
fonte: Deterministic, Reproducible Inference in Exact Integer Arithmetic, and Verifiable Distributed Inference as Its Consequence
Vulnerabilidade no runtime de inferência expôs dados de agentes e limita a promessa de privacidade baseada em hardware
fonte: Near AI Breach Exposes User Details and Data From 18 AI Agents
Une árvores privadas, TEE e controle de vazamento de hiperparâmetros para dados sensíveis.
fonte: MammothDP: Private Boosted Decision Trees Ready for Trusted Hardware and Leakage-free Hyperparameters
Usa perturbações adversariais em fotos para bloquear a personalização de identidade por difusão.
fonte: Location Matters: Sparse Latent-Variance Attacks for Face Privacy against Diffusion Personalization
Leva segurança de fluxo de informação a programas quânticos, mas o salto concreto ainda não aparece no resumo.
fonte: Secure Information Flow in Quantum Programs
Mede quando caches KV podem ser reaproveitados após atualizações de pesos em um modelo real.
fonte: Can KV Cache Be Reused Across Model Updates? A DeepSeek-V4-Flash Case Study
Mostra como desligar nós ociosos de um cluster SBC para aproximar consumo de energia da carga real.
fonte: Energy-Proportional Serverless Computing on SBC Clusters
Hardening local para SSH, mas sem novidade arquitetural evidente
fonte: Protecting SSH Keys with macOS Secure Enclave
Recurso potencialmente útil para acompanhar falhas descobertas por uma fonte central ao operador
fonte: Tracking Anthropic-discovered vulnerabilities