David Chaum: Demonstrating That a Public Predicate Can Be Satisfied Without Revealing Any Information About How. CRYPTO 1986: 195-199