智能合约从入门到精通：Solidity的特性与内部机制