Looks like there's no actual QKD happening on the QKarD, so, if someone were to replace the “TA does QKD with a satellite” part with a “TA generates a bunch of

Looks like there's no actual QKD happening on the QKarD, so, if someone were to replace the “TA does QKD with a satellite” part with a “TA generates a bunch of random bits”, nobody would even notice.