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