something I read early on about agents is the possibility of 'supercoordination' because actions are constrained by code, and because with zk and TEEs the agents can prove what code outcomes are possible, they can provably beat prisoner-dilemma type coordination problems https://x.com/sebkrier/status/2017993948132774232?s=46