Aleo: مشروع بلوكتشين مبتكر لحماية الخصوصية وقابلية التوسع

Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، من خلال تقنية إثبات المعرفة الصفرية (ZKP) لتحقيق خصوصية أعلى وقابلية للتوسع. الفكرة الأساسية للمشروع هي تمكين المستخدمين من التحقق من الهوية ومعالجة البيانات دون الكشف عن البيانات الشخصية.

نظرة عامة على المشروع

الخصوصية

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

المكونات الرئيسية لـ Aleo تشمل:

1. لغة ليو المترجمة: مستندة إلى لغة راست، مصممة لتطوير التطبيقات ذات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة الرياضية للمطورين.

2. snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، بينما يتم التحقق من نتائج الحسابات على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.

3. zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، يدعم التفاعل البرمجي بين المستخدمين، والمنظمات، والمنظمات الذاتية اللامركزية (DAO).

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

قابلية التوسع

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

آلية التوافق

أدخلت Aleo نظام توافق AleoBFT، وهو آلية توافق ذات هيكل مختلط، تجمع بين الفاعلية النهائية الفورية للمدققين وقدرة الحوسبة للمدعين. لا يُحسن AleoBFT فقط درجة لامركزية الشبكة، بل يعزز أيضًا الأداء والأمان.

1. سرعة النهائيّة السريعة للكتل: AleoBFT تضمن تأكيد كل كتلة بعد إنشائها مباشرة، مما يعزز استقرار العقد وتجربة المستخدم.

2. ضمان اللامركزية: من خلال فصل إنتاج الكتل عن إنشاء coinbase، يتحمل المُتحققون مسؤولية إنتاج الكتل، بينما يقوم المُثبتون بإجراء حسابات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.

3. آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتل؛ يشجع المثبتون على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة اللامركزية لشبكة البلوكتشين وقدرتها الحسابية.

تسمح Aleo للمطورين بإنشاء تطبيقات غير مقيدة بالغاز، مما يجعلها مناسبة بشكل خاص للتعلم الآلي وغيرها من التطبيقات التي تتطلب وقت تشغيل طويل.

أحدث التطورات

سيتم إطلاق الشبكة التجريبية التحفيزية لـ Aleo في 1 يوليو، وفيما يلي بعض المعلومات الهامة الأخيرة:

1. تم اعتماد اقتراح ARC-100: يتعلق هذا الاقتراح بالجوانب التنظيمية، وتجميد الأموال على شبكة Aleo وتأخير الإيداع وغيرها من تدابير الأمان، والفريق حالياً يقوم بإجراء التعديلات النهائية.

2. خطة تحفيز المتحققين: ستبدأ هذه الخطة في 1 يوليو، وتهدف إلى التحقق من آلية اللغز الجديدة. ستستمر الخطة حتى 15 يوليو، وخلال هذه الفترة سيتم تخصيص 1,000,000 نقطة Aleo كمكافأة.

3. عرض الرموز: العرض الأولي هو 1.5 مليار رمز، ويمثل العرض المتداول الأولي حوالي 10%. تأتي هذه الرموز بشكل رئيسي من مكافآت المهام (75 مليون)، والتي سيتم توزيعها خلال الأشهر الستة الأولى، وتشمل أيضًا مكافآت الرهان، وتشغيل المدققين ونقاط التحقق.

4. تحديث شبكة الاختبار: ستكتمل آخر إعادة تعيين للشبكة بإضافة ARC-41 ووظيفة اللغز الجديدة.

5. تجميد الكود: تم الانتهاء منه قبل أسبوع.

6. خطة توسيع عقد التحقق: العدد الأولي لعقد التحقق هو 15، والهدف هو زيادته إلى 50 خلال العام، وفي النهاية الوصول إلى 500. ليصبح الشخص موكلاً يحتاج إلى 10,000 رمز، ولتصبح عقدة تحقق يحتاج إلى 10,000,000 رمز، وستتناقص هذه الأرقام تدريجياً مع مرور الوقت.

تحليل خوارزمية Synthesis Puzzle

تسمى خوارزمية اللغز في أحدث إصدار من Aleo بـ Synthesis Puzzle، وميزاتها الرئيسية هي كما يلي:

1. يتم إنشاء برنامج Epoch مشترك في كل فترة.

2. استخدم الإدخال وEpochProgram لبناء دائرة إثبات R1CS، وإنتاج تعيين R1CS (شاهد).

3. استخدم الشاهد كعقدة ورقة في شجرة ميركل، احسب جذر ميركل وحوّله إلى proof_target للحل.

4. كل عملية حساب puzzle تُسمى nonce، وتُبنى بواسطة عنوان استلام مكافأة التعدين، epoch_hash وعدد عشوائي counter.

5. يتم توليد الأرقام العشوائية الناتجة من epoch_hash الحالي من مجموعة التعليمات.

6. استخدام nonce كالبذور العشوائية لتوليد مدخلات EpochProgram.

7. بعد حساب الشاهد، يتم تحويله إلى تسلسل عقد أوراق شجرة ميركل، باستخدام شجرة ميركل K-ary بعمق 8.

8. حساب جذر ميركل وتحويله إلى proof_target للحل، وتحديد ما إذا كان يفي بأحدث proof_target للفترة الزمنية الحالية.

9. يمكن تحديث مدخلات EpochProgram من خلال تكرار العداد لإجراء حسابات متعددة للحلول في نفس epoch.

سيحول هذا التحديث puzzle من توليد proof إلى توليد witness، حيث تكون منطق حساب جميع الحلول في كل epoch متسقة، لكن منطق الحساب بين epochs مختلفة يختلف بشكل كبير. مقارنة بالشبكة التجريبية السابقة، يتخلى الخوارزم الجديد عن حسابات MSM وNTT، مما يواجه تحديات جديدة في تحقيق التوازي. قد يؤثر هذا التغيير بشكل كبير على استراتيجيات تحسين التعدين الحالية، مما يتطلب من المعدنين إعادة التكيف والتكيف مع الخصائص الجديدة للخوارزم.