Solidity is a statically-typed, contract-oriented, high-level language for implementing smart...