تفسير “باي سكويرد بقيادة النخب الأكاديمية من أفضل الجامعات
في الوقت الذي تشهد فيه البيتكوين اتجاهًا هبوطيًا خلال الأيام القليلة الماضية، استمرت السوق الأولية في الكشف عن صفقات تمويل هامة. وبصرف النظر عن ال 85 مليون دولار التي جمعها عملاق الذكاء الاصطناعي Sentiment، هناك مشروع تمويل آخر جدير بالملاحظة هذا الأسبوع وهو Pi Squared، المتعلق بتكنولوجيا ZK.
في 2 يوليو، أعلنت شركة Pi Squared أنها حصلت على 12 مليون دولار من التمويل التأسيسي بقيادة Polychain Capital، بمشاركة ABCDE، وBloccelerate، وGenerative Ventures، وRobot Ventures، وSamsung Next. وكان من بين المستثمرين الملاك جاستن دريك من مؤسسة الإيثيريوم وسرييرام كنعان، مؤسس EigenLayer.
من المعلومات المتاحة للجمهور، يوحي اسم Pi Squared بمضامين رياضية عميقة، حيث تخلق الطبيعة اللانهائية لتربيع pi تربيع إحساساً بالعمق التقني والغموض. يركز المشروع نفسه على بناء “دوائر ZK العالمية” و”طبقة تسوية عالمية”، وغالبًا ما يتم وصف المشروع نفسه بطريقة يصعب فهمها على الرغم من أن الكلمات مألوفة.
على الرغم من طبيعة المشروع النبيلة وغير المفهومة على ما يبدو، إلا أن الجمع بين أصحاب رؤوس الأموال المغامرة رفيعي المستوى والأفراد المعروفين كمستثمرين ملائكيين يجعل من الصعب تجاهل Pi Squared. إذن، ما هو Pi Squared بالضبط؟
باي سكويرد: بقيادة النخب الأكاديمية من أفضل الجامعات
قد يكون رسم Pi Square على سبورة سوداء أمرًا محيرًا للكثيرين، ولكن عندما تقوم النخب الأكاديمية بذلك، يكون التأثير مختلفًا تمامًا.
ويقود Pi Squared Grigore Rosu، أستاذ علوم الكمبيوتر في جامعة إلينوي أوربانا شامبين (UIUC)، والذي يشغل أيضًا منصب الرئيس التنفيذي للمشروع.
في عام 2014، أصبح غريغور روسو أستاذاً متفرغاً في جامعة UIUC، متخصصاً في التحقق الرسمي والتحقق من وقت التشغيل. وببساطة، يتضمن التحقق الرسمي استخدام الأساليب الرياضية لإثبات صحة أنظمة البرمجيات والأجهزة، وضمان عملها بشكل صحيح في ظل ظروف مختلفة. من ناحية أخرى، يتضمن التحقق في وقت التشغيل مراقبة سلوك النظام في الوقت الفعلي لتعزيز الاستقرار والأمان.
ووفقًا لويكيبيديا، نشر البروفيسور غريغور روسو العديد من الأبحاث التي حصلت على جوائز رفيعة المستوى من جمعية ماكينات الحوسبة (ACM) والمؤتمر الدولي لهندسة البرمجيات الآلية (ASE).
ولكن ما علاقة ذلك بمشروع التشفير؟
إذا نظرت إلى وصف العمل الرئيسي لـ Pi Squared، ستجد أنه يستخدم تقنية إثبات المعرفة الصفرية (ZK) للتحقق من التنفيذ الصحيح لأي برنامج، بغض النظر عن لغة البرمجة (PL) أو الآلة الافتراضية (VM) المستخدمة. وهي توفر طريقة تحقق عالمية وفعالة تهدف إلى تحقيق قابلية التشغيل البيني السلس بين سلاسل الكتل واللغات والتطبيقات.
وهذا يتماشى تمامًا مع خبرة البروفيسور غريغور روسو في مجال التحقق، مما يجعله تطبيقًا مثاليًا لمعرفته الأكاديمية.
USL: تيسير تسوية معاملات النظام
دعونا نلقي نظرة فاحصة على “طبقة التسوية الشاملة” (USL) التي تهدف Pi Square إلى إنشائها.
أولاً، من المهم أن نلاحظ أن Pi Squared لا تستهدف المستخدمين النهائيين بشكل مباشر، بل تقدم منتجات لمختلف مجتمعات التشفير والمطورين.
يتمثل هدف Pi Squared في إنشاء لغة USL تبسّط قابلية التشغيل البيني بين سلاسل الكتل واللغات والتطبيقات، مما يلغي الحاجة إلى تطبيقات اللغة التقليدية التي غالباً ما تكون عرضة للأخطاء مثل المُجمّعين أو المترجمين أو المترجمين الفوريين.
لفهمه ببساطة، يمكنك التفكير فيه كمترجم فائق يسمح لمختلف سلاسل الكتل ولغات البرمجة والتطبيقات للعمل بسلاسة مع بعضها البعض. يمكن للمطورين إنشاء تطبيقات متعددة السلاسل واللغات بسهولة أكبر.
إليك رسم بياني من موقع Pi Squared يوضح دور هذا المترجم الفائق:
- بدء المعاملة: يقوم مستخدم (على سبيل المثال، أليس) ببدء طلب معاملة، مثل تحويل 1 WETH إلى بوب. WETH هو رمز متوافق مع ERC20.
- التسوية العالمية: يتم إرسال طلب المعاملة إلى بيئة تدعم أي آلة افتراضية ولغة برمجة افتراضية، مثل EVM أو Python. هذه هي طبقة التسوية العالمية – يمكن التعبير عن الحوسبة بأي لغة أو آلة افتراضية طالما أن هناك مواصفات رسمية لتلك اللغة أو الآلة الافتراضية المعينة.
- إنشاء دليل إثبات: بالنسبة للخطوة 2، يتم إنشاء إثبات رياضي للتحقق من صحة المعاملة. وهذا البرهان دقيق للغاية ولكنه قد يكون كبيراً جداً.
- التحقق من الإثبات: يُستخدم مدقق البراهين ZK-ED (منطق المعرفة الصفرية – منطق المطابقة) للتحقق من “البرهان الكبير”. هذا المدقق صغير ويمكنه معالجة المهام المتوازية على نطاق واسع.
- ضغط ZK: وأخيراً، يتم إنشاء إثبات المعرفة الصفرية للتحقق من صحة المعاملة. ويكون هذا الإثبات ذو المعرفة الصفرية صغيراً ويمكن نقله والتحقق منه بكفاءة.
وبالتالي، توضح العملية المذكورة أعلاه كيف يمكن أن يؤدي طلب معاملة بسيط إلى توليد براهين رياضية والتحقق منها، مما ينتج عنه في النهاية إثبات معرفة صفرية أصغر لضمان صحة المعاملة وخصوصيتها.
من من منظور النظام البيئي للمشروع، تحتل Pi Squared موقعاً وسطاً في كومة التكنولوجيا، فوق طبقة الحوسبة وخدمات التسلسل وتحت طبقة الإجماع وتوافر البيانات.
يمكن النظر إلى USL الخاص بـ Pi Squared على أنه تجميع متفائل يفسر المعاملات الحسابية ويتحقق من صحتها، ويربط طبقة الحساب في الأعلى بطبقة الإجماع في الأسفل.
وعلاوة على ذلك، ذكرت Pi Squared أن لديها شبكتها الخاصة بها مع عقد تعمل ببروتوكولات توافقية، مما يشير إلى وجود نظام اقتصادي محتمل قائم على الرهان يرتبط مباشرة برمز المشروع. ومع ذلك، لم يتم الكشف عن أي معلومات حول الرمز المميز في وثائق المشروع حتى الآن، مما يترك مجالاً للتكهنات حول مستقبله.
لا يزال Pi Squared في مرحلة إثبات المفهوم. وذكر البروفيسور روسو أن المشروع سيدخل مرحلة اختبار الشبكة بحلول نهاية عام 2024. وهو حاليًا في مرحلة الإحماء والترويج، مع عدم وجود أنشطة أو مهام متاحة للمشاركة.
سنواصل مراقبة المشروع. وبغض النظر عن أي دعوات لتجنب تولي زمام الأمور، ستكون هناك دائماً فرص تستحق المشاركة فيها.