] The cryptographer David Chaum, through discussion with
] top cryptographers such as Ron Rivest, has designed a secure and
] verifiable voting system.

This is an excellent paper. I think it pretty obvious that the
secure virtual receipt has applications far beyond voting systems.

A Secure and Verifiable Voting System