بيتكوين يدعم مساري ZK للتحقق: OP_CAT و BitVM

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

دون تغيير بروتوكول البيتكوين، هناك خطتان محتملتان لتنفيذ وظيفة التحقق ZK:

1. تفعيل عملية OP_CAT. يمكن لـ OP_CAT جعل نصوص بيتكوين أكثر قوة، حيث يدعم التحقق من إثبات مركل، ويساعد في تحقيق التحقق من SNARK القائم على FRI. كانت OP_CAT موجودة في الإصدارات المبكرة من بيتكوين، لذا فإن احتمال إعادة تفعيلها كبير.

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

بالإضافة إلى ذلك، فإن Proofs حالة السلسلة الذي قدمه فريق ZeroSync يستحق الاهتمام. إنه يجمع بين تقنية ZK، مما يمكنه من تقليل حجم العمل المطلوب لمزامنة والتحقق من البيانات التاريخية لبيتكوين بشكل كبير، ويقلل من تكاليف تشغيل العقد.

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