استكشاف vProgs الخاص بـ Kaspa: الإطار للتطبيقات القابلة للتوسع والتحقق منها

أصدرت Kaspa المسودة الأولى من ورقة العمل الصفراء الخاصة بـ vProgs في 11 سبتمبر 2025. توضح هذه الوثيقة بروتوكولاً لبرامج يمكن التحقق منها، أو vProgs، التي تمكّن من الحسابات الخارجية السلسلة المؤمنة بواسطة إثباتات عدم المعرفة والمثبتة على شبكة Layer 1 الخاصة بـ Kaspa.

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

خلفية عن بنية BlockDAG الخاصة بكاسبا

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

حاليًا، تعالج كاسبا 10 كتل في الثانية، مع خطط لزيادة ذلك إلى 32 كتلة في الثانية وربما 100 على المدى الطويل. تحدث التأكيدات عادةً خلال فترة تتراوح بين ثانية واحدة إلى 10 ثوانٍ، مع كون القيد الأساسي هو الكمون الشبكي بدلاً من المعالجة داخل السلسلة. وهذا يؤدي إلى قدرة نظرية على معالجة أكثر من 10,000 معاملة في الثانية، مما يتجاوز بكثير 3 إلى 7 معاملات في الثانية لبيتكوين أو 15 إلى 30 معاملة في الثانية لإيثريوم على الطبقة 1 قبل تنفيذ تقسيم الشراكة.

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

لقد خدمت كاسبا بشكل أساسي كطبقة أساسية للمدفوعات وتسوية البيانات، مع دمج معايير مثل KRC-20 للرموز القابلة للتبادل. حتى اقتراح vProgs، كانت تفتقر إلى الدعم الأصلي للعقود الذكية، معتمدة على برمجة أبسط للعمليات الأساسية.

** ما هو Kaspa vProgs؟**

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

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

يصف مسودة الورقة الصفراء، الإصدار 0.0.1، vProgs كتمكين "تطبيقات ذات سيادة ولكن قابلة للتكوين". تعني السيادة أن كل vProg يتحكم في عملياته الداخلية بشكل مستقل، بما في ذلك أذونات القراءة والكتابة. يسمح التكوين لـ vProg واحد بقراءة البيانات من آخر، مما يسهل التفاعلات مثل المعاملات عبر التطبيقات، لكن الكتابات مقيدة بـ vProg المنشئ لتجنب النزاعات.

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

الميزات التقنية الأساسية لvProgs

تدعم عدة آليات وظيفة vProgs، المصممة للتعامل مع التبعيات والكفاءة في بيئة ذات إنتاجية عالية:

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

دفعات الإثبات الشرطية: تجمع دفعات الإثبات الشرطية المعاملات ذات الصلة لإثبات جماعي، مما يقلل من الحمل الحاسوبي. على سبيل المثال، في سيناريو DeFi يتضمن عدة تبادلات، يقلل التجميع من عدد الإثباتات الفردية المطلوبة.

DAG الحساب: يشكل DAG الحساب رسمًا بيانيًا للاعتماد على مستوى التطبيق، مما يعكس هيكل blockDAG الخاص بـ Kaspa. يتتبع تدفقات البيانات بين vProgs، مما يضمن أن المعلومات المرجعية تظل متاحة وأن يتم الحفاظ على ترتيب التنفيذ وسط المعالجة المتوازية. يساعد هذا الرسم البياني في منع التحميل الزائد عن طريق تسلسل العمليات المعتمدة.

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

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

ميزات الخصوصية: تظهر ميزات الخصوصية بشكل طبيعي من إثباتات المعرفة الصفرية، مما يتيح الحالات المشفرة في تطبيقات مثل المعاملات السرية أو الأورacles. يدعم الإطار مجموعة من حالات الاستخدام، من المدفوعات الصغيرة إلى تسويات بيانات المؤسسات، من خلال ربط المخرجات القابلة للتحقق بأوقات التأكيد السريعة لـ Kaspa.

مؤتمر تجربة كاسبا في برلين

تتوافق إعلان vProgs مع تجربة Kaspa، وهي مؤتمر مجتمعي مقرر في 13 سبتمبر 2025، في Atelier Gardens في برلين. هذا الحدث الذي يستمر ليوم واحد، محدود بـ 500 تذكرة بسعر 150 دولارًا بالإضافة إلى رسوم بعد الحفلة بقيمة 50 دولارًا، يتطلب الدفع عن طريق رموز KAS، مما يمثل تطبيقًا مبكرًا للعالم الحقيقي للعملة المشفرة في لوجستيات الفعاليات، بما في ذلك الطعام والمشروبات والبضائع.

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

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

التحديات وإطار تنفيذ الجدول الزمني

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

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

أشارت الجداول الزمنية من مناقشات أغسطس إلى إطلاق شبكة اختبار بحلول الربع الرابع من عام 2025، بعد تلقي ردود فعل من المجتمع حول المسودة. ستعتمد التكامل الكامل للشبكة الرئيسية على التدقيق ومعايير الأداء، مع جدولة تقليم وميكانيكيات الحساب لمراجعات مستقبلية.

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

الخاتمة

تجهز vProgs كاسبا بأدوات للتنفيذ خارج السلسلة يتم التحقق منها بواسطة براهين عدم المعرفة، بما في ذلك خياطة البراهين من أجل القابلية للتجميع، و DAG الحساب لإدارة التبعية، و ScopeGas للتحكم في الموارد.

تمكن هذه العناصر التطبيقات من العمل بشكل قابل للتوسع على شبكة تؤكد الكتل كل بضع ثوان، داعمةً حالات الاستخدام التي تتراوح بين التمويل اللامركزي إلى تسوية البيانات دون المساس بأمان الطبقة 1.

المصادر:

• مقالة كاسبا اليومية حول vProgs:
• مسودة الورقة البيضاء لـ vProgs الإصدار 0.0.1:
• موضوع منتدى أبحاث كاسبا حول التركيب المتزامن:
• تجربة كاسبا في برلين: