Micali's 'fair' crypto