Proving what you know ...