Security rests on a new, informal hardness assumption

The FP8 scheme relies on "Assumption 1 (Informal quantized-subspace hardness)": quantised products of noised matrices are assumed not to be substantially easier than generic ones ¹. The integer construction it extends lists PoUW from more standard assumptions as an open problem ⁵.