Aleo: قيادة عصر جديد من الحوسبة الخصوصية في Web3

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

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

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

المكونات الرئيسية تشمل:

1. لغة ليون: مُعَدة على أساس Rust، مُصممة خصيصاً لتطوير تطبيقات المعرفة الصفرية ( ZKApps )، مما يقلل من متطلبات المعرفة الرياضية للمطورين.

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

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

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

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

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

آلية الإجماع

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

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

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

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

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

آخر التطورات

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

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

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

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

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

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

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

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

تسمى خوارزمية اللغز الأساسية في أحدث إصدار من Aleo Synthesis Puzzle ، وميزاتها الرئيسية كالتالي:

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

2. من خلال بناء دائرة إثبات R1CS للإدخال و EpochProgram، يتم إنتاج تعيين R1CS المقابل ( أي شاهد ).

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

4. كل عملية حسابية لpuzzle تُعرف باسم nonce، والتي يتم بناؤها من عنوان تلقي مكافآت التعدين، وepoch_hash، وعدد عشوائي counter.

5. يتم توليد الأرقام العشوائية من epoch_hash الحالي من خلال أخذ عينات من مجموعة التعليمات بواسطة EpochProgram.

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

7. بعد حساب الشاهد، تحويله إلى تسلسل عقد الأوراق لشجرة ميركل، وبناء شجرة ميركل K-ary بعمق 8.

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

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

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

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