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

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

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

الخصوصية

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

1. لغة ليون: معدل بناءً على لغة راست، مصمم لتطوير تطبيقات المعرفة الصفرية، مما يقلل من متطلبات معرفة التشفير للمطورين.

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

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

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

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

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

آلية الإجماع

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

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

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

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

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

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

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

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

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

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

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

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

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

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

أليو قامت مؤخراً بتحديث أحدث إصدار من خوارزمية البازل، حيث لم يعد التركيز في الخوارزمية الجديدة على توليد نتائج zk proof، بل أصبح التركيز على توليد البيانات الوسيطة witness قبل توليد proof.

عملية التوافق

1. يقوم الحاسوب بحساب لغز لإنشاء حلول ويبثها إلى الشبكة.

2. يتحقق من تجميع المعاملات وsolution للكتلة الجديدة التالية، مع التأكد من أن عدد solution لا يتجاوز حدود الإجماع.

3. يجب التحقق من شرعية الحل عن طريق التأكد من أن epoch_hash و proof_target يتوافقان مع أحدث القيم التي يحتفظ بها الشبكة، وفي نفس الوقت يجب أن يكون عدد الحلول المضمنة في هذه الكتلة أقل من حدود التوافق.

4. الحل الفعّال يمكن أن يحصل على مكافأة الإجماع.

سير عملية Synthesis Puzzle الأساسية

1. كل عملية حسابية لـ puzzle تُسمى nonce، وتُبنى من عنوان تلقي مكافآت التعدين، وepoch_hash، وعدد عشوائي counter.

2. في كل فترة، يحتاج جميع الحاسبين في الشبكة إلى حساب EpochProgram نفسه، والذي يتم استنباطه من رقم عشوائي يتم الحصول عليه من مجموعة التعليمات بواسطة epoch_hash الحالي.

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

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

5. احسب جميع الشهود ثم قم بتحويلها إلى سلسلة من عقد الأوراق لشجرة ميركل.

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

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

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