Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، من خلال تقنية إثبات المعرفة الصفرية لتحقيق خصوصية ومرونة أعلى. تتمثل الفكرة الأساسية في تمكين المستخدمين من إجراء التحقق من الهوية ومعالجة البيانات دون الكشف عن البيانات الشخصية.
نظرة عامة على المشروع
الخصوصية
جوهر Aleo هو تقنية إثبات المعرفة الصفرية، مما يسمح بتنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم مخفية بشكل افتراضي، مع السماح بالكشف الانتقائي عند الحاجة، وهو ما يناسب بشكل كبير تطوير تطبيقات DeFi. تشمل المكونات الرئيسية:
لغة ليون: مصممة لتطوير التطبيقات ذات المعرفة الصفرية، مما يقلل من متطلبات المعرفة في التشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، بينما يتم التحقق من النتائج على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حسابية خارج السلسلة آمنة وخاصة، ويدعم التفاعل البرمجي متعدد الأطراف.
تقدم Aleo أيضًا بيئة تطوير متكاملة وحزمة أدوات تطوير البرمجيات، لدعم تطوير التطبيقات ونشرها بسرعة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم تحميل نتيجة التحقق فقط إلى البلوكتشين. وهذا يزيد بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، ويتجنب الازدحام في الشبكة والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo آلية توافق AleoBFT، وهي آلية توافق ذات هيكل مختلط، تجمع بين النهائية الفورية للمدققين وقدرة الحوسبة للمدعين. الميزات الرئيسية:
سرعة التأكيد النهائية للكتل: ضمان تأكيد كل كتلة يتم إنشاؤها على الفور.
ضمان اللامركزية: من خلال فصل إنتاج الكتل عن توليد coinbase، لمنع قلة من الكيانات من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتلة، مما يشجع على المشاركة في تشغيل الشبكة.
Aleo يسمح بتطوير تطبيقات غير محدودة بالغاز، مناسبة لتطبيقات مثل التعلم الآلي والتي تعمل لفترات طويلة.
أحدث التطورات
تم تمرير اقتراح ARC-100: يتضمن تدابير الامتثال والأمان، ويجري الانتهاء من التعديلات النهائية.
خطة تحفيز المُصادقين: تبدأ في 1 يوليو وتستمر حتى 15 يوليو، حيث سيتم توزيع 1,000,000 نقطة Aleo كمكافأة.
العرض الأولي والتداول: كمية العرض الأولي 1.5 مليار توكن، والتداول الأولي حوالي 10٪.
إعادة تعيين شبكة الاختبار Beta: إضافة ARC-41 وميزة اللغز الجديدة.
تجميد الشيفرة: تم الانتهاء منه قبل أسبوع.
توسيع عقد التحقق: 15 عقدة أولية، الهدف هو زيادتها إلى 50 عقدة خلال السنة، والوصول في النهاية إلى 500 عقدة.
تحديث خوارزمية Synthesis Puzzle
الخوارزمية الجديدة لم تعد تركز على إنتاج نتائج إثبات zk، وتمت إزالة حسابات MSM وNTT، وبدلاً من ذلك تركز على توليد الشهود. العملية الرئيسية:
يتم إنشاء برنامج Epoch ثابت في كل عصر.
استخدام nonce كالبذور العشوائية لتوليد مدخلات EpochProgram.
دمج R1CS والمدخلات، حساب الشاهد.
تحويل الشاهد إلى عقدة ورقة شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target.
إذا تم استيفاء الشروط، قم بتقديم الحل و广播ه.
هذا التحديث يجعل puzzle من توليد proof إلى توليد witness، حيث الحساب المنطقي داخل كل epoch متسق لكنه يختلف بشكل كبير بين epochs مختلفة. التحديات التي يطرحها تحسين الخوارزمية الجديدة لوحدات معالجة الرسومات (GPU) تجعل من الصعب تحقيق التوازي.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
تسجيلات الإعجاب 11
أعجبني
11
7
مشاركة
تعليق
0/400
PuzzledScholar
· منذ 7 س
القدرة هي القدرة، لكن المال هو الحقيقة
شاهد النسخة الأصليةرد0
OvertimeSquid
· منذ 7 س
نسخ bsc هذا هو
شاهد النسخة الأصليةرد0
DefiEngineerJack
· منذ 7 س
meh. سلسلة zk أخرى تدعي *التوسع الأمثل*. يظهر لي الأدلة الرسمية أو اذهب بعيدا
Aleo الطيّار: zk-SNARKs تعزز الخصوصية و قابلية التوسع العالية
Aleo: البلوكتشين الطيّار للحماية الخصوصية والتوسع
Aleo هو مشروع بلوكتشين يركز على حماية الخصوصية، من خلال تقنية إثبات المعرفة الصفرية لتحقيق خصوصية ومرونة أعلى. تتمثل الفكرة الأساسية في تمكين المستخدمين من إجراء التحقق من الهوية ومعالجة البيانات دون الكشف عن البيانات الشخصية.
نظرة عامة على المشروع
الخصوصية
جوهر Aleo هو تقنية إثبات المعرفة الصفرية، مما يسمح بتنفيذ المعاملات والعقود الذكية مع الحفاظ على الخصوصية. تفاصيل معاملات المستخدم مخفية بشكل افتراضي، مع السماح بالكشف الانتقائي عند الحاجة، وهو ما يناسب بشكل كبير تطوير تطبيقات DeFi. تشمل المكونات الرئيسية:
لغة ليون: مصممة لتطوير التطبيقات ذات المعرفة الصفرية، مما يقلل من متطلبات المعرفة في التشفير للمطورين.
snarkVM و snarkOS: يسمح snarkVM بتنفيذ الحسابات خارج السلسلة، بينما يتم التحقق من النتائج على السلسلة، مما يعزز الكفاءة. يضمن snarkOS أمان البيانات والحسابات، ويسمح بتنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حسابية خارج السلسلة آمنة وخاصة، ويدعم التفاعل البرمجي متعدد الأطراف.
تقدم Aleo أيضًا بيئة تطوير متكاملة وحزمة أدوات تطوير البرمجيات، لدعم تطوير التطبيقات ونشرها بسرعة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم تحميل نتيجة التحقق فقط إلى البلوكتشين. وهذا يزيد بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، ويتجنب الازدحام في الشبكة والتكاليف المرتفعة.
آلية الإجماع
أدخلت Aleo آلية توافق AleoBFT، وهي آلية توافق ذات هيكل مختلط، تجمع بين النهائية الفورية للمدققين وقدرة الحوسبة للمدعين. الميزات الرئيسية:
سرعة التأكيد النهائية للكتل: ضمان تأكيد كل كتلة يتم إنشاؤها على الفور.
ضمان اللامركزية: من خلال فصل إنتاج الكتل عن توليد coinbase، لمنع قلة من الكيانات من احتكار الشبكة.
آلية التحفيز: يتشارك المدققون والمثبتون مكافآت الكتلة، مما يشجع على المشاركة في تشغيل الشبكة.
Aleo يسمح بتطوير تطبيقات غير محدودة بالغاز، مناسبة لتطبيقات مثل التعلم الآلي والتي تعمل لفترات طويلة.
أحدث التطورات
تم تمرير اقتراح ARC-100: يتضمن تدابير الامتثال والأمان، ويجري الانتهاء من التعديلات النهائية.
خطة تحفيز المُصادقين: تبدأ في 1 يوليو وتستمر حتى 15 يوليو، حيث سيتم توزيع 1,000,000 نقطة Aleo كمكافأة.
العرض الأولي والتداول: كمية العرض الأولي 1.5 مليار توكن، والتداول الأولي حوالي 10٪.
إعادة تعيين شبكة الاختبار Beta: إضافة ARC-41 وميزة اللغز الجديدة.
تجميد الشيفرة: تم الانتهاء منه قبل أسبوع.
توسيع عقد التحقق: 15 عقدة أولية، الهدف هو زيادتها إلى 50 عقدة خلال السنة، والوصول في النهاية إلى 500 عقدة.
تحديث خوارزمية Synthesis Puzzle
الخوارزمية الجديدة لم تعد تركز على إنتاج نتائج إثبات zk، وتمت إزالة حسابات MSM وNTT، وبدلاً من ذلك تركز على توليد الشهود. العملية الرئيسية:
يتم إنشاء برنامج Epoch ثابت في كل عصر.
استخدام nonce كالبذور العشوائية لتوليد مدخلات EpochProgram.
دمج R1CS والمدخلات، حساب الشاهد.
تحويل الشاهد إلى عقدة ورقة شجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target.
إذا تم استيفاء الشروط، قم بتقديم الحل و广播ه.
هذا التحديث يجعل puzzle من توليد proof إلى توليد witness، حيث الحساب المنطقي داخل كل epoch متسق لكنه يختلف بشكل كبير بين epochs مختلفة. التحديات التي يطرحها تحسين الخوارزمية الجديدة لوحدات معالجة الرسومات (GPU) تجعل من الصعب تحقيق التوازي.