من المرجح أن يفكر مطورو Bitcoin الذين يتطلعون إلى توسيع قدرات التمويل اللامركزي (DeFi) في أدلة المعرفة الصفرية (ZK)، وهي وظيفة غير متوفرة حاليًا وتتطلب ما يسمى بالشوكة الناعمة، أو إصدارًا جديدًا من البرنامج، لتقديمها.
إنها مشكلة، وفقًا لإيدان ياجو، وهو أحد المحاربين القدامى في البيتكوين لأكثر من عقد من الزمان ومساهم أساسي في نظام تشغيل العقود الذكية BitcoinOS (BOS).
قال ياغو في مقابلة مع CoinDesk: "إن إنشاء شوكة في سلسلة الكتل، وخاصة تلك التي تبلغ قيمتها 2 تريليون دولار، يشبه جراحة القلب المفتوح"، "من الواضح أن الشوكات الصلبة أكثر إشكالية، لكنني أعتقد أن تقديم أي نوع من الشوكات أمر محفوف بالمخاطر".
التفرع هو تغيير في شيفرة سلسلة الكتل يستلزم انحرافًا عند نقطة معينة إلى مسار منفصل. يمكن أن تكون التفرعات "ناعمة"، أي أن الإصدارات القديمة لا تزال قادرة على التفاعل مع الإصدار الجديد، أو "صارمة"، أي أن الإصدارات القديمة غير متوافقة وتتطلب من جميع المستخدمين تحديث برامجهم.
أدلة ZK هي طريقة تشفيرية لإثبات صحة البيانات مع الحفاظ على الخصوصية من خلال عدم الكشف عن أي معلومات عنها. هذه الوظيفة غير متوفرة في برنامج بيتكوين، ولكن يمكن توفيرها من خلال تطبيقات مقترحة مثل OP_CAT وOP_CTV. صرّح ياغو بأنه ينبغي أن يتمكن المطورون من إيجاد طرق لتمكينها على بيتكوين دون أي نوع من الانقسام.
وأضاف أن "عبء الإثبات يقع على عاتق المطورين لإثبات أنه لا توجد طريقة أخرى لتحقيق ذلك من خلال الهندسة الذكية".
هذا ما تأمل BOS تحقيقه من خلال BitSNARK، وهو بروتوكول تجميع بيتكوين، وهو جزء من مجموعة نماذج الحوسبة التي يجري تطويرها لتوسيع نطاق سلسلة الكتل الأصلية. ظهرت هذه النماذج بعد طرح روبن لينوس لـ BitVM في أكتوبر 2023 ، والذي وضع إطارًا لكيفية تمكين العقود الذكية المشابهة لإيثريوم على بيتكوين.
أصبح الآن نظام BitcoinOS مفتوح المصدر لما يصفه Yago بأنه بروتوكول BitSNARK "جاهز للإنتاج بالكامل"، مما يعني أن المطورين لديهم الآن إمكانية الوصول إلى التحقق من ZK على Bitcoin ويمكنهم ربطه بسلاسل كتل أخرى مثل Ethereum و Solana و Cardano.
يتيح BitSNARK للمطورين استخدام برامج ضخمة ومعقدة وإثبات نتائج الحسابات في 300 بايت فقط، والتي يمكن التحقق منها في معاملات بيتكوين القياسية. قد يُمهد هذا الطريق لـ BTCFi، وهو مصطلح يُستخدم للإشارة إلى التمويل اللامركزي (DeFi) على بيتكوين، من خلال تمكين الجسور بين السلاسل، والبورصات اللامركزية، والعملات المستقرة المدعومة من بيتكوين (BTC).
في حين أن هناك العديد من المشاريع التي تسعى إلى إدخال التمويل اللامركزي على بيتكوين، إلا أنها تعتمد على استخدام أكواد OP_CAT أو OP_CTV، والتي تتطلب تقسيمًا في برنامج البلوك تشين. يسعى ياغو إلى الوصول إلى نفس الوجهة عبر مسار مختلف.
