Zero-Knowledge Reductions And Confidential Arithmetic