Efficient and decentralized computation of approximate global state