(AT has been running "live" for over one year on two separate blockchains without any serious issue and supports parallelisation of smart contracts)
But I don't see anything about verification and Nash equilibrium. I do not see a complete specification of how the mining and verification works and the game theory thereof.