كيف تدعم بيتكوين وظيفة التحقق ZK؟

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

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

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

في السنوات الأخيرة، أدت ترقية Taproot إلى تحسينات في بيتكوين، مثل دعم توقيعات Schnorr والبرامج النصية الأكثر تعقيدًا. لكن إضافة تعليمات برمجية للتحقق من SNARK تواجه تحديات من حيث التقنية والإجماع.

حالياً، هناك مساران محتملان لدعم البيتكوين للتحقق من ZK:

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

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

بالإضافة إلى ذلك، فإن تقنية Chain State Proofs التي تجمع بين ZK يمكن أن تقلل بشكل كبير من تكاليف تشغيل العقد، وهي جزء مهم من BitVM.

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