Aleo: اتجاه جديد في البلوكتشين الخاص

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

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

الخصوصية

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

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

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

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

تقدم 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، وتمت إضافة ARC-41 وميزة اللغز الجديدة.

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

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

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

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

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

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

3. بناء دائرة إثبات R1CS وفقًا لبرنامج EpochProgram والمدخلات، إنشاء الشهادة.

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

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

6. إذا تم استيفاء المتطلبات، قدّم الحل وقم بالبث.

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

![تفسير خوارزمية Aleo الجديدة Synthesis Puzzle: قيادة ثورة الخصوصية في Web3])https://img-cdn.gateio.im/webp-social/moments-248292393dc48af499b670cbe18d5eaf.webp(