WitCert: Sound Runtime Risk Monitoring for KV-Cache Quantization
A new paper on arXiv, identified as 2607.28699, introduces a system called WitCert, aimed at enhancing real-time monitoring and control over the quantization process in KV-caches for large language models. Unlike conventional approaches that depend on average benchmarks from previous tests, WitCert allows systems to detect immediate compression problems for particular requests as they occur. This system acts like a 'DTrace for KV quantization,' offering a runtime meter that sets boundaries on the differences between precise and compressed attention across various layers, heads, and steps. It includes two components: a deterministic norm bound for any cache-supporting quantizer and a more precise probabilistic certificate for a specific INT8 quantizer. This development is crucial for ensuring AI reliability in real-world applications.
Key facts
- Paper arXiv:2607.28699 introduces WitCert, a runtime observability and gating system for KV-cache quantization.
- WitCert provides a provably sound runtime meter that computes upper bounds on total variation between exact and compressed attention.
- The meter has two tiers: a deterministic band-norm-witness bound and a probabilistic certificate for subtractively-dithered INT8 quantizer.
- Core theorems are machine-checked in Lean 4.
- The meter integrates with SGLang via an environment-guarded patch.
- It enables live measurement of any quantization scheme registered as a tensor function.
- The system can trigger repair mechanisms when risk exceeds thresholds.
- The work addresses the gap between offline benchmark validation and real-time request-level safety.
Entities
Institutions
- arXiv
- SGLang