Cramer, R.; Damgård, I. B. Zero-Knowledge Proofs for Finite Field Arithmetic Or: Can Zero-Knowledge Be for Free?. BRICS 1997, 4.