I've been thinking about this recently, since attending a recent lecture on ZKP by Shafi Goldwasser. Do you use or know of any services currently using zero knowledge proofs? I am curious as to why this isn't in wider use.