Efficient Cryptographic Arguments and Proofs – Or How I Became a Monetary Unit (benthamsgaze.org)