Aleo: مشروع البلوكتشين الذي يقود ثورة الخصوصية في Web3
Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، وتستند تقنيته الأساسية إلى إثبات المعرفة صفر (ZKP)، وتهدف إلى تحقيق مستوى أعلى من الخصوصية وقابلية التوسع. الفكرة الأساسية للمشروع هي تمكين المستخدمين من التحقق من الهوية ومعالجة البيانات دون الكشف عن المعلومات الشخصية.
نظرة عامة على المشروع
الخصوصية
التقنية الأساسية لـ Aleo هي إثبات المعرفة الصفرية، مما يسمح بتنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم، مثل المرسل ومبلغ المعاملة، مخفية افتراضيًا. لا تحمي هذه التصميمات خصوصية المستخدم فحسب، بل تسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعلها مثالية لتطوير التطبيقات المالية اللامركزية.
تشمل المكونات الرئيسية لـ Aleo:
لغة ليون: مُعدلة من لغة راست، مُخصصة لتطوير التطبيقات ذات المعرفة الصفرية، مما يقلل من متطلبات المعرفة بالتشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، ويتم التحقق من نتائج الحسابات فقط على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، تدعم التفاعل البرمجي بين المستخدمين، والمنظمات، والمنظمات المستقلة اللامركزية.
تقدم Aleo أيضًا بيئة تطوير متكاملة وحزمة أدوات تطوير برمجيات، تدعم المطورين في كتابة ونشر التطبيقات بسرعة. بالإضافة إلى ذلك، يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الحاجة للاعتماد على أطراف ثالثة، مما يقلل من مخاطر المنصة.
قابل للتوسع
أليو تستخدم طريقة المعالجة خارج السلسلة، حيث يتم حساب الإثباتات أولاً على أجهزة المستخدمين، ثم يتم رفع نتائج التحقق فقط إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، مما يتجنب مشاكل الازدحام الشبكي والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo نظام consensus AleoBFT، وهو آلية إجماع ذات هيكل مختلط، تجمع بين الحسم الفوري للمحققين وقدرة المعالجات على الحساب. لا يعزز AleoBFT فقط مستوى اللامركزية في الشبكة، بل يعزز أيضًا الأداء والأمان.
سرعة التأكيد النهائية للكتلة: تضمن AleoBFT تأكيد كل كتلة بعد إنشائها على الفور، مما يعزز استقرار العقدة وتجربة المستخدم.
ضمانات اللامركزية: من خلال فصل إنتاج الكتل عن إنشاء الرموز، يتحمل المدققون مسؤولية إنشاء الكتل، ويقوم المثبتون بحساب الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة لامركزية الشبكة وقدرتها الحاسوبية.
تسمح Aleo للمطورين بإنشاء تطبيقات غير محدودة الموارد، وبالتالي فهي مناسبة بشكل خاص للتعلم الآلي وغيرها من التطبيقات التي تتطلب وقت تشغيل طويل.
أحدث التطورات
ستقوم Aleo بإطلاق شبكة الاختبار التحفيزية في 1 يوليو، فيما يلي بعض المعلومات الهامة.
تمت الموافقة على تصويت ARC-100: تم الموافقة على الاقتراحات المتعلقة بالامتثال وإجراءات الأمان مثل قفل الأموال على شبكة Aleo وتأخير الإيداع. الفريق يعمل على التعديلات النهائية.
برنامج حوافز المدققين: سيبدأ هذا البرنامج في 1 يوليو، بهدف التحقق من آلية اللغز الجديدة. سيستمر البرنامج حتى 15 يوليو، وخلال هذه الفترة سيتم تخصيص 1,000,000 نقطة Aleo كمكافآت.
الإمدادات الأولية وإمدادات التداول: الإمدادات الأولية هي 1.5 مليار رمز، والإمدادات الأولية المتداولة حوالي 10%. تأتي هذه الرموز بشكل رئيسي من مكافآت المهام (75 مليون)، وسيتم توزيعها خلال الستة أشهر الأولى، بما في ذلك مكافآت الرهن، وتشغيل المدققين، والتحقق من العقد.
إعادة تعيين الشبكة التجريبية: هذه هي آخر مرة يتم فيها إعادة تعيين الشبكة، وبعد الانتهاء لن يتم إضافة ميزات جديدة، ستكون الشبكة مشابهة للشبكة الرئيسية. إعادة التعيين تهدف إلى إضافة ميزات جديدة وتحديث آلية اللغز.
تجميد الكود: تم تجميد الكود قبل أسبوع.
خطة توسيع عقد التحقق: العدد الأولي لعقد التحقق هو 15 ، والهدف هو زيادته إلى 50 خلال العام ، والوصول في النهاية إلى 500. لتصبح مفوضًا تحتاج إلى 10,000 رمز ، ولتصبح متحققًا تحتاج إلى 10,000,000 رمز ، وستتناقص هذه المبالغ تدريجيًا مع مرور الوقت.
تحليل خوارزمية لغز التركيب
يُسمى الجوهر الخوارزمي لأحدث إصدار من Aleo Synthesis Puzzle، حيث يتم إنتاج برنامج Epoch مشترك ثابت لكل فترة زمنية (epoch)، من خلال بناء دائرة إثبات R1CS للمدخلات وبرنامج Epoch، وإنتاج تعيين R1CS المقابل (أي الشاهد) واستخدامه كعقد ورقية في شجرة Merkle، وبعد حساب جميع العقد الورقية يتم إنشاء جذر Merkle وتحويله إلى proof_target للحل.
العملية التفصيلية لبناء Synthesis Puzzle هي كما يلي:
كل عملية حسابية puzzle تُسمى nonce، ويتم بناؤها من عنوان استلام مكافأة التعدين، epoch_hash وعدد عشوائي counter.
في كل حقبة، فإن برنامج حقبة كل prover هو نفسه، ويتم سحب الأرقام العشوائية المولدة من hash الحقبة الحالية من مجموعة التعليمات.
استخدام nonce كقيمة عشوائية لتوليد مدخلات EpochProgram.
دمج R1CS و input الخاصين ب EpochProgram ، وإجراء حساب الشاهد.
تحويل جميع الشهود إلى تسلسل أوراق شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، والتحقق مما إذا كان يلبي متطلبات epoch الحالية.
يمكن تحديث إدخال EpochProgram عدة مرات من خلال حساب الحلول باستخدام طريقة تكرار العداد ضمن نفس epoch.
تأثير تحديث الخوارزمية
بعد هذا التحديث، تحولت puzzle من توليد proof إلى توليد witness، حيث إن جميع منطق حساب الحلول داخل كل epoch متسق، لكن منطق الحساب بين epochs مختلف بشكل كبير. الخوارزمية الجديدة تتخلى عن حسابات MSM و NTT المستخدمة في النسخة السابقة، مما قد يؤثر على استراتيجيات تحسين GPU الحالية. في الوقت نفسه، نظرًا لأن عملية توليد witness تتضمن تنفيذ برنامج يتغير وفقًا للepoch، فإن التعليمات الموجودة قد تحتوي على بعض الاعتماد على التنفيذ التسلسلي، وبالتالي قد تواجه تحقيق التوازي تحديات كبيرة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
14
إعادة النشر
مشاركة
تعليق
0/400
GateUser-fea06f41
· منذ 1 س
لا يمكن لأي إثبات معرفي كرة.
شاهد النسخة الأصليةرد0
010Strategy
· منذ 2 س
رؤية ردودكم جعلتني أشعر بالقلق! هل لديكم فوري Aleo؟
Aleo تطلق شبكة اختبار للبلوكتشين الخاصة بها تقود ثورة المعرفة الصفرية في Web3
Aleo: مشروع البلوكتشين الذي يقود ثورة الخصوصية في Web3
Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، وتستند تقنيته الأساسية إلى إثبات المعرفة صفر (ZKP)، وتهدف إلى تحقيق مستوى أعلى من الخصوصية وقابلية التوسع. الفكرة الأساسية للمشروع هي تمكين المستخدمين من التحقق من الهوية ومعالجة البيانات دون الكشف عن المعلومات الشخصية.
نظرة عامة على المشروع
الخصوصية
التقنية الأساسية لـ Aleo هي إثبات المعرفة الصفرية، مما يسمح بتنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم، مثل المرسل ومبلغ المعاملة، مخفية افتراضيًا. لا تحمي هذه التصميمات خصوصية المستخدم فحسب، بل تسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعلها مثالية لتطوير التطبيقات المالية اللامركزية.
تشمل المكونات الرئيسية لـ Aleo:
لغة ليون: مُعدلة من لغة راست، مُخصصة لتطوير التطبيقات ذات المعرفة الصفرية، مما يقلل من متطلبات المعرفة بالتشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، ويتم التحقق من نتائج الحسابات فقط على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، تدعم التفاعل البرمجي بين المستخدمين، والمنظمات، والمنظمات المستقلة اللامركزية.
تقدم Aleo أيضًا بيئة تطوير متكاملة وحزمة أدوات تطوير برمجيات، تدعم المطورين في كتابة ونشر التطبيقات بسرعة. بالإضافة إلى ذلك، يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الحاجة للاعتماد على أطراف ثالثة، مما يقلل من مخاطر المنصة.
قابل للتوسع
أليو تستخدم طريقة المعالجة خارج السلسلة، حيث يتم حساب الإثباتات أولاً على أجهزة المستخدمين، ثم يتم رفع نتائج التحقق فقط إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، مما يتجنب مشاكل الازدحام الشبكي والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo نظام consensus AleoBFT، وهو آلية إجماع ذات هيكل مختلط، تجمع بين الحسم الفوري للمحققين وقدرة المعالجات على الحساب. لا يعزز AleoBFT فقط مستوى اللامركزية في الشبكة، بل يعزز أيضًا الأداء والأمان.
سرعة التأكيد النهائية للكتلة: تضمن AleoBFT تأكيد كل كتلة بعد إنشائها على الفور، مما يعزز استقرار العقدة وتجربة المستخدم.
ضمانات اللامركزية: من خلال فصل إنتاج الكتل عن إنشاء الرموز، يتحمل المدققون مسؤولية إنشاء الكتل، ويقوم المثبتون بحساب الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة لامركزية الشبكة وقدرتها الحاسوبية.
تسمح Aleo للمطورين بإنشاء تطبيقات غير محدودة الموارد، وبالتالي فهي مناسبة بشكل خاص للتعلم الآلي وغيرها من التطبيقات التي تتطلب وقت تشغيل طويل.
أحدث التطورات
ستقوم Aleo بإطلاق شبكة الاختبار التحفيزية في 1 يوليو، فيما يلي بعض المعلومات الهامة.
تمت الموافقة على تصويت ARC-100: تم الموافقة على الاقتراحات المتعلقة بالامتثال وإجراءات الأمان مثل قفل الأموال على شبكة Aleo وتأخير الإيداع. الفريق يعمل على التعديلات النهائية.
برنامج حوافز المدققين: سيبدأ هذا البرنامج في 1 يوليو، بهدف التحقق من آلية اللغز الجديدة. سيستمر البرنامج حتى 15 يوليو، وخلال هذه الفترة سيتم تخصيص 1,000,000 نقطة Aleo كمكافآت.
الإمدادات الأولية وإمدادات التداول: الإمدادات الأولية هي 1.5 مليار رمز، والإمدادات الأولية المتداولة حوالي 10%. تأتي هذه الرموز بشكل رئيسي من مكافآت المهام (75 مليون)، وسيتم توزيعها خلال الستة أشهر الأولى، بما في ذلك مكافآت الرهن، وتشغيل المدققين، والتحقق من العقد.
إعادة تعيين الشبكة التجريبية: هذه هي آخر مرة يتم فيها إعادة تعيين الشبكة، وبعد الانتهاء لن يتم إضافة ميزات جديدة، ستكون الشبكة مشابهة للشبكة الرئيسية. إعادة التعيين تهدف إلى إضافة ميزات جديدة وتحديث آلية اللغز.
تجميد الكود: تم تجميد الكود قبل أسبوع.
خطة توسيع عقد التحقق: العدد الأولي لعقد التحقق هو 15 ، والهدف هو زيادته إلى 50 خلال العام ، والوصول في النهاية إلى 500. لتصبح مفوضًا تحتاج إلى 10,000 رمز ، ولتصبح متحققًا تحتاج إلى 10,000,000 رمز ، وستتناقص هذه المبالغ تدريجيًا مع مرور الوقت.
تحليل خوارزمية لغز التركيب
يُسمى الجوهر الخوارزمي لأحدث إصدار من Aleo Synthesis Puzzle، حيث يتم إنتاج برنامج Epoch مشترك ثابت لكل فترة زمنية (epoch)، من خلال بناء دائرة إثبات R1CS للمدخلات وبرنامج Epoch، وإنتاج تعيين R1CS المقابل (أي الشاهد) واستخدامه كعقد ورقية في شجرة Merkle، وبعد حساب جميع العقد الورقية يتم إنشاء جذر Merkle وتحويله إلى proof_target للحل.
العملية التفصيلية لبناء Synthesis Puzzle هي كما يلي:
كل عملية حسابية puzzle تُسمى nonce، ويتم بناؤها من عنوان استلام مكافأة التعدين، epoch_hash وعدد عشوائي counter.
في كل حقبة، فإن برنامج حقبة كل prover هو نفسه، ويتم سحب الأرقام العشوائية المولدة من hash الحقبة الحالية من مجموعة التعليمات.
استخدام nonce كقيمة عشوائية لتوليد مدخلات EpochProgram.
دمج R1CS و input الخاصين ب EpochProgram ، وإجراء حساب الشاهد.
تحويل جميع الشهود إلى تسلسل أوراق شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، والتحقق مما إذا كان يلبي متطلبات epoch الحالية.
يمكن تحديث إدخال EpochProgram عدة مرات من خلال حساب الحلول باستخدام طريقة تكرار العداد ضمن نفس epoch.
تأثير تحديث الخوارزمية
بعد هذا التحديث، تحولت puzzle من توليد proof إلى توليد witness، حيث إن جميع منطق حساب الحلول داخل كل epoch متسق، لكن منطق الحساب بين epochs مختلف بشكل كبير. الخوارزمية الجديدة تتخلى عن حسابات MSM و NTT المستخدمة في النسخة السابقة، مما قد يؤثر على استراتيجيات تحسين GPU الحالية. في الوقت نفسه، نظرًا لأن عملية توليد witness تتضمن تنفيذ برنامج يتغير وفقًا للepoch، فإن التعليمات الموجودة قد تحتوي على بعض الاعتماد على التنفيذ التسلسلي، وبالتالي قد تواجه تحقيق التوازي تحديات كبيرة.