STARK @ Home IV: Hot Air – Programming for Succinct ZKPs