I find this a really interesting take. Wouldn’t someone be able to produce his own FIDO key that can send two transactions with the same sequence number though?
And at the same time it must prevent leaking of such key.
Not to mention that leaking of such key could happen from the hardware too.