Polynomial Formal Verification of Arithmetic Circuits | lit.salon