A new decentralized network and a smart-contract programming langua...