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

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

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

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

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

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

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

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