Aleo هو مشروع بلوكتشين يكرّس جهوده لحماية الخصوصية، حيث يحقق مستوى أعلى من الخصوصية وقابلية التوسع من خلال تقنية إثبات المعرفة الصفرية (ZKP). الفكرة الأساسية للمشروع هي تمكين المستخدمين من إجراء التحقق من الهوية ومعالجة البيانات مع حماية بياناتهم الشخصية.
نظرة عامة على المشروع
الخصوصية
الجوهر في Aleo هو تقنية إثبات المعرفة الصفرية (ZKPs)، مما يمكّن من تنفيذ المعاملات والعقود الذكية مع حماية الخصوصية. تفاصيل معاملات المستخدم، مثل المرسل والمبلغ، مخفية بشكل افتراضي. لا تحمي هذه التصميم خصوصية المستخدم فحسب، بل تسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعلها مناسبة جدًا لتطوير تطبيقات DeFi. تشمل المكونات الرئيسية ما يلي:
لغة ليون: مُعدلة بناءً على Rust، مُخصصة لتطوير تطبيقات المعرفة الصفرية ( ZKApps )، مما يقلل من متطلبات المعرفة الرياضية للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، والتحقق من النتائج فقط على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويدعم تنفيذ الميزات غير المصرح بها.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، ويدعم التفاعل البرمجي بين المستخدمين والمنظمات وDAO.
Aleo تقدم أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK)، تدعم المطورين في كتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الاعتماد على أطراف ثالثة، مما يقلل من مخاطر المنصة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم تحميل نتائج التحقق فقط إلى البلوكتشين. هذه الطريقة تزيد بشكل كبير من سرعة معالجة المعاملات وقابلية توسعة النظام، وتتجنب مشاكل الازدحام الشبكي والتكاليف المرتفعة مثل تلك الموجودة في الإيثريوم.
آلية الإجماع
أدخلت Aleo AleoBFT، وهو آلية إجماع بهندسة مختلطة، تجمع بين النهائية الفورية للمدققين وقدرة الحوسبة للمدعين. لا يعزز AleoBFT فقط درجة اللامركزية للشبكة، ولكنه يعزز أيضًا الأداء والأمان.
التأكيد السريع للكتلة: AleoBFT يضمن أن كل كتلة يتم إنشاؤها تؤكد على الفور، مما يعزز استقرار العقدة وتجربة المستخدم.
ضمان اللامركزية: من خلال فصل إنتاج الكتل عن توليد coinbase، يكون المدققون مسؤولين عن إنتاج الكتل، بينما يقوم المثبتون بإجراء حسابات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يشارك المدققون والمتحققون مكافآت الكتلة; تشجع المتحققين على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة اللامركزية وقدرة الشبكة الحاسوبية.
تسمح Aleo للمطورين بإنشاء تطبيقات غير مقيدة بـ gas، مما يجعلها مناسبة بشكل خاص للتطبيقات التي تتطلب وقتًا طويلاً مثل التعلم الآلي.
آخر التطورات
ستبدأ Aleo شبكة الاختبار التحفيزية في 1 يوليو، وفيما يلي بعض المعلومات الهامة.
تم اعتماد اقتراح ARC-100: يتناول هذا الاقتراح جوانب الامتثال، وتأمين الأموال على الشبكة وتأخير الإيداع، ويقوم الفريق حاليًا بإجراء التعديلات النهائية.
خطة تحفيز المدققين: ستبدأ في 1 يوليو، وتهدف إلى التحقق من آلية اللغز الجديدة. ستستمر الخطة حتى 15 يوليو، وخلال هذه الفترة سيتم توزيع 1,000,000 نقطة Aleo كمكافأة.
عرض الرمز: كان العرض الأولي 1.5 مليار رمز، بينما كان العرض المتداول الأولي حوالي 10%( سيتم تحديده ). هذه الرموز تأتي أساسًا من مهام Coinbase (7500000)، وسيتم توزيعها خلال الأشهر الستة الأولى، مع تضمين مكافآت الرهانات، وتشغيل المدققين، والتحقق من العقد.
إعادة تعيين اختبار الشبكة بيتا: هذه هي آخر عملية إعادة تعيين للشبكة، بعد الانتهاء منها لن يتم إضافة ميزات جديدة، ستبدو الشبكة مشابهة للشبكة الرئيسية.
تجميد الكود: قد تم الانتهاء منه قبل أسبوع.
خطة توسيع عقد التحقق: العدد الأولي لعقد التحقق هو 15، والهدف هو زيادته إلى 50 خلال العام، وفي النهاية الوصول إلى 500. للانضمام كموكل تحتاج إلى 10,000 رمز، ولتصبح تحقق تحتاج إلى 10,000,000 رمز، وستقل هذه المبالغ تدريجياً مع مرور الوقت.
تحليل خوارزمية لغز التركيب
قامت Aleo مؤخرًا بتحديث خوارزمية puzzle، حيث لم تعد الخوارزمية الجديدة تركز على توليد نتائج إثبات zk، بل تركز على توليد بيانات الشهادة الوسيطة قبل إثبات. فيما يلي مقدمة موجزة عن الخوارزمية الجديدة:
عملية الإجماع
يقوم Prover بحساب الألغاز وبناء الحلول وبثها إلى الشبكة.
تجمع معاملات Validator وحل لتكتل جديد، تأكد من عدم تجاوز عدد الحلول حد الإجماع.
يجب التحقق من شرعية Solution من خلال التأكد من أن epoch_hash و proof_target تتوافق مع متطلبات الشبكة، بالإضافة إلى أن عدد solutions في الكتلة يجب أن يكون ضمن الحد المسموح به.
الحلول الفعالة يمكن أن تحصل على مكافآت التوافق.
آلية الأساسية للغز التركيب
يتم إنشاء برنامج Epoch ثابت في كل فترة، يستخدمه جميع المبرهنين.
كل عملية حسابية للغز تُسمى nonce، وتتكون من عنوان استلام مكافآت التعدين، وepoch_hash، وعدد عشوائي counter.
يتم توليد أرقام عشوائية بواسطة EpochProgram من خلال أخذ عينات من مجموعة التعليمات المستندة إلى epoch_hash الحالي.
استخدام nonce ك seed عشوائي لتوليد مدخلات EpochProgram.
دمج R1CS وinput المتعلق بـ EpochProgram، وإجراء حساب الشاهد.
بعد حساب جميع الشهود، تحويلها إلى تسلسل ورقات شجرة ميركل.
حساب الجذر ميركل وتحويله إلى proof_target للحل، وتحديد ما إذا كان يلبي متطلبات العصر الحالي.
إذا تم استيفاء المتطلبات، قم بتقديم الحل وبثه.
ستحول هذه التحديثات puzzle من إنشاء proof إلى إنشاء witness، حيث أن منطق حساب الحلول ضمن كل epoch متسق، ولكن هناك اختلافات كبيرة بين epochs المختلفة. لقد تخلصت الخوارزمية الجديدة من تحسينات GPU السابقة التي كانت تستهدف حساب MSM و NTT، وفي الوقت نفسه، تواجه تنفيذ المعالجة المتوازية تحديات كبيرة بسبب وجود علاقات الاعتماد على التنفيذ التسلسلي خلال عملية إنشاء witness.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 10
أعجبني
10
7
مشاركة
تعليق
0/400
Cfrs2020
· منذ 18 س
#ALEO# هل لا تنظرون إلى الإعلانات على الإطلاق؟ تم تقليل الوقت المحدد لكتلة arc6 في أغسطس بنسبة 90%، وستصبح ARC5 سارية المفعول في 9 سبتمبر، وانخفضت غسيل الأموال بنسبة 90%. يتم تمهيد الطريق للنظام البيئي.
ترقية كبيرة في Aleo للبلوكتشين الخصوصي: تحليل خوارزمية Synthesis Puzzle وإطلاق Testnet للتحفيز
Aleo:突破 جديد في البلوكتشين لحماية الخصوصية
Aleo هو مشروع بلوكتشين يكرّس جهوده لحماية الخصوصية، حيث يحقق مستوى أعلى من الخصوصية وقابلية التوسع من خلال تقنية إثبات المعرفة الصفرية (ZKP). الفكرة الأساسية للمشروع هي تمكين المستخدمين من إجراء التحقق من الهوية ومعالجة البيانات مع حماية بياناتهم الشخصية.
نظرة عامة على المشروع
الخصوصية
الجوهر في Aleo هو تقنية إثبات المعرفة الصفرية (ZKPs)، مما يمكّن من تنفيذ المعاملات والعقود الذكية مع حماية الخصوصية. تفاصيل معاملات المستخدم، مثل المرسل والمبلغ، مخفية بشكل افتراضي. لا تحمي هذه التصميم خصوصية المستخدم فحسب، بل تسمح أيضًا بالكشف الانتقائي عند الحاجة، مما يجعلها مناسبة جدًا لتطوير تطبيقات DeFi. تشمل المكونات الرئيسية ما يلي:
لغة ليون: مُعدلة بناءً على Rust، مُخصصة لتطوير تطبيقات المعرفة الصفرية ( ZKApps )، مما يقلل من متطلبات المعرفة الرياضية للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، والتحقق من النتائج فقط على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويدعم تنفيذ الميزات غير المصرح بها.
zkCloud: يوفر بيئة حساب خارج السلسلة آمنة وخاصة، ويدعم التفاعل البرمجي بين المستخدمين والمنظمات وDAO.
Aleo تقدم أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK)، تدعم المطورين في كتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات في سجل برامج Aleo دون الاعتماد على أطراف ثالثة، مما يقلل من مخاطر المنصة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم تحميل نتائج التحقق فقط إلى البلوكتشين. هذه الطريقة تزيد بشكل كبير من سرعة معالجة المعاملات وقابلية توسعة النظام، وتتجنب مشاكل الازدحام الشبكي والتكاليف المرتفعة مثل تلك الموجودة في الإيثريوم.
آلية الإجماع
أدخلت Aleo AleoBFT، وهو آلية إجماع بهندسة مختلطة، تجمع بين النهائية الفورية للمدققين وقدرة الحوسبة للمدعين. لا يعزز AleoBFT فقط درجة اللامركزية للشبكة، ولكنه يعزز أيضًا الأداء والأمان.
التأكيد السريع للكتلة: AleoBFT يضمن أن كل كتلة يتم إنشاؤها تؤكد على الفور، مما يعزز استقرار العقدة وتجربة المستخدم.
ضمان اللامركزية: من خلال فصل إنتاج الكتل عن توليد coinbase، يكون المدققون مسؤولين عن إنتاج الكتل، بينما يقوم المثبتون بإجراء حسابات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يشارك المدققون والمتحققون مكافآت الكتلة; تشجع المتحققين على أن يصبحوا مدققين من خلال رهن الرموز، مما يعزز درجة اللامركزية وقدرة الشبكة الحاسوبية.
تسمح Aleo للمطورين بإنشاء تطبيقات غير مقيدة بـ gas، مما يجعلها مناسبة بشكل خاص للتطبيقات التي تتطلب وقتًا طويلاً مثل التعلم الآلي.
آخر التطورات
ستبدأ Aleo شبكة الاختبار التحفيزية في 1 يوليو، وفيما يلي بعض المعلومات الهامة.
تم اعتماد اقتراح ARC-100: يتناول هذا الاقتراح جوانب الامتثال، وتأمين الأموال على الشبكة وتأخير الإيداع، ويقوم الفريق حاليًا بإجراء التعديلات النهائية.
خطة تحفيز المدققين: ستبدأ في 1 يوليو، وتهدف إلى التحقق من آلية اللغز الجديدة. ستستمر الخطة حتى 15 يوليو، وخلال هذه الفترة سيتم توزيع 1,000,000 نقطة Aleo كمكافأة.
عرض الرمز: كان العرض الأولي 1.5 مليار رمز، بينما كان العرض المتداول الأولي حوالي 10%( سيتم تحديده ). هذه الرموز تأتي أساسًا من مهام Coinbase (7500000)، وسيتم توزيعها خلال الأشهر الستة الأولى، مع تضمين مكافآت الرهانات، وتشغيل المدققين، والتحقق من العقد.
إعادة تعيين اختبار الشبكة بيتا: هذه هي آخر عملية إعادة تعيين للشبكة، بعد الانتهاء منها لن يتم إضافة ميزات جديدة، ستبدو الشبكة مشابهة للشبكة الرئيسية.
تجميد الكود: قد تم الانتهاء منه قبل أسبوع.
خطة توسيع عقد التحقق: العدد الأولي لعقد التحقق هو 15، والهدف هو زيادته إلى 50 خلال العام، وفي النهاية الوصول إلى 500. للانضمام كموكل تحتاج إلى 10,000 رمز، ولتصبح تحقق تحتاج إلى 10,000,000 رمز، وستقل هذه المبالغ تدريجياً مع مرور الوقت.
تحليل خوارزمية لغز التركيب
قامت Aleo مؤخرًا بتحديث خوارزمية puzzle، حيث لم تعد الخوارزمية الجديدة تركز على توليد نتائج إثبات zk، بل تركز على توليد بيانات الشهادة الوسيطة قبل إثبات. فيما يلي مقدمة موجزة عن الخوارزمية الجديدة:
عملية الإجماع
يقوم Prover بحساب الألغاز وبناء الحلول وبثها إلى الشبكة.
تجمع معاملات Validator وحل لتكتل جديد، تأكد من عدم تجاوز عدد الحلول حد الإجماع.
يجب التحقق من شرعية Solution من خلال التأكد من أن epoch_hash و proof_target تتوافق مع متطلبات الشبكة، بالإضافة إلى أن عدد solutions في الكتلة يجب أن يكون ضمن الحد المسموح به.
الحلول الفعالة يمكن أن تحصل على مكافآت التوافق.
آلية الأساسية للغز التركيب
يتم إنشاء برنامج Epoch ثابت في كل فترة، يستخدمه جميع المبرهنين.
كل عملية حسابية للغز تُسمى nonce، وتتكون من عنوان استلام مكافآت التعدين، وepoch_hash، وعدد عشوائي counter.
يتم توليد أرقام عشوائية بواسطة EpochProgram من خلال أخذ عينات من مجموعة التعليمات المستندة إلى epoch_hash الحالي.
استخدام nonce ك seed عشوائي لتوليد مدخلات EpochProgram.
دمج R1CS وinput المتعلق بـ EpochProgram، وإجراء حساب الشاهد.
بعد حساب جميع الشهود، تحويلها إلى تسلسل ورقات شجرة ميركل.
حساب الجذر ميركل وتحويله إلى proof_target للحل، وتحديد ما إذا كان يلبي متطلبات العصر الحالي.
إذا تم استيفاء المتطلبات، قم بتقديم الحل وبثه.
ستحول هذه التحديثات puzzle من إنشاء proof إلى إنشاء witness، حيث أن منطق حساب الحلول ضمن كل epoch متسق، ولكن هناك اختلافات كبيرة بين epochs المختلفة. لقد تخلصت الخوارزمية الجديدة من تحسينات GPU السابقة التي كانت تستهدف حساب MSM و NTT، وفي الوقت نفسه، تواجه تنفيذ المعالجة المتوازية تحديات كبيرة بسبب وجود علاقات الاعتماد على التنفيذ التسلسلي خلال عملية إنشاء witness.