ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).