الخلاصة

  • اشترطت دالة التسعير عام 1992 أن تكون متوسطة الصعوبة عند إنتاج الجواب، سهلة عند التحقق منه، وألا تسمح بتوزيع كلفة حساب واحد على عدد كبير من الطلبات أو المستلمين.
  • لم تكن الاستثناءات هامشية: تستطيع سلطة التسعير منح طرق مختصرة، ويستطيع المستلم إعفاء مراسليه المعتادين. ثم جعل البحث اللاحق المعتمد على الذاكرة تفاوت الأجهزة جزءاً من المسألة.

لا يستمد البريد المزعج قوته من انعدام كلفة الرسالة الأولى، بل من ضآلة كلفة النسخة التالية. يكتب المرسل نصاً مرة واحدة، ثم تعيد البرمجيات والإجراءات نفسها توزيعه على عدد هائل من الصناديق. أما الانتباه والتخزين والفحص فتتكرر كلفتها لدى كل مستلم.

في بحث Pricing via Processing or Combatting Junk Mail، الذي عُرضت نسخته الأولية في CRYPTO ’92، نقلت Cynthia Dwork وMoni Naor وحدة التسعير إلى الطلب نفسه. يحسب المرسل دالة صعبة باعتدال، ويرفق النتيجة بالرسالة، بينما يستطيع نظام الاستقبال التحقق منها بسرعة قبل التسليم.

لم تكن الفكرة المهمة مجرد استهلاك دورات المعالج. اشترط الباحثان ألا تكون الدالة قابلة للاستهلاك الجماعي أو تخفيض متوسط كلفتها عبر عدد كبير من المدخلات. فإذا فتحت إجابة واحدة مليون عنوان، بقيت كلفة الإرسال الجماعي ثابتة تقريباً. تصبح الكلفة قيداً فعلياً فقط عندما يستدعي كل طلب جديد عملاً جديداً.

برهان يخص هذا الطلب

يمكن أن يرتبط حساب السعر بمحتوى الرسالة والوقت والوجهة. يتغير السؤال عند تغيير المستلم، ويتغير عند تعديل النص، ويجعل عامل الوقت النتائج القديمة غير مقبولة. وهكذا تتصل الكلفة بالفعل الذي يريد المسيء تكراره، لا باستعداد أولي يدفع ثمنه مرة واحدة.

ويجب أن يكون التحقق أرخص بكثير من الإنتاج. لو تقاربت الكلفتان، لاستطاع المهاجم إرسال أجسام رخيصة تجبر الخادم على إنفاق موارد كبيرة في رفضها، فيتحول دفاع مكافحة الإساءة إلى مضخم لهجوم حجب الخدمة. عدم التماثل هنا يحمي جهة المورد: الطالب ينفذ العمل، والمدير يتخذ قراراً قليل الكلفة.

استندت الدوال المرشحة إلى نظرية الأعداد وبنى تشفيرية أُضعفت عمداً: استخراج الجذور التربيعية بترديد عدد أولي، وتعديل مخطط Fiat–Shamir، وإعادة توظيف مخطط Ong–Schnorr–Shamir المكسور. لم يكن المطلوب حاجزاً يستحيل تجاوزه، بل درجة قابلة للضبط بين السهل والمستعصي.

أشار البحث إلى فقر النظرية التي تتناول الدوال «متوسطة الصعوبة». يسأل التشفير غالباً هل يمكن اختراق الجدار. أما التسعير فيسأل كم مرة يمكن اجتيازه، وهل يخفض التحضير المسبق ثمن آلاف المحاولات، ومتى تجعل الأجهزة الأسرع هذا الجدار منخفضاً. إنها سياسة اقتصادية مصاغة كخوارزمية.

الاستثناء يكشف صاحب السلطة

ليس كل إرسال كثيف إساءة. إعلان مؤتمر أو قائمة مهنية قد يصل إلى آلاف الراغبين فيه. ولو فُرض السعر الكامل على كل نسخة، فقد تنكمش الاتصالات الجماعية النافعة مع البريد المزعج.

لذلك وصف البحث «طريقاً مختصراً». تستطيع سلطة التسعير إعطاء معلومات لوكلاء موثوقين تجعل حساب الدالة رخيصاً، فيمر الإرسال الجماعي المعتمد وفق شروط المدير. ويحتفظ كل مستلم بقائمة محلية لمراسلين معتادين تقبل رسائلهم بلا برهان، وبقائمة أخرى لمن يرفضهم دائماً.

تكشف هذه التفاصيل أن الحاجز الرياضي ليس محايداً. هناك من يختار عائلة الدوال ودرجة الصعوبة وحملة الطريق المختصر. وهناك مستلم يرسم حدوده الخاصة للعلاقات المألوفة. يثبت الحساب أن جهداً بُذل، لكنه لا يقرر أي مؤسسة تستحق الإعفاء.

ولا يشبه كسر دالة تسعير تسريب مفتاح تشفير. رأى الباحثان أن الاستغلال المحدود يسبب ضرراً محدوداً، بينما يكشف الاستغلال الواسع نفسه بعودة الإرسال المزعج، وعندها يمكن تغيير الدالة أو مفتاحها. لكن الإصلاح يظل محتاجاً إلى جهة ترصد الانحراف وتغير السعر وتنسق الانتقال.

الجهاز يغير الفاتورة

في عام 2003 عادت Dwork وAndrew Goldberg وNaor إلى المشكلة في On Memory-Bound Functions for Fighting Spam. العمل المقيد بسرعة المعالج لا يفرض زمناً واحداً على خادم حديث وحاسوب قديم. وقد يشتري المرسل الصناعي ميزة لا يملكها المستخدم العادي.

انتقل البحث إلى عمليات وصول متناثرة إلى الذاكرة، لأن تفاوت زمن الذاكرة بين الأجهزة المختبرة كان أقل من تفاوت سرعة المعالج. صار الهدف أن ينفذ المرسل عدداً كبيراً من عمليات الوصول غير المترابطة، فيما يحتاج التحقق إلى عدد أقل بكثير أو إلى لا شيء. وربط البرهان بالرسالة والمرسل والمستلم والتاريخ، مع رفض المكرر والمنتهي الصلاحية.

كانت النتيجة التجريبية محددة: عمل تطبيق بعينه ببطء يقارب أربعة أضعاف على جهاز بسرعة 233 ميغاهرتز مقارنة بمحطة بسرعة 3.06 غيغاهرتز. لا يثبت ذلك مساواة بين كل الأجهزة. بل تساءل الباحثون إن كانت المساواة التامة مرغوبة؛ فقد يكون إجبار المسيء على شراء تجهيزات غالية مفيداً، فيما يلجأ الجهاز الضعيف إلى خدمة حساب خارجية. توزيع الكلفة قرار تصميمي.

التأثير ليس تطابقاً

يضع سجل Harvard للبحث والسيرة الفكرية لـDwork وصفحة Microsoft Research هذا العمل ضمن مسار أوسع شمل الأنظمة الموزعة والتشفير والخصوصية التفاضلية وعدالة الخوارزميات. وتشير Harvard إلى أثره في الأساس الفكري للعملات المشفرة.

لكن الأثر لا يجعل بحث 1992 وصفاً لـBitcoin. لا يتناول البحث إجماع السلسلة أو الإصدار النقدي أو اختيار الفروع. موضوعه الباقي أضيق وأكثر عمومية: مطالبة طالب المورد، قبل الدخول، بدليل على كلفة مقصودة مرتبطة بطلب بعينه ولا يمكن إعادة استخدامها.

فصل البحث خمسة أسئلة ما زالت تختلط: ما المورد النادر؟ بأي طلب يرتبط العمل؟ هل يمكن حسابه مسبقاً أو بيعه أو إعادته؟ ما كلفة التحقق؟ ومن يغير السعر ويمنح الاستثناءات؟ اسم «إثبات العمل» لا يجيب وحده عن أي منها.