Chaum's solution is based on probability reasoning over blind signatures: the bank agrees to honor a digital claimcheck that is signed by the bank as bona fide, without the bank having seen what it signs. The bank exercises a crypto protocol that reasonably assures it that the blind signature is not a fraud.