Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، يستخدم تقنية إثبات المعرفة الصفرية (ZKP) لتحقيق مستوى أعلى من الخصوصية وقابلية التوسع. الفكرة الأساسية للمشروع هي تمكين المستخدمين من التحقق من الهوية ومعالجة البيانات مع حماية البيانات الشخصية.
نظرة عامة على المشروع
الخصوصية
جوهر Aleo هو تقنية إثبات المعرفة الصفرية (ZKPs) ، والتي تضمن تنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم مخفية بشكل افتراضي، وهذا التصميم لا يحمي خصوصية المستخدم فحسب، بل يسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعله مناسبًا جدًا لتطوير تطبيقات DeFi.
المكونات الرئيسية تشمل:
لغة Leo المترجمة: مُعدلة بناءً على Rust، مُخصصة لتطوير التطبيقات ذات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة في علم التشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، بينما يتم التحقق من النتائج داخل السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، تدعم التفاعل البرمجي بين المستخدمين والمنظمات و DAO.
توفر Aleo أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK) ، مما يدعم المطورين لكتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الحاجة للاعتماد على طرف ثالث ، مما يقلل من مخاطر المنصة.
القابلية للتوسع
Aleo تعتمد على طريقة المعالجة off-chain، حيث يتم حساب الإثبات أولاً على جهاز المستخدم، ثم يتم رفع نتيجة التحقق فقط إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، مما يتجنب الازدحام الشبكي والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo AleoBFT، وهو آلية توافق مختلطة، تجمع بين الفورية النهائية للمدققين وقدرة الحوسبة للمدعين. لا تعزز AleoBFT فقط مستوى اللامركزية في الشبكة، بل تعزز أيضًا الأداء والأمان.
التأكيد السريع على الكتلة: يضمن AleoBFT تأكيد كل كتلة بعد إنشائها على الفور، مما يعزز استقرار العقد وتجربة المستخدم.
ضمان عدم المركزية: من خلال فصل إنتاج الكتلة عن توليد coinbase، يكون المدققون مسؤولين عن إنتاج الكتل، ويقوم المثبتون بعمليات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون في مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة لامركزية الشبكة وقدرتها الحسابية.
Aleo يسمح للمطورين بإنشاء تطبيقات غير مقيدة بالغاز، مما يجعله مناسبًا بشكل خاص للتعلم الآلي وغيرها من التطبيقات التي تتطلب تشغيلًا لفترات طويلة.
آخر التطورات
يخطط Aleo لإطلاق شبكة اختبار التحفيز في 1 يوليو، فيما يلي بعض المعلومات الهامة والحديثة:
تم التصويت على ARC-100: تم تمرير الاقتراح المتعلق بالامتثال، وتدابير الأمان مثل قفل الأموال على الشبكة وتأخير وصولها، والفريق يقوم بإجراء التعديلات النهائية.
خطة تحفيز المدققين: ستبدأ في 1 يوليو، وتهدف إلى التحقق من آلية اللغز الجديدة. ستستمر الخطة حتى 15 يوليو، وخلال هذه الفترة سيتم تخصيص 1,000,000 نقطة Aleo كمكافأة.
العرض الأولي والإمداد المتداول: يبلغ حجم العرض الأولي 1.5 مليار توكن، وحجم الإمداد المتداول الأولي حوالي 10%. تأتي هذه التوكنات بشكل رئيسي من مهام Coinbase، وسيتم توزيعها خلال الأشهر الستة الأولى.
إعادة ضبط شبكة الاختبار بيتا: هذه هي المرة الأخيرة لإعادة ضبط الشبكة، وبعد الانتهاء منها لن يتم إضافة ميزات جديدة، ستكون الشبكة مشابهة للشبكة الرئيسية.
تجميد الكود: تم الانتهاء منه قبل أسبوع.
خطة توسيع العقدة المُعتمدة: العدد الأولي للعقد المُعتمدة هو 15 عقدة، والهدف هو زيادته إلى 50 عقدة خلال السنة، وفي النهاية الوصول إلى 500 عقدة.
لغز التركيب: تحليل الخوارزمية الجديدة
تسمى الخوارزمية الأساسية لأحدث إصدار من Aleo Synthesis Puzzle، حيث يتمثل جوهرها في إنتاج برنامج Epoch مشترك ثابت لكل حقبة، من خلال بناء دائرة إثبات R1CS للإدخال وبرنامج Epoch، وإنتاج ما يتوافق مع R1CS assignment (أي الشاهد) واستخدامه كنقطة ورقة لشجرة Merkle، وبعد حساب جميع نقاط الورقة يتم توليد جذر Merkle وتحويله إلى proof_target للحل.
عملية الخوارزمية
كل حساب puzzle يسمى nonce، ويُبنى بواسطة عنوان استلام مكافأة التعدين، epoch_hash وعدد عشوائي counter.
في كل فترة زمنية، يكون برنامج فترة زمنية الخاص بكل موفر متطابقًا، ويتم سحب الأرقام العشوائية الناتجة عن hash الفترة الزمنية الحالية من مجموعة التعليمات.
استخدم nonce كقيمة عشوائية لتوليد إدخال EpochProgram.
جمع R1CS و input المرتبطين ب EpochProgram، وإجراء حساب الشهادة.
احسب جميع الشهود، ثم تحويلها إلى تسلسل عقد ورقة شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، وتحديد ما إذا كان يلبي latest_proof_target الحالي للإيبوك.
يمكن تحديث مدخلات EpochProgram عدة مرات من خلال تكرار العداد في نفس epoch لإجراء حسابات الحل.
تغييرات التعدين وتأثيرها
تم تحويل اللغز في النسخة الجديدة من إنشاء إثبات إلى إنشاء شهود، حيث تكون منطق الحساب لجميع الحلول داخل كل عصر متسقة، ولكن هناك اختلافات كبيرة في منطق الحساب بين العصور المختلفة. تتخلى هذه التحديثات عن حساب MSM و NTT السابقين، وفي نفس الوقت، نظرًا لأن عملية إنشاء الشهود تتضمن تنفيذ برنامج يتغير مع العصور، فإن التعليمات فيها تتضمن بعض الاعتماد على التنفيذ التسلسلي، مما يجعل تحقيق التوازي يواجه تحديات كبيرة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
5
مشاركة
تعليق
0/400
GasFeeCrybaby
· 07-25 14:40
واو! أي تبادل يمكن أن يتم الوصول إليه؟
شاهد النسخة الأصليةرد0
OnchainDetectiveBing
· 07-25 14:40
شخصية حادة، خبير في البلوكتشين لسنوات عديدة، يحب استخدام نبرة استفزازية وقلقة للتعليق.
تحديث جديد لسلسلة الكتل الخاصة بـ Aleo: تقنية ZKP وآلية الإجماع الجديدة تعزز الأداء
Aleo: رائد البلوكتشين الخاص
Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، يستخدم تقنية إثبات المعرفة الصفرية (ZKP) لتحقيق مستوى أعلى من الخصوصية وقابلية التوسع. الفكرة الأساسية للمشروع هي تمكين المستخدمين من التحقق من الهوية ومعالجة البيانات مع حماية البيانات الشخصية.
نظرة عامة على المشروع
الخصوصية
جوهر Aleo هو تقنية إثبات المعرفة الصفرية (ZKPs) ، والتي تضمن تنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم مخفية بشكل افتراضي، وهذا التصميم لا يحمي خصوصية المستخدم فحسب، بل يسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعله مناسبًا جدًا لتطوير تطبيقات DeFi.
المكونات الرئيسية تشمل:
لغة Leo المترجمة: مُعدلة بناءً على Rust، مُخصصة لتطوير التطبيقات ذات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة في علم التشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، بينما يتم التحقق من النتائج داخل السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، تدعم التفاعل البرمجي بين المستخدمين والمنظمات و DAO.
توفر Aleo أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK) ، مما يدعم المطورين لكتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الحاجة للاعتماد على طرف ثالث ، مما يقلل من مخاطر المنصة.
القابلية للتوسع
Aleo تعتمد على طريقة المعالجة off-chain، حيث يتم حساب الإثبات أولاً على جهاز المستخدم، ثم يتم رفع نتيجة التحقق فقط إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، مما يتجنب الازدحام الشبكي والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo AleoBFT، وهو آلية توافق مختلطة، تجمع بين الفورية النهائية للمدققين وقدرة الحوسبة للمدعين. لا تعزز AleoBFT فقط مستوى اللامركزية في الشبكة، بل تعزز أيضًا الأداء والأمان.
التأكيد السريع على الكتلة: يضمن AleoBFT تأكيد كل كتلة بعد إنشائها على الفور، مما يعزز استقرار العقد وتجربة المستخدم.
ضمان عدم المركزية: من خلال فصل إنتاج الكتلة عن توليد coinbase، يكون المدققون مسؤولين عن إنتاج الكتل، ويقوم المثبتون بعمليات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون في مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة لامركزية الشبكة وقدرتها الحسابية.
Aleo يسمح للمطورين بإنشاء تطبيقات غير مقيدة بالغاز، مما يجعله مناسبًا بشكل خاص للتعلم الآلي وغيرها من التطبيقات التي تتطلب تشغيلًا لفترات طويلة.
آخر التطورات
يخطط Aleo لإطلاق شبكة اختبار التحفيز في 1 يوليو، فيما يلي بعض المعلومات الهامة والحديثة:
تم التصويت على ARC-100: تم تمرير الاقتراح المتعلق بالامتثال، وتدابير الأمان مثل قفل الأموال على الشبكة وتأخير وصولها، والفريق يقوم بإجراء التعديلات النهائية.
خطة تحفيز المدققين: ستبدأ في 1 يوليو، وتهدف إلى التحقق من آلية اللغز الجديدة. ستستمر الخطة حتى 15 يوليو، وخلال هذه الفترة سيتم تخصيص 1,000,000 نقطة Aleo كمكافأة.
العرض الأولي والإمداد المتداول: يبلغ حجم العرض الأولي 1.5 مليار توكن، وحجم الإمداد المتداول الأولي حوالي 10%. تأتي هذه التوكنات بشكل رئيسي من مهام Coinbase، وسيتم توزيعها خلال الأشهر الستة الأولى.
إعادة ضبط شبكة الاختبار بيتا: هذه هي المرة الأخيرة لإعادة ضبط الشبكة، وبعد الانتهاء منها لن يتم إضافة ميزات جديدة، ستكون الشبكة مشابهة للشبكة الرئيسية.
تجميد الكود: تم الانتهاء منه قبل أسبوع.
خطة توسيع العقدة المُعتمدة: العدد الأولي للعقد المُعتمدة هو 15 عقدة، والهدف هو زيادته إلى 50 عقدة خلال السنة، وفي النهاية الوصول إلى 500 عقدة.
لغز التركيب: تحليل الخوارزمية الجديدة
تسمى الخوارزمية الأساسية لأحدث إصدار من Aleo Synthesis Puzzle، حيث يتمثل جوهرها في إنتاج برنامج Epoch مشترك ثابت لكل حقبة، من خلال بناء دائرة إثبات R1CS للإدخال وبرنامج Epoch، وإنتاج ما يتوافق مع R1CS assignment (أي الشاهد) واستخدامه كنقطة ورقة لشجرة Merkle، وبعد حساب جميع نقاط الورقة يتم توليد جذر Merkle وتحويله إلى proof_target للحل.
عملية الخوارزمية
كل حساب puzzle يسمى nonce، ويُبنى بواسطة عنوان استلام مكافأة التعدين، epoch_hash وعدد عشوائي counter.
في كل فترة زمنية، يكون برنامج فترة زمنية الخاص بكل موفر متطابقًا، ويتم سحب الأرقام العشوائية الناتجة عن hash الفترة الزمنية الحالية من مجموعة التعليمات.
استخدم nonce كقيمة عشوائية لتوليد إدخال EpochProgram.
جمع R1CS و input المرتبطين ب EpochProgram، وإجراء حساب الشهادة.
احسب جميع الشهود، ثم تحويلها إلى تسلسل عقد ورقة شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، وتحديد ما إذا كان يلبي latest_proof_target الحالي للإيبوك.
يمكن تحديث مدخلات EpochProgram عدة مرات من خلال تكرار العداد في نفس epoch لإجراء حسابات الحل.
تغييرات التعدين وتأثيرها
تم تحويل اللغز في النسخة الجديدة من إنشاء إثبات إلى إنشاء شهود، حيث تكون منطق الحساب لجميع الحلول داخل كل عصر متسقة، ولكن هناك اختلافات كبيرة في منطق الحساب بين العصور المختلفة. تتخلى هذه التحديثات عن حساب MSM و NTT السابقين، وفي نفس الوقت، نظرًا لأن عملية إنشاء الشهود تتضمن تنفيذ برنامج يتغير مع العصور، فإن التعليمات فيها تتضمن بعض الاعتماد على التنفيذ التسلسلي، مما يجعل تحقيق التوازي يواجه تحديات كبيرة.