第3讲 垂直证明常见模型及方法