3.4 智能合约：车间里的自动机床
3.4 智能合约：车间里的自动机床
智能合约是部署在账本上、由全网节点在虚拟机中确定性执行的程序：代码即规则，触发即执行，执行结果写回账本成为新状态。"智能"指的是执行无人可拦，而非合约会思考。本节拆解虚拟机的确定性设计，手搓一台带燃料计量的微型虚拟机，并直面这台机床最著名的几种事故。
别把"智能"两个字当真
智能合约既不智能，也不太像合约——它更像车间里的自动机床：图纸（代码）验收合格后装机（部署上链），传感器触发（有人调用），机床立刻按图纸加工（执行），成品入库（状态更新），全程没有老师傅可以中途改程序。这组形容词真正传达的是两重含义：部署后即不可篡改（升级需要专门机制），以及执行不依赖任何人的配合（到点就跑）。二者让"程序化信任"头一回成为可能：你不需要相信对方会守约，只需要验证机床图纸写得足够严谨。
机床的原创意是把账本从记录器升级为执行器：传统合同写着"到期若未付款则没收保证金"，执行靠法院；合约版本把罚没逻辑写进代码，到期条件一满足，状态转移自动发生。理想很满，现实很快给出三记重锤：代码有漏洞时"不可篡改"变成"不可修复"，价格预言失真时"自动执行"变成"自动亏损"，语义含糊时"代码即法律"撞上法庭的"法律即法律"。带着这三记重锤往下读，才不会把机床当许愿机。
图 3-4 合约执行环境：确定性机床的围栏
手搓一台带燃料表的栈式虚拟机
虚拟机的核心是一个操作数栈加一组极简指令。燃料按指令逐条扣，扣完即停——这是全网不被死循环拖垮的保险丝。几十行代码足以复刻其骨架：
class OutOfGas(Exception): pass class MiniVM: """微型栈式虚拟机：加、减、比较、跳转、读写存储，逐条燃料计量""" GAS_COST = {"PUSH": 3, "ADD": 3, "SUB": 3, "LT": 3, "JUMPI": 10, "SSTORE": 20000, "SLOAD": 800, "STOP": 0} def __init__(self): self.stack, self.storage = [], {} def run(self, code: list, gas_limit: int) -> dict: gas_used, pc = 0, 0 while pc < len(code): ins = code[pc] op = ins[0] gas_used += self.GAS_COST[op] if gas_used > gas_limit: raise OutOfGas(f"燃料耗尽：已用 {gas_used} > 上限 {gas_limit}") if op == "PUSH": self.stack.append(ins[1]) elif op == "ADD": b, a = self.stack.pop(), self.stack.pop() self.stack.append(a + b) elif op == "SUB": b, a = self.stack.pop(), self.stack.pop() self.stack.append(a - b) elif op == "LT": b, a = self.stack.pop(), self.stack.pop() self.stack.append(1 if a < b else 0) elif op == "JUMPI": # 条件跳转：栈顶为真则跳 cond, dest = self.stack.pop(), self.stack.pop() if cond: pc = dest continue elif op == "SSTORE": # 存储写入：最贵的操作 key, val = self.stack.pop(), self.stack.pop() self.storage[key] = val elif op == "SLOAD": self.stack.append(self.storage.get(self.stack.pop(), 0)) elif op == "STOP": break pc += 1 return {"storage": self.storage, "gas_used": gas_used}
用它执行一段"计数器加一"的字节码，再看死循环如何被保险丝熔断：
vm = MiniVM() result = vm.run([ ("PUSH", 1), # 键 ("PUSH", 0), ("SLOAD"), ("PUSH", 1), ("ADD"), # 读旧值 + 1 ("SSTORE"), # 写回 ("STOP"), ], gas_limit=30000) print("存储:", result["storage"], "| 燃料:", result["gas_used"]) infinite = [("PUSH", 0), ("PUSH", 1), ("JUMPI")] # 永远跳回起点 try: MiniVM().run(infinite, gas_limit=5000) except OutOfGas as e: print("保险丝熔断:", e)
注意两点设计用意：存储写入的燃料定价比算术贵几个数量级（它产生永久状态，成本理应转嫁）；燃料耗尽时状态回滚但燃料不退（节点为你的无效计算付出了真实电力，费用照收）。真实平台的燃料价目表有数百项，原理与此一致。
工程现实：机床的事故年鉴
虚拟机本身极少出错，出事的大多是图纸。最著名的几种事故值得逐个过目。重入事故：提款函数先转账后改余额，恶意合约在收到转账的瞬间回调提款函数，余额未清零便再次提款——某去中心化组织因此损失巨额资金，社区从此把"先改状态、后转账"（检查—生效—交互模式）写进开发守则。用调用序列复现其骨架：
class VulnerableBank: def __init__(self): self.balances = {"victim": 100} def withdraw(self, caller): amount = self.balances[caller] # 检查 caller.send(amount) # 交互：先转账！ self.balances[caller] = 0 # 生效：后清零 —— 灾难顺序 class Attacker: """恶意合约：收到转账的回调里再次提款""" def __init__(self, bank): self.bank, self.stolen = bank, 0 def send(self, amount): self.stolen += amount if self.bank.balances["victim"] > 0: # 余额还没清零 self.bank.withdraw(self) # 递归重入 def drain(self): self.bank.withdraw(self) return self.stolen print("盗走金额:", Attacker(VulnerableBank()).drain()) # 100，而非 0
修复只需交换两行的顺序（先清零、再转账），或加互斥锁。整型与精度事故：早期某代币合约的溢出未防护，攻击者凭空转出巨量代币；教训是所有平台后来都内建了溢出检查。预言机事故：合约依赖外部喂价，喂价被操纵的瞬间，清算逻辑自动按假价格执行——机床无罪，传感器撒谎。升级矛盾：不可篡改与修漏洞天然冲突，主流做法是代理合约模式（逻辑与存储分离、可换逻辑地址），但代理自身又成为新的攻击面。
⚠️ 部署纪律清单：上线前专业审计与公开验证；关键参数设多签与时间锁；外部数据走多源预言机并设偏差熔断；升级路径预先演练。机床不会原谅任何一行没被认真读过的代码。
💡 直觉锚点：合约的"信任"来自图纸公开可查，而不是代码写得多复杂。恰恰相反，能删一行是一行——每行代码都是一条攻击面。
攻防边界与检验科预告
机床执行的是状态规则，不判断语义善恶，也不保护隐私——合约存储默认公开，任何人可读；要隐藏商业数据，得等第 5 章的出厂检验技术。机床也读不到链外世界，一切外部事实须经预言机搬运，而"搬运工是否说谎"是合约体系之外的战争。第 6 章讨论跨链时，这个裂缝还会以"桥"的形式再次出现。
机床装配完毕，车间主要设施齐了。下一章点燃熔炉：出块权的竞争规则、候选区块的仲裁机制、坏节点在场时的表决数学——共识机制，整座工厂最灼热也最精妙的地段。