什么是智能合约？请解释 Solidity 智能合约的执行原理和常见安全漏洞