Aleo: رائد في حماية الخصوصية وقابلية التوسع

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

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

الخصوصية

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

1. لغة Leo المترجمة: تم تعديلها بناءً على لغة Rust، وهي مصممة خصيصًا لتطوير تطبيقات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات معرفة التشفير للمطورين.

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

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

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

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

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

آلية الإجماع

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

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

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

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

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

آخر المستجدات

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

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

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

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

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

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

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

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

تسمى خوارزمية Aleo الأحدث Synthesis Puzzle، ونواتها هي إنتاج برنامج Epoch مشترك ثابت لكل epoch، من خلال بناء دائرة إثبات R1CS للإدخال وبرنامج Epoch، وإنتاج تعيين R1CS المقابل (أي الشاهد) واستخدامه كعقدة ورقية في شجرة Merkle، وبعد حساب جميع العقد الورقية يتم إنشاء جذر Merkle وتحويله إلى proof_target للحل.

العملية التفصيلية لبناء لغز Synthesis هي كما يلي:

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

2. في كل فترة، يكون برنامج الفترة (EpochProgram) الذي يحسبه جميع مقدمي الخدمة (prover) متطابقًا، ويتم سحب الأرقام العشوائية الناتجة عن هاش الفترة الحالية (epoch_hash) من مجموعة التعليمات.

3. استخدام nonce كقيمة عشوائية لتوليد مدخلات EpochProgram.

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

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

6. حساب جذر ميركل وتحويله إلى proof_target للحل، والتحقق مما إذا كان يتوافق مع latest_proof_target للفترة الزمنية الحالية.

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

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