Er, excuse me ... in my office we were running Lotus123 and WordPerfect from DOS prompts (and indeed booting network workstations from 3.5" floppy) as recently as the early 90's! I think you might be surprised how many grannies are familiar with basic CLI from before all this newfangled Windows stuff came along ...
“Using the tool, an exchange first constructs a single transaction which spends all of an exchange’s Bitcoin UTXOs, and adding an extra invalid input. By including one invalid input, the entire transaction is rendered invalid and would be rejected by the network if broadcast. However, the transaction is constructed in such a way that it can still be used as an explicit proof of all the Bitcoin UTXOs spendable by the exchange.”
Oh lordie, what could pooooooooosssssibly go WRONG ???
I think I've just seen an article lamenting that miners don't validate anything and the network does not have enough full nodes that would check stuff. So this should be good for bitcoin. Add a few thousand mischievous full nodes that would pass the proof to miners, get it onto the chain and ... profit?