Decentralized computation procurement and computational robustness in a smart market · Study