It is clear the bitcoin design efficacy was made to satisfy requirements for Pareto optimisation— and in that regard, it succeeded.

As well as having experience in cryptographic methods, Satoshi was clearly versed in Pareto as a bargaining axiom — for these two ideas alone (because there are many others we can point to) — it seems improbable he was anyone other than John Forbes Nash Jr.