Aleo: مشروع البلوكتشين الرائد في ثورة الخصوصية للويب 3

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

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

الخصوصية

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

1. لغة Leo المترجمة: تعتمد على لغة Rust، مصممة خصيصًا لتطوير تطبيقات المعرفة الصفرية (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: انتهى التصويت على ARC-100 ("أفضل الممارسات التوافقية لمطوري Aleo والمشغلين") وتمت الموافقة عليه. الفريق يقوم بإجراء التعديلات النهائية.

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

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

4. إعادة تعيين شبكة الاختبار التجريبية: هذه هي آخر مرة يتم فيها إعادة تعيين الشبكة، وبعد الانتهاء لن يتم إضافة ميزات جديدة، ستكون الشبكة مشابهة للشبكة الرئيسية. الهدف من إعادة التعيين هو إضافة ARC-41 وميزة اللغز الجديدة.

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

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

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

قامت Aleo مؤخرًا بتحديث أحدث إصدار من خوارزمية اللغز، والتي تُسمى Synthesis Puzzle. لم تعد الخوارزمية تركز على生成 نتائج zk proof، بل تركز على生成 بيانات الشهادة الوسيطة قبل إثبات. فيما يلي الميزات الرئيسية للعملية.

1. يتم إنشاء برنامج Epoch مشترك في كل حقبة، يتم سحبه من مجموعة التعليمات باستخدام الرقم العشوائي الناتج عن epoch_hash الحالي.

2. استخدم nonce (الذي يتم بناؤه من عنوان استلام مكافآت التعدين، epoch_hash و random number counter) كبذور عشوائية لتوليد مدخلات EpochProgram.

3. تجميع R1CS و input الخاص بـ EpochProgram ، وإجراء حساب الشاهد.

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

5. حساب جذر Merkle وتحويله إلى proof_target للحل، والتحقق مما إذا كان يلبي latest_proof_target لepoch الحالي.

6. إذا تم استيفاء الشروط، قم بتقديم الحل ونشره.

تحديث هذه المرة يجعل puzzle ينتقل من生成proof إلى生成witness، حيث أن جميع منطق حساب solution داخل كل epoch متسق، لكن منطق الحساب بين epochs المختلفة يختلف بشكل كبير. خوارزمية جديدة تتخلى عن حساب MSM وNTT السابق، وفي نفس الوقت، نظرًا لوجود بعض العلاقات الاعتمادية في عملية生成witness، فإن تحقيق التوازي يواجه تحديات كبيرة.

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