Another great discussion, keep it up! Perfect demonstration of private keys ;)
However, I think you guys are incorrect that somehow miner centralization in Bitcoin is the same as proof of stake centralization. Here is a great lesson on the topic from the game theorist and inventor of Drivechains, Paul Sztorc.