تصميم جديد اقترحته صندوق الاستثمار Paradigm سيسمح لحاملي العملات بتوثيق خاص يثبت أنهم يتحكمون في المفاتيح الضعيفة قبل وصول الحواسيب الكمومية، مما يخلق مسار إنقاذ محتمل إذا ما انتهى بيتكوين من العناوين القديمة.
الدفاع الواضح هو فورك ناعمة (أو ترقية لقواعد الشبكة الحالية) التي ستوقف في النهاية السماح بالإنفاق من تلك الأنواع القديمة من العناوين، مما يجبر الحاملين على الانتقال إلى صيغ آمنة ضد الكم قبل أن يتمكن المهاجمون من اشتقاق مفاتيحهم الخاصة.
المطور البارز جيمسون لوبي وخمسة مطورين آخرين اقترحوا بالضبط ذلك في منتصف أبريل من خلال BIP-361، والذي سيفقد العناوين القابلة للاختراق الكمي على مدى خمس سنوات ويجمد أي عملات تفشل في الانتقال.
إلا أن هذا المقترح خلق مشكلة مختلفة. إذ كان يتعين على ساتوشي، وكل حاملٍ آخر كان نائمًا لفترة طويلة، أن يستيقظ علنًا أو يخاطر بفقدان الوصول إلى أصوله.
نشر دان روبنسون، الشريك العام في Paradigm، يوم الجمعة مقترحًا لإيجاد حلٍ لتلك المفاضلة، يدور حول مفهوم "إثباتات التحكم في العناوين عبر الطوابع الزمنية"، أو PACTs.
يتمثل الفكرة الأساسية في عدم نقل العملات، بل إثبات التوقيت لملكيةٍ ما في تاريخٍ محدد، مع عدم كشف أي شيء للجمهور حتى يحتاج أصحاب تلك المحافظ فعلاً إلى الإنفاق.
يُنشئ الحائز ملحًا عشوائيًا، وهو جزء من بياناتٍ سرية يُستخدم لإجراء التزامٍ تشفيري يكون فريدًا وغير قابل للتخمين، ويستخدم BIP-322، وهو معيار لتوقيع الرسائل من عنوان بيتكوين دون إنفاق منه، لإنتاج دليل على الملكية.
يتم تجميع الملح والدليل معًا في التزامٍ واحد على السلسلة (onchain) وتُؤرشفه عبر OpenTimestamps، وهي خدمة مجانية تقوم بتثبيت البيانات على بلوكشين بيتكوين من خلال معاملة مجمعة واحدة. تبقى ملفات الملح والدليل والطابع الزمني خاصة.
إذا فعّلت بيتكوين لاحقًا شوكة برمجية تُجمّد العملات المعرضة للتهديد الكمومي، فقد يتضمن البروتوكول مسار إنقاذ يقبل دليلًا من نوع STARK، وهو نوع من أدلة المعرفة الصفرية التي تظل آمنة ضد الحواسيب الكمومية، ويُظهر أن الحائز أنشأ التزامه قبل وجود عتاد كمومي.
يُقدّم الحائز هذا الدليل عندما يريد الإنفاق، فتُطلق الشبكة العملات. لا يكشف الاسترداد شيئًا عن أي عنوان، أو أي مبلغ، أو حتى وقت إنشاء الطابع الزمني الأصلي.
تعالج هذه PACTs أيضًا فجوة محددة في BIP-361 عبر تضمين مسار إنقاذ للمحافظ المشتقة عبر BIP-32، معيار توليد المفاتيح الحتمية الذي تم تقديمه في 2012. لا تستخدم محافظ ما قبل 2012، بما في ذلك معظم عناوين ساتوشي المعروفة، BIP-32 ولا يمكن إنقاذها عبر هذا المسار.
وبناءً على ذلك، ذكر روبنسون أن PACTs تتطلب من بيتكوين أن تعتمد في النهاية بروتوكول تحقق من نوع STARK، وهو ما سيحتاج بدوره إلى شوكة برمجية (soft fork) منفصلة بتوافق واسع من المجتمع.
لا توجد البنية التحتية للتحقق حاليًا في بيتكوين، وسيكون من الضروري ما يسميه روبنسون "ترقيعًا جديدًا كبيرًا"، مثل محافظ متعددة التوقيعات، ونصوص برمجية (scripts) معقدة، ودعم المحافظ للأجهزة المادية، وكل ذلك سيحتاج إلى توحيدٍ دقيق.
هذا القيد الأخير هو ما لا تستطيع PACTs الالتفاف عليه.
لا يحمي البروتوكول ساتوشي إلا إذا قام ساتوشي نفسه، أو أي شخص يتحكم حاليًا تلك المفاتيح، بإجراء الالتزام. إذا كان ساتوشي غائبًا فعلًا، فلا يمكن إنشاء أي PACT بشكل رجعي. تظل العملات مكشوفة لأي سيناريو يتكشف أولًا: السرقة الكمومية أو تجميد المجتمع.
ما تقدمه PACTs بالفعل هو طريقة لجعل نقاش BIP-361 أقل ثنائية. يفرض اقتراح التجميد الحالي خيارًا بين الحماية من السرقة عبر الحوسبة الكمية واحترام حقوق الملكية المتروكة دون استخدام.
السؤال عمّا إذا كان ساتوشي سيستخدمه هو ما لا تستطيع PACTs الإجابة عنه.