Verifying FP16 Transformer Matrix Multiplications With Plonky3 Proofs

Pure arithmetic circuit proving of 70B-parameter LLM weights remains prohibitively expensive on-chain. By committing quantized activation traces over Goldilocks extension fields and verifying freivalds matrix-product checks in Plonky3, Helios settles GPU compute receipts in under 18 milliseconds.