التشفير متماثل الشكل يبدو وكأنه آلة حاسبة شاملة تعمل على النصوص المشفّرة. كان هذا أول ما خطر لي عندما سمعت المصطلح، لكن القائمة تقول غير ذلك. كلما تعمّقت في البحث، ازداد الأمر غرابة: أنواع العمليات التي يدعمها أقل بكثير مما تتصور، قليلة إلى حدّ يمكن إحصاؤها. قليلة إلى حدّ أنني استطعت عدّها، فعددتها، ووجدت أنها فئتان ونصف فقط. فهل الحسابات في الحالة المشفّرة قدرة متكاملة واحدة؟ كنت أظنها كذلك، ثم اكتشفت أنه ينبغي قراءتها كقائمة، والإجابة مكتوبة فيها.
لنبدأ بسرد قائمة العمليات التي تدعمها المواد الرسمية، ونتحقق منها بندًا بندًا. يمكن إجراء الجمع المتماثل الشكل، ويمكن إجراء الضرب القياسي، لكن ماذا عن الضرب الاعتباطي؟ هنا توقفت. قلبت الصفحات 3 مرات ولم أجد بندًا يذكر دعمه. عندما وصلت إلى هذا الموضع في القائمة، كنت قد أمضيت 20 دقيقة، واكتشفت أن التشفير متماثل الشكل ليس صفةً، بل جدولًا يحدّد نطاق القدرات. هذه هي الحقيقة. ما يرد في الجدول فقط هو ما يمكن حسابه. @Dusk
لنحلل حدود هذه القدرات ونرى كيف تؤثر في المفاضلة عند التصميم. إذا أردت إجراء حساب ما على نص مشفّر، فعليك أولًا أن تسأل: هل هذه العملية مدرجة في الجدول؟ إن كانت مدرجة، فأجرِها مباشرةً على البيانات المشفّرة. وإن لم تكن، فإما أن تفك التشفير أولًا، أو أن تغيّر تصميم الدارة. لكل من المسارين كلفة: الأول يكشف البيانات، والثاني يزيد تعقيد الإثبات. لا يوجد خيار مجاني. هذه قاعدة لا تتغير. قبل اختيار المسار، عليك أن تعرف أي كلفة يمكن لبياناتك تحمّلها.
من 45% إلى 255% هو نطاق التباطؤ في WASM مقارنةً بالشيفرة الأصلية، وقد تحققت من هذا الرقم مرتين. تصف الرسائل الترويجية الأمر على أنه حساب مشفّر شامل، بينما تُظهر آلية العمل عمليات محدودة. وكلما تحققت من الأمر، ازداد التباسه لدي: القدرة على الحساب على نص مشفّر لا تعني القدرة على إجراء كل الحسابات. لا يدرك معظم الناس هذا الفرق إلا عندما ينظرون إلى القائمة. أما مصدر كلمة «شامل»، فلم أجده في النهاية إلا في العنوان. الحقيقة مخبأة في العنوان.
لذا، عند تقييم جودة حلٍّ لحماية الخصوصية، لا تسأل إن كان يستخدم التشفير متماثل الشكل، بل اسأل كم بندًا تتضمنه قائمة قدراته. يعتقد البعض أن التشفير متماثل الشكل يعني حسابًا شاملًا، لكنني لا أرى الأمر كذلك. هذا مخالف للحدس، لكن قائمة القدرات هي المعيار الوحيد. إذا استشهد أحدهم بالتشفير متماثل الشكل، فاطلب منه أولًا أن يُريك القائمة: $DUSK . إن لم يستطع، فتجاهل كلمة «شامل». لن يستغرق الاطلاع على القائمة سوى 5 دقائق، وهذه بالضبط هي الميزة المجدية. #dusk
لنبدأ بسرد قائمة العمليات التي تدعمها المواد الرسمية، ونتحقق منها بندًا بندًا. يمكن إجراء الجمع المتماثل الشكل، ويمكن إجراء الضرب القياسي، لكن ماذا عن الضرب الاعتباطي؟ هنا توقفت. قلبت الصفحات 3 مرات ولم أجد بندًا يذكر دعمه. عندما وصلت إلى هذا الموضع في القائمة، كنت قد أمضيت 20 دقيقة، واكتشفت أن التشفير متماثل الشكل ليس صفةً، بل جدولًا يحدّد نطاق القدرات. هذه هي الحقيقة. ما يرد في الجدول فقط هو ما يمكن حسابه. @Dusk
لنحلل حدود هذه القدرات ونرى كيف تؤثر في المفاضلة عند التصميم. إذا أردت إجراء حساب ما على نص مشفّر، فعليك أولًا أن تسأل: هل هذه العملية مدرجة في الجدول؟ إن كانت مدرجة، فأجرِها مباشرةً على البيانات المشفّرة. وإن لم تكن، فإما أن تفك التشفير أولًا، أو أن تغيّر تصميم الدارة. لكل من المسارين كلفة: الأول يكشف البيانات، والثاني يزيد تعقيد الإثبات. لا يوجد خيار مجاني. هذه قاعدة لا تتغير. قبل اختيار المسار، عليك أن تعرف أي كلفة يمكن لبياناتك تحمّلها.
من 45% إلى 255% هو نطاق التباطؤ في WASM مقارنةً بالشيفرة الأصلية، وقد تحققت من هذا الرقم مرتين. تصف الرسائل الترويجية الأمر على أنه حساب مشفّر شامل، بينما تُظهر آلية العمل عمليات محدودة. وكلما تحققت من الأمر، ازداد التباسه لدي: القدرة على الحساب على نص مشفّر لا تعني القدرة على إجراء كل الحسابات. لا يدرك معظم الناس هذا الفرق إلا عندما ينظرون إلى القائمة. أما مصدر كلمة «شامل»، فلم أجده في النهاية إلا في العنوان. الحقيقة مخبأة في العنوان.
لذا، عند تقييم جودة حلٍّ لحماية الخصوصية، لا تسأل إن كان يستخدم التشفير متماثل الشكل، بل اسأل كم بندًا تتضمنه قائمة قدراته. يعتقد البعض أن التشفير متماثل الشكل يعني حسابًا شاملًا، لكنني لا أرى الأمر كذلك. هذا مخالف للحدس، لكن قائمة القدرات هي المعيار الوحيد. إذا استشهد أحدهم بالتشفير متماثل الشكل، فاطلب منه أولًا أن يُريك القائمة: $DUSK . إن لم يستطع، فتجاهل كلمة «شامل». لن يستغرق الاطلاع على القائمة سوى 5 دقائق، وهذه بالضبط هي الميزة المجدية. #dusk