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