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

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

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

خلفية عن بنية BlockDAG الخاصة بـ Kaspa

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

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

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

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

اكتشف المشاريع الواعدة...

مشاريع واعدة...

(إعلان)

تستمر المقالة...

ما هو Kaspa vProgs؟

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

الخاتمة

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

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

مصادر:

• مقالة Kaspa Daily X حول vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• مسودة الورقة الصفراء vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• موضوع منتدى أبحاث كاسبا حول قابلية التكوين المتزامن: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• تجربة كاسبا في برلين: https://experience.kaspa.events/