Efficient Cryptographic Arguments and Proofs – Or How I Became a Monetary Unit