Tag
DeepMind says AI agents wrote about 6.5 million lines of Lean to verify Signal's handshake and ratchet in compiled code, with clear limits on what is covered.
audiotale.net team6 min read
Cloudflare researchers propose MOLE, a post-quantum framework for anonymous rate-limiting tokens, with estimated sizes far below a 2023 attempt but no proofs or standard yet.
audiotale.net team5 min read
Anthropic's Apache 2.0 FlashProve proves a Llama 4 Maverick reply came from committed weights, at 110 tokens/s on one H100 but about 70 to 95 times the GPU cost.
audiotale.net team7 min read
Kaspersky's 21 October 2026 report says a Lazarus campaign against South Korean software, construction and telecom-equipment firms uses NIST's ML-KEM-1024 to hide later malware payloads.
audiotale.net team7 min read