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.