Contribution verification

How to verify the authenticity of the Cryptosat KZG contribution
The contribution JSON generated aboard Crypto2 is cryptographically signed using an ECDSA signature over an ED25519 curve. The public key of Crypto Engine 2 (the computer aboard Crypto2 that was used to generate the contribution) is the following (in SSH format)
ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGOmh2FyNlIhTTIWMgg09y2VJ6JSSB9QArUOGv1Y9Pib ce2@cryptosat2
and the following command can be used to validate the JSON file against this public key
ssh-keygen -Y verify -f allowed_signers -I ce2@cryptosat2 -n file -s new-state.json.sig < new-state.json
which should output
Good "file" signature for ce2@cryptosat2 with ED25519 key SHA256:uig1jCFNeGQNJfLEfGGVvcnhiJ5LAnXBge71RPGH/PY
upon successful signature verification.