Observed arrival · 2026-09-20
AxiomLimit’s zero-leak cache claim
A technical research site demonstrating and formally bounding cross-tenant KV-cache leakage in multi-tenant inference.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Inference infrastructure and formal-methods engineers
- Worth noticing
- The browser verifier checks published file hashes and theorem names locally, without network requests.
Field notes
The project separates reproduction, mitigation, and formal limits rather than presenting salting as a standalone fix. Its page reports 1,852 Lean 4 declarations, an independent OR-Tools placement check, and a keyed-versus-unkeyed L4 control in which the reported recovered-token counts differ materially. The verifier runs in the browser, hashes the supplied file locally, and checks its named theorems against artifacts published on the page.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
One card from the complete issue