Since a few people have asked, I can confirm that the digital certificate of authenticity does include the public key, or rather the shortbits version that appears on the coin.