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

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

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

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

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

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

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

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