ردود الفعل: يبدأ سباق التسلح للمعرفة الصفرية بالبيتكوين

في حالة فاتك ذلك، أعلنت شركة Starkware، وهي شركة نشطة تاريخيًا في النظام البيئي لـ Ethereum، أمس عن خطط لبدء تخصيص موارد كبيرة نحو فرص توسيع نطاق Bitcoin الجديدة التي ظهرت خلال الأشهر الماضية.

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

ينظر الكثيرون إلى هذا الإعلان باعتباره معلمًا تقنيًا مهمًا لبروتوكول البيتكوين. إليكم 2 سنتًا غير مرغوب فيها في هذا الشأن.

وقت طويل قادم

وكما أشار إيلي بن ساسون، الرئيس التنفيذي لشركة Starkware، في منشور إعلانه، فإن فكرة استخدام المعرفة الصفرية لتحسين عملة البيتكوين ليست جديدة. لقد ناقش المطورون تطبيقات التكنولوجيا لأكثر من عقد من الزمن بالفعل. قدم بن ساسون نفسه مفاهيم مبكرة جدًا للفكرة في مؤتمر بيتكوين في عام 2013 في سان خوسيه. في عام 2017، شارك مطورو Blockstream غريغوري ماكسويل وبيتر وويل وأندرو بولسترا في نشر ورقة بحثية حول استخدام Bulletproof، وهو بروتوكول المعرفة الصفرية لدعم المعاملات السرية على Bitcoin.

في السنوات الأخيرة، حث منشئ BitVM Robin Linus على العمل على ZeroSync، وهي تقنية ضغط تستخدم لإنشاء أدلة صفرية المعرفة لسلسلة الكتل الخاصة بالبيتكوين. وبمجرد تنفيذه بالكامل، فإنه سيقلل بشكل كبير من متطلبات الموارد اللازمة لتشغيل عقدة البيتكوين. في عام 2022، كلفت مؤسسة حقوق الإنسان جون لايت، الباحث الحالي في Alpen Labs، بإعداد تقرير كامل حول إمكانية تراكمات الصلاحية على البيتكوين، باستخدام أدلة المعرفة الصفرية.

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

لا يزال الوقت مبكرا

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

على الرغم من عمليات الفتح الهائلة والإنجازات المهمة في هذا المجال، تجدر الإشارة إلى أن العقد ليس طويلًا بشكل استثنائي في دوائر التشفير. تستفيد العديد من المقترحات الحديثة من التقنيات التي تعتبر سليمة من الناحية الفنية ولكنها ليست متمرسة في المعركة ولا يتم اختبارها مثل Bitcoin. في عام 2018، تم اكتشاف خطأ تضخم مخفي في تطبيق ZK-SNARK لـ Zcash والذي كان من الممكن أن يسمح للمهاجم بتزوير العملة. ومن باب الإنصاف، فإن بناء STARK الذي اقترحته شركة Starkware يعتبر أكثر أمانًا بشكل ملحوظ بسبب طبيعته الأكثر شفافية.
من الصعب أن تكون متحمسًا بشأن عمليات التجميع

من الصعب أن تكون متحمسًا بشأن عمليات التجميع

أحد دوافع هذا المشروع هو تمكين zk-rollups على Bitcoin. بالنسبة لأولئك الذين ليسوا على دراية، تعتبر المنتجات المجمعة منتجات رائجة للغاية تستخدم التسلسل خارج السلسلة لتوسيع نطاق التطبيقات والإنتاجية. تقترح Zk-rollups، أو مجموعات الصلاحية، إنشاء أدلة على سجل معاملات النظام والتي يمكن بعد ذلك التحقق منها بشكل مستقل من قبل المستخدمين، مما يسمح للأنظمة خارج السلسلة التي لا تتطلب افتراضات ثقة إضافية.

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

يحتوي كل مشروع تقريبًا على مليارات الدولارات قيد الإيداع والتي يتم تأمينها بشكل فعال من خلال مجموعة من المفاتيح متعددة التوقيع. يمكن لنفس المجموعة من الأشخاص المسؤولين عن التعامل مع هذه المفاتيح أيضًا ترقية العقد المجمع والتحكم في الأموال المرتبطة به. منذ بضعة أيام مضت، تم إيقاف سادس أكبر تراكم على Ethereum، Linea، من جانب واحد من قبل المشغل، وتم تجميد جميع أموال المستخدمين بعد الاختراق.

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

من الممكن أيضًا أن تتطور عمليات التجميع، كما حدث مع Ethereum، إلى وحوش فضولية معقدة لا يستطيع سوى عدد قليل من الناس ترويضها.

المهمة الجانبية لـ BitVM

إن تقديم BitVM بواسطة Robin Linus العام الماضي هو ما أدى بالفعل إلى إطلاق سباق المعرفة الصفرية على Bitcoin إلى أعلى مستوياته. تتصدر Starkware عناوين الأخبار بسبب سيرتها الذاتية، لكن فرقًا متعددة مثل Alpen Labs وCitrea وBitlayer تبحث بنشاط عن كيفية تحسين إثباتات المعرفة الصفرية لتطبيقاتها.

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

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

المزيد من تمويل المطورين

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

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

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