Aleo: نجم البلوكتشين الجديد الذي يوازن بين الخصوصية وقابلية التوسع

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

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

الخصوصية

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

1. لغة ليون: لغة مصممة لتطوير التطبيقات ذات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة التشفيرية للمطورين.

2. snarkVM و snarkOS: يسمح snarkVM بالتنفيذ خارج السلسلة فقط والتحقق من النتائج على السلسلة؛ بينما يضمن snarkOS أمان البيانات والحساب.

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

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

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

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

آلية الإجماع

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

1. التأكيد السريع لكل كتلة: ضمان تأكيد كل كتلة بعد إنشائها على الفور.

2. ضمان عدم المركزية: من خلال فصل إنتاج الكتل عن إنشاء الـcoinbase، لمنع بعض الكيانات من احتكار الشبكة.

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

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

آخر التطورات

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

1. تم اعتماد اقتراح ARC-100، والفريق يقوم بإجراء التعديلات النهائية.

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

3. العرض الأولي هو 1.5 مليار توكن، والعرض المتداول الأولي حوالي 10%.

4. بعد الانتهاء من إعادة تعيين Testnet Beta، ستشبه الشبكة الشبكة الرئيسية.

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

6. خطة توسيع عقد التحقق: 15 عقدة في البداية، الهدف هو زيادتها إلى 50 عقدة خلال العام، والوصول في النهاية إلى 500 عقدة.

تفسير خوارزمية Synthesis Puzzle

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

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

2. استخدم nonce( لبناء عنوان مكافأة التعدين و epoch_hash وعدد عشوائي counter ) كمدخل.

3. بناءً على EpochProgram ومدخلات إنشاء دائرة إثبات R1CS، توليد الشاهد.

4. تحويل الشاهد إلى عقدة ورقة شجرة ميركل، وحساب جذر ميركل.

5. تحويل جذر ميركل إلى proof_target للحل، وتحديد ما إذا كان يفي بمتطلبات صعوبة الحقبة الحالية.

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

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