智能合约
EVM如何通过状态转换函数实现确定性执行
EVM通过状态转换函数Y(S, T)=S'确保智能合约执行的确定性，输入旧状态S和交易T后，输出新状态S'。该函数是数学意义上的确定性映射，保证所有节点计算结果一致。
CONTRACTS
智能合约
理解合约执行、开发工具和可见限制，不把代码等同于法律承诺。
智能合约
智能合约中public函数的调用条件与执行验证
智能合约中的public函数可被外部调用，但需满足特定条件。以VendingMachine的purchase函数为例，需支付足够ETH且库存充足。