OH: 「簡潔な証明システムは暗号化ではなく、システム設計です」