ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash