update crypto-agda.agda