OH:简洁的证明系统不是密码学,它们是系统设计。