Andrew Poelstra

وراء الصياغة الرياضية حاجة مألوفة أحياناً: حماية المدخرات أو عدم كشف مبلغ كل دفعة للجميع. عمل Poelstra على أدوات تحول هذه الحاجات إلى قواعد قابلة للتحقق. قدّمته Blockstream في فبراير 2023 بصفته مدير الأبحاث. لكن تقريرها للربع الثاني من 2026 يستخدم اللقب مع Jonas Nick. لذلك لا يجوز اعتبار مسمى وظيفي قديم وصفاً تلقائياً للدور الحالي. الأعمال والتعاونات المحددة تشرح مساهمة الباحث بصورة أفضل من اختزالها في لقب واحد. [1] [2]

تخيّل أنك تنفق عادة باستخدام مفتاحك، لكنك تريد إعداد مسار آخر مسبقاً يصبح متاحاً بعد انتظار إذا فقدت ذلك المفتاح. لا يكفي تدوين الشروط؛ بل ينبغي التأكد من أنها تعني فعلاً ما قصدته. هنا تساعد Miniscript. تسمي وثائقها Pieter Wuille وAndrew Poelstra وSanket Kanjalkar بوصفهم مبتكريها، وتشير أيضاً إلى نقاشات أوسع. إنها ثمرة عمل مشترك، ولا يحل الاعتراف بمساهمة أحدهم محل جهود الآخرين. [3]

Bitcoin Script هي اللغة التي تحدد شروط الإنفاق. تمنح Miniscript جزءاً محدداً منها بنية تسمح بتركيب الشروط وتحليلها. يستطيع المُصرّف، أي البرنامج الذي يحول المتطلبات إلى صياغة عملية، البحث عن تركيب أقل تكلفة. فإذا كان المسار المعتاد سيُستخدم أكثر من الاحتياطي، يمكنه مراعاة ذلك في التكلفة المتوقعة. هذه الأوزان لا تجعل صلاحية المعاملة احتمالية. المسار الأقل استعمالاً يظل صالحاً بالقدر نفسه متى استوفى قواعده المكتوبة. [3]

يحتاج المسار الاحتياطي أيضاً إلى تحديد نقطة بدء الانتظار. تعبر after في Miniscript عن حد مطلق عبر حقل المعاملة nLockTime، مثل ارتفاع محدد للسلسلة. أما older فتستخدم شرط nSequence النسبي، أي فاصلاً منذ تأكيد المخرج المراد إنفاقه. هذان مرجعان مختلفان للوقت، وليسَا اسمين متبادلين. انتهاء القفل لا يرسل دفعة تلقائياً. قد يتيح مساراً، لكن توقيعاته وشروطه الأخرى تبقى مطلوبة، كما يجب إنشاء المعاملة وتأكيدها. [3]

هل يمكن فحص خاصية لمبلغ مع إبقاء المبلغ نفسه سرياً؟ تتيح Bulletproofs هذا النوع من البرهان. يستطيع المتحقق معرفة أن عدداً مخفياً يقع ضمن نطاق مسموح دون معرفة قيمته. تسرد Stanford أسماء المؤلفين: Benedikt Bünz وJonathan Bootle وDan Boneh وAndrew Poelstra وPieter Wuille وGreg Maxwell. والورقة البحثية تختلف عن برنامج بعينه: تصف الصفحة بعض التطبيقات بأنها قيد التطوير، ونموذجاً أولياً بأنه غير مناسب للاستخدام الفعلي. وجود رابط وحده ليس توصية بإيداع الثقة المالية في البرنامج. [4]

تحتاج بعض أنظمة البراهين إلى إعداد أولي للمعلمات تعتمد سلامته على التعامل الصحيح مع معلومات سرية. يسمى ذلك trusted setup. لا تحتاج Bulletproofs إلى هذا الإعداد. لكنها تظل معتمدة على افتراضات تشفيرية، ولا يختفي خطر أخطاء البرمجة. كذلك لا يعني قِصر البرهان أن التحقق منه هو الأسرع؛ فذلك يتوقف على المهمة والنظام المقارن. من المفيد الفصل بين ما يثبته البرهان، وما تقوم عليه سلامته، ومقدار العمل اللازم للتحقق منه. [4]

عندما تكون المبالغ ظاهرة يمكن جمعها ومقارنتها. وعندما تُخفى، يجب أن توفر البراهين الرياضية الضمان المقابل. شرح Poelstra في فبراير 2018 مفهوم rangeproof: برهان بقاء المبلغ ضمن الحدود المسموح بها حتى لا يُستغل تجاوز النطاق العددي للتحايل على الحسابات. ويمكن لـBulletproofs تجميع براهين عدة قيم في بنية أصغر. يعرض المقال أيضاً قياسات للسرعة على معدات محددة، لا سرعة عامة للشبكة. تقليل حجم البرهان يخفف عبئاً معيناً، لكنه لا يحل تلقائياً كل قيود المدفوعات. [5]

في أبريل 2017 شرح Poelstra تقنية Confidential Assets لمنصة Elements، التي تتيح بناء أنظمة بلوكتشين. يمكن هنا إخفاء المبلغ ونوع الأصل المنقول معاً. ومع ذلك يستطيع المتحققون التأكد من أن النقل لم ينشئ أصلاً دون صلاحية أو يحول أصلاً إلى آخر. للإصدار الأولي وإعادة الإصدار قواعد وصلاحيات خاصة. هكذا تجتمع الخصوصية مع التحقق العلني من جديد. لكن وجود ميزة في Elements لا يثبت اعتمادها في الطبقة الأساسية لـBitcoin؛ يجب التمييز بين البحث والتطبيق والشبكة التي تستخدمه فعلاً. [6]