Micali's rights to lightweight certificates etc.