Verified Mark Certificates