import base64,sys
from cryptography.hazmat.primitives.asymmetric.ed25519 import Ed25519PublicKey
p=Ed25519PublicKey.from_public_bytes(base64.b64decode(open('/workspace/m5-kit/attest/machine.pub').read()))
p.verify(base64.b64decode(open(sys.argv[2]).read()),open(sys.argv[1],'rb').read());print('VERIFIED: signed by this machine, untouched')