FP8 makes matrix math 2x faster than BF16 but does not speed up softmax, so softmax becomes the bottleneck in long-context prefill.
ZYFA's "lean P" replaces softmax's exponential with a multiply-add and an integer conversion, cutting vector work per score from 14 to 6 cycles.
