qasawa.xyz | قساوة

مبدئيا الحس العام العام الأسلم: أن الخبر بعيد عن الصدق. أو لعله كاذب. الرجل مأسور منذ سنوات طويلة. فقرار إعدامه لا بد أن يتطلب ظرفا أو مجموعة ظروف مؤثرة أكثر من تلك التي دَعَت لأسره. هممم. انخفض الشغف.

هل أفحص القضية؟ تبدو شيّقة. لعلي أفحصها. ولكن قد تعرقل ضبابيةُ الفضاءِ المفحوص قدرتي على المعايرة. سأرى.

هذه الجملة تعني أن جماعةً اتفقوا على الثقة بها. على أية حال يصعُب التقدُّم في الترجيح بغير معايرة

كيف يمكن الجزم بصدق أو ترجيح كذب قرار إعدام عبدالعزيز الطريفي؟ هل تفيد التحقيقات الحوسبية والتقصيات الرياضية؟ قد تفيد، بالابتداء منها لا بالانتهاء إليها. لأن الحالةَ المطلوبُ الحكمُ عليها لا يُخيَّل للحسِّ العام (Common sense) أنَّ حلَّها ممكن، إلا بتصريح صريح من الجهة المُصدِرة لقرار الإعدام، يؤكد. (أو ينفي). أو بتصريح صريح من جهة أخرى موثوقة تدَّعي أنَّ تسريبًا ما قدم إليها وتطلب منك أن تثق بتسريبها. وفي الحالَيْن فرصك في التصديق ذي المعنى شبه منعدمة. ظروف الحالة هذه فوضوية وضبابية. إذا لم تستطع المعايرة إفادتك فلن يفيدك شيء في الحكم عليها. إلا لو كنتَ في السجن الذي يُحبَس فيه الطريفي، أو ما شابَهها من الظروف.

البروتوكولات الرياضية لا تُبنى مرتين. تُبنى مرة واحدة، بإحكام، أو تنهار عند أول محاولة اختراق جادة. وهذا بالضبط ما يفصل نوتش Notch عن كل من سبقه في سوق الشهرة اللامركزية: أن أساسه ليس اجتهادًا هندسيًا قابلًا للتصحيح لاحقًا، بل نتيجة رياضية مغلقة لا تحتمل نقضًا إلا بنقض فرضياتها المُعلَنة. هذا الفرق، بين البروتوكول الذي يُصمَّم والبروتوكول الذي يُبرهَن، هو ما يجعل الحديث عن مبرهنة 8.3 حديثًا عن جوهر المشروع لا عن هامشه. معظم آليات الثقة اللامركزية، من إثبات العمل Proof of Work إلى إثبات الحصة Proof of Stake إلى إثبات الشخصانية Proof of Personhood، تشترك في عيب بنيوي واحد: المورد الذي تُنفقه الهوية للدخول لا علاقة له بالجودة التي يُفترض أن يُشهد عليها. فحاسوب قوي لا يعني محللًا صادقًا. ورأس مال ضخم لا يعني مهارة تنبؤية. العيب ههنا ليس تفصيلًا تقنيًا يُرقَّع بتحديث، بل ثغرة بنيوية: أي مورد قابل للتقسيم يُمكن مضاعفته عبر هويات وهمية بلا أي كلفة معرفية حقيقية. ومَن يملك الميزانية يشتري العدد. ومن يشتري العدد يُغرق التصنيف ويشوِّش فيه. بروتوكول نوتش يرفض هذه المعادلة من الجذر. فالمورد المُنفَق ليس حوسبة ولا رأس مال، بل الكفاءة التنبؤية ذاتها، مَقيسة عبر قاعدة تسجيل قطعية الاستقامة strictly proper تُحاسِب كل التزام احتمالي بدقة رياضية لا تحتمل تلاعبًا لغويًا ولا تسويقيًا. هو ذا جوهر Calibration-Gated Reputation (الورقة الـتأسيسية)، وهذا ما تُحوّله ورقة Proof of Calibration من فرضية بحثية إلى مبرهنة دقيقة صفرية البارامترات، مُطابقة للمحاكاة حتى آخر رقم عشري. لكن يبقى كل هذا، رغم دقته، تحليلًا لآلية واحدة. فـ: تُعطى القاعدة، ويُحسب سعرها بدقة متناهية، وتُطابَق النتيجة مع آلاف التجارب. وهذا مهما بلغ إحكامه لا يُسكِت السؤال الذي يطارد كل تصميم أمني جاد: من قال إن هذه الآلية هي الأفضل الممكن؟ ربما توجد آلية أخرى، لم يفكر فيها أحد بعد، تقاوم التلاعب الهوياتي بأسٍّ أعلى. هذا السؤال ليس علميا. فهو السؤال الذي يُسقِط بروتوكولات كاملة حين يجيب عنه منافِس بحل أذكى بعد سنوات من الإطلاق. وههنا يقف الفارق. مبرهنة 8.3 لا تُضيف تحليلًا آخر لآلية أخرى. بل تُغلق فضاء الآليات كله دفعة واحدة. انظرْ إلى التعريف بدقة: أــ. أيُّ آلية "محلية زائفة الهوية" local pseudonymous mechanism، بــ. وأيُّ آلية لا تنظر في قرار قبول هوية واحدة إلا إلى تقاريرها ونتائجها الخاصة، بلا إشارة عابرة للهويات، جــ. وأيُّ آلية "β-كاملة"، أيْ تقبل الصادق باحتمال لا يقل عن ثابت مهما طال الزمن، لا يُسمح لها بحل مشكلة التزوير عبر رفض الصادِقِين أيضًا. هذان الشرطان معًا يُغطيان كل تصميم واقعي يمكن تخيله لبوابة سمعة لامركزية قابلة للتحقق محليًا. لا استثناء يُترك خارج الصندوق إلا بثمن صريح explicit: كسر المحلية يعني الاعتماد على حالة عامة تفتح ثغرات تنسيق أخرى، وكسر الاكتمال يعني حل المشكلة بحرمان المستخدم الصادق، وهو حل لا قيمة له. ضمن هذا الصندوق، الإثبات لا يرحم: أي هوية تُقلِّد التقرير الصادق تُقبَل باحتمال لا يقل عن β/(N+1) · e^(−N·KL(pₕ‖pₐ) − o(N)) [هذي ما يُرى في الصورة المرفقة]. خذ اللوغاريتم، اقسمْ على N، والنتيجة: سقفٌ صريح لا يُتجاوَز: لا آلية محلية مكتملة تملك أسّ صلابة يتخطى KL(pₕ‖pₐ). ليس ذلك تقديرًا تقريبيًا يُنتَظر تحسينُه بجيل بحثي قادم. هذا حد نظري نهائي، مبني على عُرْف Chernoff-Stein عبر طريقة الأنماط، وهي الأداة الإحصائية التي تحكم أفضلية اختبارات الفرضيات منذ عقود، فلا مجال لالتفاف حولها إلا بمخالفة تعريف المحلية نفسه. والحيلة التي تجعل هذا الإثبات ممكنًا أصلًا هي إعادة تأطير المسألة بأكملها لا حلها بأداة أقوى. فاكتمال الآلية، أيْ قبولها للصادق، وقبولها الكاذب، أيْ سقوطها أمام المقلِّد، هما بالضبط خطأ النوع الأول وخطأ النوع الثاني في اختبار فرضيتين إحصائيتين: Ber(pₕ) مقابل Ber(pₐ). بمجرد أن يُقيَّد المقلِّد بنسخ التقرير حرفيًا، تنهار كل آلية محلية، مهما تعقّد تصميمها الداخلي، مهما استُخدم فيها من طبقات تجميع أو دوال ترجيح، إلى مجرد اختبار إحصائي على تسلسل النتائج. وحين يتحول التصميم إلى اختبار، يصبح محكومًا بنفس القوانين التي تحكم كل اختبار إحصائي منذ نيمان وپيرسون وشتاين. لا هروب من هذا القانون بإضافة طبقة تعقيد جديدة. التعقيد لا يشتري صلابة إضافية إذا كان الاختزال الرياضي نافذًا. كما أن البوابة التي بُنيت من الصفر في هذه الورقة لا تقترب من هذا السقف. تلامسه حرفيًا. منطقة قبولها، {p̂ ≥ q_c} عند التقرير المُقلِّد c = pₕ، هي بعينها منطقة نيمان-پيرسون الأمثل لهذا الاختبار تحديدًا. لا فارق بين البرهان الذي يُثبت الحد الأعلى المطلق والبرهان الذي يُثبت بلوغ هذا الحد. يلتقيان عند الرقم نفسه، بلا هامش، بلا تقريب يُترَك كمساحة لمنافس أذكى. وحين تُضاف شرط التماثل الاتجاهي، يرتفع البرهان درجة أخرى: الصلابة تصبح min{KL(pₕ‖pₐ), KL(1−pₕ‖pₐ)}، وهو الحد الأدنى الأمثل بين المتجهين، مما يعني أن البوابة ليست فقط مثلى من جهة واحدة بل مثلى في أسوأ سيناريو ممكن للمهاجم. فما الفرق الحقيقي هنا؟ كل نتيجة قبل مُبرهَنَتِي في 8.3 تقول: هذا تصميم جيد، ونستطيع أن نحسب سعره بدقة. هذا كلام يُنافَس. أي فريق بحثي بميزانية كافية وصبر رياضي قد يأتي بتصميم أفضل، وعندها ينهار الادعاء بالتفوق بين ليلة وضحاها. أما 8.3 فتقول شيئًا من طبيعة مختلفة تمامًا: لا تصميم أفضل ممكن أصلًا، ضمن هذا الصندوق المُعرَّف بدقة رياضية صريحة. هذا لا يُنافَس. يُنقَض فقط بنقض حدوده المُعلَنة صراحة، وهي حدود لم تُخفَ، بل صيغت بعناية في متن المبرهنة ذاتها: المحلية locality، والاكتمال، والتماثل الاتجاهي outcome-symmetry. من أراد أن يتجاوز هذا السقف عليه أولًا أن يكسر أحد هذه الشروط، وعندها يفتح على نفسه ثغرة أخرى، لأن كل شرط منها كان يحمي من هجوم آخر بالكامل، لا يقل خطورة. هو ذا الموضع الذي يتحول فيه المشروع من بروتوكول ذكي إلى نتيجة رياضية لا تُهزَم داخل نموذجها. والفارق بين الاثنين ليس في الطموح التسويقي، بل في نوع الادعاء الذي تجرؤ الورقة على كتابته: لا أقول أنني صممت بوابة جيدة. أقول إن أي بوابة أخرى، من أي فريق، بأي تصميم، محكومة بنفس السقف الذي بلغناه، ولا مجال للإفلات منه إلا بمغادرة الصندوق الذي عرّفتُه. هذا نوع من الادعاء لا يُكتَب إلا مرة، ولا يُكتَب إلا حين يكون البرهان جاهزًا لتحمّل كل هجوم يُوجَّه إليه، لأن الرياضة لا ترحم من يدّعي سقفًا لا يستطيع الدفاع عنه.

ورقة برهان المعايرة Proof of Calibration | الظَّهْر البحثي لبروتوكولات نوتش

نتحاكم. الكيبورد: أفّاك.

انشغل بالتصنيف إذا أهمك. ولكنه قد لا يهم غيرك. ولا تظن نفسك ملاكا بقياسك نفسَك إلى غيرك ممن هم أقل منك إبليسية. ولكن لا تحترس من أبالسة الإنس بأقلَّ مما تحترس من أبالسة غيرهم. قيل: الخبر ما تراه لا ما تسمعه. وأقول: الخبر ما تسمعه فلا تراه ويراه غيرك. أو تريه لغيرك. الخبر ما تراه بغير أن تسمعه. أو الخبر ما تسمعه بغير أن ترى. كالسيف المسلول المسلط الهَطولِ على الرِّقاب الفاصلِ لها.

انشغل بالتصنيف إذا أهمك. ولكنه قد لا يهم غيرك. ولا تظن نفسك ملاكا بقياسك نفسَك إلل غيرك ممن هم أقل منك إبليسية. ولكن لا تحترس من أبالسة الإنس بأقلَّ مما تحترس من أبالسة غيرهم. قيل: الخبر ما تراه لا ما تسمعه. وأقول: الخبر ما تسمعه فلا تراه ويراه غيرك. أو تريه لغيرك. الخبر ما تراه بغير أن تسمعه. أو الخبر ما تسمعه بغير أن ترى. كالسيف المسلول المسلط الهَطولِ على الرِّقاب الفاصلِ لها.