Madi + SethWinter 2025 | ZellnerWoodruff Proofs