بيتكوين يدعم التحقق ZK: من OP_CAT إلى إثبات الحالة و BitVM

تستند عملة البيتكوين كنظام اجتماعي إلى توافق الناس حول الأسئلة الأساسية مثل "ما هي طبيعة البيتكوين؟" و"ماذا ينبغي أن تكون؟" ومع ذلك، لا تزال هناك اختلافات واسعة ومتطورة باستمرار حول هذه القضايا.

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

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

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

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

بالإضافة إلى تعديل البروتوكول، هناك بعض سيناريوهات التطبيق التي يمكن تحقيقها دون الحاجة إلى تغيير البيتكوين. يمكن أن تثبت Chain State Proofs بالتعاون مع ZK صحة تجزئة الكتلة، مما يقلل بشكل كبير من تكلفة التحقق من مزامنة العقد. قدم فريق ZeroSync方案 خفيف الوزن "header chain Proofs" لتحسين هذه العملية.

تقدم BitVM طريقة للتحقق من أي حساب على بيتكوين دون الحاجة إلى تغيير البروتوكول. إنها تتجاوز قيود حجم النصوص البرمجية في بيتكوين من خلال هيكل Taproot MerkleTree وحل تخزين KV، وتستخدم آلية إثبات الاحتيال لضمان الأمان.

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