FlashProve produces 18.78 MB proofs for Llama 4 Maverick, compared to VerInf's 93.6 GB proof size and Attestable's 4.35 to 7.92 MiB proof size on Gemma 4 31B