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

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

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

الخصوصية

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

1. لغة Leo: لغة مخصصة لتطوير تطبيقات المعرفة الصفرية (ZKApps).

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

3. zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة.

تقدم Aleo أيضًا IDE و SDK، مما يدعم المطورين في كتابة ونشر التطبيقات بسرعة. يستطيع المطورون نشر التطبيقات مباشرة في سجل برامج Aleo.

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

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

آلية الإجماع

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

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

2. ضمانات اللامركزية: فصل إنتاج الكتل عن إنشاء coinbase.

3. آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتلة.

يسمح Aleo للمطورين بإنشاء تطبيقات غير مقيدة بالغاز، مناسبة للتطبيقات التي تحتاج إلى التشغيل لفترات طويلة.

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

1. تمت الموافقة على تصويت ARC-100: تم تمرير الاقتراح المتعلق بالتدابير الامتثالية والأمنية.

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

3. عرض الرموز: الكمية الأولية 1.5 مليار، التدفق الأولي حوالي 10%.

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

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

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

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

أليو قامت بتحديث خوارزمية البازل، ولم تعد تركز على توليد إثبات zk، بل انتقلت إلى توليد الشاهد. يُطلق على جوهر الخوارزمية الجديدة اسم "Synthesis Puzzle"، والخطوات الرئيسية كالتالي:

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

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

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

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

5. حساب جذر Merkle وتحويله إلى proof_target.

6. التحقق مما إذا كان proof_target يلبي متطلبات epoch الحالية.

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

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