Zero-Knowledge Proofs for Finite Field Arithmetic; or: Can Zero-Knowledge be for Free?