Added aMAC credentials and proofs