STARK @ Home III: Let’s do Arithmetic – Why are polynomials used in succinct ZK proofs?