Aleo: بلوكتشين حماية الخصوصية المستندة إلى zk-SNARKs

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

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

حماية الخصوصية

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

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

1. لغة Leo: لغة مخصصة لتطوير تطبيقات zk-SNARKs (، مما يقلل من متطلبات المعرفة بالتشفير للمطورين.

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

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

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

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

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

آلية الإجماع

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

الخصائص الرئيسية:

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

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

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

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

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

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

1. تمت الموافقة على اقتراح ARC-100، والذي يتعلق بالتدابير التنظيمية والأمنية.

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

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

4. سيتم إجراء إعادة تعيين أخيرة للشبكة في Testnet Beta، وإضافة ARC-41 وميزة اللغز الجديدة.

5. تم الانتهاء من تجميد الشفرة.

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

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

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

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

العملية الرئيسية:

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

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

3. استخدام nonce كبذور عدد عشوائي لتوليد مدخلات EpochProgram.

4. دمج R1CS و input لـ EpochProgram المقابل، وإجراء حساب الشاهد.

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

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

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

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

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