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

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

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

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

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

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

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