Proving what you know