ZKML EZKL MNIST Lab: Verifiable Inference, Quantization, and the Prover Memory Wall

A small, reproducible ZKML lab: train a CNN, export ONNX, compile an EZKL circuit, generate keys, prove & verify inference — then benchmark the practical tradeoff that matters on consumer hardware: numerical fidelity vs prover memory / PK size.