4.2 哈希证明系统的设计范式