1,088 Bytes to Prove a Star: Constant-Size Proofs with KZG

Ten simulation steps or ten thousand — the proof is 1,088 bytes. Here's the full prove/verify pipeline with KZG+SHPLONK benchmarks.