Proven training uses fixed-point arithmetic

Kaizen and ZkAudit prove training in fixed point ^{1 2}. ZkAudit reports accuracy 0.5 to 0.7 points below fp32 on three image datasets ². The frontier design proposes native floating-point precompiles, and lists the algebraic reductions needed to verify floating-point matrix multiplication as an open problem ⁴.