ResearchBenchmarksInference Verification on ML ModelsInference Verification on ML ModelsFollow250Max Scaleezkl3.5267.51131.5195.49Jun 3, 2026Evaluation resultsMethodMethodLinksMax ScaleDistributed SupportHardware Execution ProofezklArithmetic=Finite fiel...Arithmetic=Finite field, Multi-step=Per-sample2026.06250——ZKMLArithmetic=Finite fiel...Arithmetic=Finite field, Multi-step=Per-sample2026.0681——zkLLMArithmetic=Finite fiel...Arithmetic=Finite field, Multi-step=Single pass2026.0613——