7.2.1 智能合约的理论模型