OH: أنظمة إثبات الإيجاز ليست تشفيرا ، إنها تصميم أنظمة