Practical homomorphic MACs for arithmetic circuits