تعلّم مع Nexus (NEX): بناء فائق حاسوبي قابل للتحقق للإنترنت
المقدمة: تبني نيكسيس البنية التحتية للحسابات القابلة للتحقق على نطاق الإنترنت. رؤيتها الأساسية هي تمكين الحواسيب حول العالم من العمل معًا كشبكة مُثبتة موزعة واحدة، تُولّد أدلة على تنفيذ الحسابات بشكل صحيح. وفي قلب هذه الرؤية يقع نيكسيس zkVM، وهو آلة افتراضية تُستخدم تقنية الصفرية المعرفة، مصممة لإثبات الحسابات الواسعة النطاق بكفاءة وجعل الحساب القابل للتحقق عمليًا للمطورين والتطبيقات.
لماذا تهم الحسابات القابلة للتحقق
تعتمد الأنظمة الرقمية الحديثة على الحوسبة. من سلاسل الكتل والتطبيقات المالية إلى أنظمة الذكاء الاصطناعي وخدمات السحابة ومنصات البيانات، يعتمد المستخدمون بشكل متزايد على الآلات لمعالجة المعلومات واتخاذ القرارات. ومع ذلك، في العديد من الحالات، يجب على المستخدمين الثقة بأن الحوسبة تم تنفيذها بشكل صحيح.
هذا يخلق تحديًا كبيرًا: كيف يمكن لشخص ما التحقق من نتيجة عملية حسابية دون إعادة تشغيل العملية بأكملها بنفسه؟
تقدم الحسابات القابلة للتحقق حلاً. بدلاً من إنتاج مخرجات فقط، يمكن للنظام أيضًا إنتاج دليل تشفيري يُظهر أن المخرجات تم إنشاؤها بشكل صحيح. وهذا يعني أن المستخدمين والتطبيقات والشبكات يمكنها التحقق من الحسابات بضمان رياضي.
تُعمّق أدلة عدم المعرفة هذا المفهوم. فهي تُثبت أن الحساب تم تنفيذه بشكل صحيح دون كشف المدخلات الخاصة. وهذا مهم بشكل خاص للتطبيقات التي تشمل الخصوصية، والبيانات المالية، والهوية، والذكاء الاصطناعي، وبنية البلوكشين.
تم بناء نيكسيوس حول هذا المفهوم: مستقبل حيث لا يتم فقط تنفيذ الحسابات، بل أيضًا إثباتها.
ما هو Nexus zkVM؟
يُعد Nexus zkVM آلة افتراضية تعتمد على تقنية الإثباتات الصفرية المعرفة، مصممة لإثبات الحسابات العامة. وببساطة، فهي تسمح للمطورين بتشغيل البرامج وتوليد إثباتات موجزة تُثبت أن هذه البرامج نُفّذت بشكل صحيح.
على عكس الأنظمة المصممة فقط للبرامج الصغيرة أو حالات الاستخدام الضيقة، يركز Nexus zkVM على إثبات عمليات حسابية ضخمة جدًا، بما في ذلك أحمال العمل التي تحتوي على مليارات دورات المعالج. لتحقيق ذلك، يستخدم إنشاء الإثبات التدريجي وتجميع الإثباتات، مما يسمح بتقسيم عملية حسابية كبيرة إلى أجزاء أصغر وإثباتها خطوة بخطوة.
هذا مهم لأن الأنظمة التقليدية ذات الصفر معرفة غالبًا ما تواجه قيودًا في الأداء. إثبات البرامج المعقدة يمكن أن يكون مكلفًا وبطيئًا وصعب التوسع. يعالج نيكسيس هذا من خلال تصميم zkVM يمكنه دعم إثبات متوازٍ بكميات هائلة.
عملية تنفيذ Nexus zkVM تتضمن عدة مراحل رئيسية:
-
الترجمة: تُترجم البرامج إلى مجموعة تعليمات ماكينة نيكوس الافتراضية.
-
التنفيذ: يُشغّل البرنامج على آلة نيكز الافتراضية ويُولّد أثر تنفيذ.
-
الطي: يتم إنتاج وجمع الإثباتات لكتل الحساب بطريقة متوازية للغاية.
-
الضغط: يتم ضغط الدليل المجمع النهائي إلى دليل موجز.
هذا الهيكل يسمح لـ Nexus بجعل إثبات الحجم الكبير أكثر عملية مع الحفاظ على تجربة صديقة للمطورين.
آلة نيكسيس الافتراضية: نموذج بسيط للحوسبة الشاملة
في قلب Nexus zkVM يوجد الجهاز الافتراضي Nexus، أو NVM.
NVM هي بنية وهمية للوحدة المركزية بسيطة وحدّية وقابلة للتوسيع. تم تصميمها لدعم الحوسبة الشاملة مع تعظيم أداء المُثبت. بعبارة أخرى، توفر للمطورين نموذجًا حاسوبيًا متعدد الأغراض، لكنها تحافظ على بساطة الجهاز بما يكفي لجعل إنشاء الإثبات أكثر كفاءة وأسهل للمراجعة.
تستخدم NVM مجموعة تعليمات بسيطة مكونة من 32 بت ونموذج ذاكرة مباشر. هذا التصميم مهم لأن أداء zkVM يعتمد بشكل كبير على صعوبة إثبات كل خطوة في الجهاز. يمكن أن يكون الجهاز الأبسط أسهل في التحقق منه، وأسهل في التحسين، وأكثر ملاءمة لإنشاء إثباتات على نطاق واسع.
كما تقدم نيكسيس وحدات معالجة مساعدة zkVM. هذه وحدات هي امتدادات تعليمات مخصصة مصممة لتسريع عمليات معينة. على سبيل المثال، يمكن أن تكون الوظائف التشفيرية مثل SHA-256 أو ECDSA مكلفة لإثباتها إذا تم محاكاتها عبر تعليمات وحدة المعالجة المركزية العادية. تسمح وحدة المعالجة المساعدة للنظام بمعالجة هذه العمليات بكفاءة أكبر، تمامًا كما يمكن للأجهزة المتخصصة تسريع مهام معينة.
هذا يمنح نيكسيس ميزتين في نفس الوقت:
-
ماكينة افتراضية متعددة الأغراض يمكنها دعم أنواع عديدة من البرامج.
-
تسريع متخصص للعمليات التي تكون مكلفة لإثباتها عادةً.
شبكة نيكسيوس: فائق حاسوب موزع قابل للتحقق
تم تصميم شبكة Nexus لجلب zkVM إلى نطاق الإنترنت.
بدلاً من الاعتماد على جهاز واحد لتوليد الإثباتات، فإن شبكة Nexus تجمع قوة المعالجات المركزية والرسومية من العديد من الحواسيب المختلفة. يمكن لهذه الحواسيب العمل معًا لتوليد وتوحيد الإثباتات بالتوازي، وتحويل الأجهزة الموزعة إلى حاسوب فائق قابل للتحقق.
هذا مشابه من حيث الروح إلى شبكات الحوسبة التطوعية الكبيرة، لكن مع فرق رئيسي واحد: تركز نيكسيوس على الحوسبة القابلة للتحقق. الناتج ليس فقط نتيجة، بل أيضًا دليل على أن النتيجة تم حسابها بشكل صحيح.
في نموذج Nexus، يمكن تقسيم توليد الإثبات إلى العديد من الأجزاء الأصغر. يمكن للعقد المختلفة العمل على أجزاء مختلفة من الحساب، ويمكن تجميع الإثباتات في هيكل شبيه بالشجرة. هذا يجعل النظام قابلاً للتوسع، لأن قدرته على الإثبات يمكن أن تنمو مع إجمالي قوة الحوسبة المقدمة من الشبكة.
يصف ورقة البيضاء شبكة Nexus على أنها خطوة نحو توحيد حواسيب العالم في سوبر كمبيوتر واحد قابل للتحقق. الهدف طويل الأجل هو جعل توليد الإثبات سريعًا ورخيصًا بما يكفي للتطبيقات الإنتاجية الحقيقية.
لماذا تهم نيكسيس
نوكسيس مهم لأنه يستهدف أحد أكبر العقبات في تقنية الصفر المعرفة: القابلية للتوسع.
إثباتات عدم المعرفة قوية، لكنها تاريخيًا كانت صعبة الاستخدام على نطاق واسع. غالبًا ما يحتاج المطورون إلى معرفة متخصصة، أو دوائر مخصصة، أو بنية تحتية مكلفة لإثبات النتائج. تهدف نيكسيس إلى تقليل هذا التعقيد من خلال توفير بيئة قائمة على zkVM للمطورين يمكنهم من خلالها إثبات البرامج بشكل أكثر طبيعية.
يركز المشروع أيضًا على التنفيذ العملي. Nexus zkVM وNexus Network مفتوحان المصدر ومُنفّزان بلغة Rust. وصفة البيضاء تصف دعم إثبات برامج Rust، مع سير عمل للمطورين ببساطة مثل إثبات والتحقق من خلال أدوات Nexus.
إذا نجحت، فقد تدعم نيكسيوس مجموعة واسعة من حالات الاستخدام:
-
حساب ذكي قابل للتحقق
-
توسيع البلوكشين وأنظمة الإثبات
-
حوسبة سحابية مبنية على الحد الأدنى من الثقة
-
التطبيقات التي تحافظ على الخصوصية
-
سير عمل مالية وبيانات قابلة للتدقيق
-
أسواق إثبات موزعة على نطاق واسع
باختصار، نيكسوس لا تبني أداة بلوكشين أخرى. بل تبني بنية تحتية لمستقبل يمكن فيه التحقق من الحوسبة نفسها.
مكافآت التوصية:
ادعُ مستخدمين جدد للانضمام إلى حملة "تعلم واربح" وافتح مكافآت إضافية. لكل صديق تدعوه بنجاح ويسجل ويُكمل التداولات المطلوبة، ستتلقى استردادًا بنسبة 25% من الرسوم. كلما دعوت عددًا أكبر من المستخدمين المؤهلين، زادت المكافآت التي يمكنك كسبها. للحصول على التفاصيل، يرجى الرجوع إلى: https://www.kucoin.com/ar/referral
كيفية الدعوة
إخلاء المسؤولية: قد تأتي المعلومات الواردة في هذه الصفحة من أطراف ثالثة ولا تعكس بالضرورة وجهات نظر أو آراء KuCoin. هذا المحتوى مقدم كمرجع فقط ولا يشكل أي شكل من أشكال التمثيل أو الضمان ، ولا ينبغي تفسيره على أنه مشورة مالية أو استثمارية. KuCoin ليست مسؤولة عن أي أخطاء أو سهو، أو عن أي نتائج ناتجة عن استخدام هذه المعلومات. قد ينطوي الاستثمار في الأصول الافتراضية على مخاطر. يرجى تقييم مخاطر المنتج بعناية وتحملك للمخاطر بناء على وضعك المالي. لمزيد من المعلومات، يرجى الرجوع إلى شروط الاستخدام والإفصاح عن المخاطر.