Aleo: رائد البلوكتشين في حماية الخصوصية وقابلية التوسع
Aleo هو مشروع مبتكر يهدف إلى تعزيز حماية الخصوصية وقابلية التوسع في البلوكتشين. من خلال استخدام تقنية الإثباتات صفرية المعرفة، يتيح Aleo للمستخدمين إجراء التحقق من الهوية ومعالجة البيانات مع حماية المعلومات الشخصية.
نظرة عامة على المشروع
حماية الخصوصية
التكنولوجيا الأساسية لـ Aleo هي إثباتات المعرفة الصفرية (ZKPs)، التي تضمن حماية خصوصية المستخدمين خلال تنفيذ المعاملات والعقود الذكية. بشكل افتراضي، تكون تفاصيل المعاملات مثل المرسل والمبلغ مخفية. لا تحمي هذه التصميمات خصوصية المستخدمين فحسب، بل تدعم أيضًا الكشف الانتقائي عند الحاجة، مما يجعلها مناسبة جدًا لتطوير تطبيقات DeFi.
تشمل المكونات الرئيسية لـ Aleo:
لغة البرمجة ليو: معدلة من Rust، مصممة لتطوير تطبيقات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة التشفيرية للمطورين.
snarkVM و snarkOS: يدعم snarkVM تنفيذ الحسابات خارج السلسلة، ويقوم فقط بالتحقق من النتائج على السلسلة، مما يزيد من الكفاءة. تضمن snarkOS أمان البيانات والحسابات، وتدعم تنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب آمنة وخاصة خارج السلسلة، تدعم التفاعل البرمجي بين الأطراف.
تقدم Aleo أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK)، مما يسهل على المطورين كتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات مباشرة في سجل برامج Aleo، دون الاعتماد على طرف ثالث، مما يقلل من مخاطر المنصة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم فقط رفع نتائج التحقق إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، وتتجنب مشاكل الازدحام في الشبكة والتكاليف الباهظة.
آلية الإجماع
قدمت Aleo آلية توافق AleoBFT، وهي آلية توافق هجين تجمع بين الفورية النهائية للمدققين وقدرة الحوسبة للمدعين. لا تعزز AleoBFT فقط درجة اللامركزية للشبكة، بل تعزز أيضًا الأداء والأمان.
الكتلة النهائية السريعة: يضمن AleoBFT تأكيد كل كتلة تم إنشاؤها على الفور، مما يعزز استقرار العقد وتجربة المستخدم.
ضمانات لامركزية: من خلال فصل إنتاج الكتلة عن إنشاء coinbase، يكون المدققون مسؤولين عن إنشاء الكتلة، ويقوم الموثقون بإجراء حسابات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المصدقون والمثبتون مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مصدقين من خلال رهن الرموز، مما يعزز درجة عدم مركزية الشبكة وقدرتها الحسابية.
Aleo يسمح للمطورين بإنشاء تطبيقات غير محدودة بالغاز، مما يجعله مناسبًا بشكل خاص للتطبيقات التي تحتاج إلى وقت تشغيل طويل، مثل التعلم الآلي وغيرها.
آخر التطورات
سيتم إطلاق شبكة الاختبار التحفيزية من Aleo في 1 يوليو، وفيما يلي بعض التحديثات الهامة:
تم اعتماد اقتراح ARC-100: تم اعتماد الاقتراح الذي يتضمن تدابير الأمان مثل الامتثال، قفل الأموال وتأخير السداد، والفريق يجري التعديلات النهائية.
خطة تحفيز المدققين: ستعمل من 1 إلى 15 يوليو، وسيتم تخصيص 1,000,000 نقطة Aleo كمكافأة. توزيع المكافآت يعتمد على النسبة المئوية للنقاط التي تولدها العقد، ويجب على كل مدقق كسب ما لا يقل عن 100 رمز للحصول على المكافأة.
عرض الرموز: كان العرض الأولي 1.5 مليار رمز، وكان العرض المتداول الأولي حوالي 10%. تأتي هذه الرموز بشكل رئيسي من مهمة Coinbase (7500万)، والتي سيتم توزيعها على مدى الأشهر الستة الأولى، وتشمل أيضًا مكافآت لعملية الرهان، وتشغيل المدققين، والتحقق من العقد.
تحديث شبكة الاختبار: ستجري Testnet Beta إعادة تعيين أخيرة، وإضافة ARC-41 وميزة اللغز الجديدة. بعد إعادة التعيين، ستصبح الشبكة مشابهة للشبكة الرئيسية، ولن يتم إضافة ميزات جديدة.
تجميد الكود: تم الانتهاء منه قبل أسبوع.
توسيع عدد عقد التحقق: العدد الأولي لعقد التحقق هو 15، والهدف هو زيادته إلى 50 خلال هذا العام، والوصول في النهاية إلى 500. يحتاج أن يصبح المندوب 10,000 توكن، ويحتاج أن يصبح المتحقق 10,000,000 توكن، وستتناقص هذه الأرقام تدريجياً مع مرور الوقت.
تحليل خوارزمية Synthesis Puzzle
أحدث خوارزمية puzzle التي أصدرتها Aleo تُسمى Synthesis Puzzle، وتركز على إنشاء EpochProgram ثابت لكل epoch. من خلال بناء دائرة إثبات R1CS للإدخال وEpochProgram، يتم توليد تعيين R1CS المقابل ( والذي يُعرف بـ witness )، ويتم استخدامه كعقدة ورقية في شجرة Merkle. بعد حساب جميع العقد الورقية، يتم توليد جذر Merkle وتحويله إلى proof_target للحل.
العملية التفصيلية لـ Synthesis Puzzle هي كما يلي:
كل عملية حسابية للموزايك تُسمى nonce، وتتكون من عنوان استلام مكافأة التعدين، وepoch_hash، وعدد عشوائي counter.
في كل حقبة، يقوم جميع المُثبتين بحساب نفس برنامج الحقبة، ويتم استخراج الرقم العشوائي المُولد من هاش الحقبة الحالي من مجموعة التعليمات.
استخدام nonce كالبذور العشوائية لتوليد مدخلات EpochProgram.
دمج R1CS و input الخاص ب EpochProgram، وإجراء حساب الشاهد.
احسب جميع الشهود، ثم قم بتحويلها إلى سلسلة من عقد الأوراق لشجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، والتحقق مما إذا كان يلبي أحدث proof_target في epoch الحالي.
إذا تم استيفاء الشروط، فقم بتقديم عنوان المكافأة وepoch_hash وcounter المطلوبة لبناء المدخلات كحل واذع.
يمكن تحديث مدخلات EpochProgram عن طريق عداد التكرار في نفس epoch، لإجراء حسابات متعددة للحلول.
ستحول التحديثات هذه اللغز من إنشاء دليل إلى إنشاء شاهد، حيث تكون منطق حساب الحلول داخل كل حقبة متسقة، ولكن هناك اختلافات كبيرة في منطق الحساب بين الحقبات المختلفة. تتخلى الخوارزمية الجديدة عن حساب MSM وNTT السابق، مما يجلب تحديات جديدة لتحسين GPU. نظرًا لأن عملية إنشاء الشاهد تتضمن تنفيذ برنامج يتغير مع الحقبة، فإن بعض التعليمات تعتمد على التنفيذ التسلسلي، مما يجعل تحقيق التوازي يواجه تحديات كبيرة.
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
أليو تطلق شبكة اختبار تحفيزية كتلة البلوكتشين القابلة للتوسع في الخصوصية تدخل فصلًا جديدًا
Aleo: رائد البلوكتشين في حماية الخصوصية وقابلية التوسع
Aleo هو مشروع مبتكر يهدف إلى تعزيز حماية الخصوصية وقابلية التوسع في البلوكتشين. من خلال استخدام تقنية الإثباتات صفرية المعرفة، يتيح Aleo للمستخدمين إجراء التحقق من الهوية ومعالجة البيانات مع حماية المعلومات الشخصية.
نظرة عامة على المشروع
حماية الخصوصية
التكنولوجيا الأساسية لـ Aleo هي إثباتات المعرفة الصفرية (ZKPs)، التي تضمن حماية خصوصية المستخدمين خلال تنفيذ المعاملات والعقود الذكية. بشكل افتراضي، تكون تفاصيل المعاملات مثل المرسل والمبلغ مخفية. لا تحمي هذه التصميمات خصوصية المستخدمين فحسب، بل تدعم أيضًا الكشف الانتقائي عند الحاجة، مما يجعلها مناسبة جدًا لتطوير تطبيقات DeFi.
تشمل المكونات الرئيسية لـ Aleo:
لغة البرمجة ليو: معدلة من Rust، مصممة لتطوير تطبيقات المعرفة الصفرية (ZKApps)، مما يقلل من متطلبات المعرفة التشفيرية للمطورين.
snarkVM و snarkOS: يدعم snarkVM تنفيذ الحسابات خارج السلسلة، ويقوم فقط بالتحقق من النتائج على السلسلة، مما يزيد من الكفاءة. تضمن snarkOS أمان البيانات والحسابات، وتدعم تنفيذ الوظائف بدون إذن.
zkCloud: يوفر بيئة حساب آمنة وخاصة خارج السلسلة، تدعم التفاعل البرمجي بين الأطراف.
تقدم Aleo أيضًا بيئة تطوير متكاملة (IDE) وحزمة أدوات تطوير البرمجيات (SDK)، مما يسهل على المطورين كتابة ونشر التطبيقات بسرعة. يمكن للمطورين نشر التطبيقات مباشرة في سجل برامج Aleo، دون الاعتماد على طرف ثالث، مما يقلل من مخاطر المنصة.
قابلية التوسع
تستخدم Aleo طريقة المعالجة خارج السلسلة، حيث يتم أولاً حساب الإثبات على جهاز المستخدم، ثم يتم فقط رفع نتائج التحقق إلى البلوكتشين. هذه الطريقة تعزز بشكل كبير من سرعة معالجة المعاملات وقابلية توسيع النظام، وتتجنب مشاكل الازدحام في الشبكة والتكاليف الباهظة.
آلية الإجماع
قدمت Aleo آلية توافق AleoBFT، وهي آلية توافق هجين تجمع بين الفورية النهائية للمدققين وقدرة الحوسبة للمدعين. لا تعزز AleoBFT فقط درجة اللامركزية للشبكة، بل تعزز أيضًا الأداء والأمان.
الكتلة النهائية السريعة: يضمن AleoBFT تأكيد كل كتلة تم إنشاؤها على الفور، مما يعزز استقرار العقد وتجربة المستخدم.
ضمانات لامركزية: من خلال فصل إنتاج الكتلة عن إنشاء coinbase، يكون المدققون مسؤولين عن إنشاء الكتلة، ويقوم الموثقون بإجراء حسابات الإثبات، مما يمنع الكيانات القليلة من احتكار الشبكة.
آلية التحفيز: يتشارك المصدقون والمثبتون مكافآت الكتلة؛ يشجع المثبتون على أن يصبحوا مصدقين من خلال رهن الرموز، مما يعزز درجة عدم مركزية الشبكة وقدرتها الحسابية.
Aleo يسمح للمطورين بإنشاء تطبيقات غير محدودة بالغاز، مما يجعله مناسبًا بشكل خاص للتطبيقات التي تحتاج إلى وقت تشغيل طويل، مثل التعلم الآلي وغيرها.
آخر التطورات
سيتم إطلاق شبكة الاختبار التحفيزية من Aleo في 1 يوليو، وفيما يلي بعض التحديثات الهامة:
تم اعتماد اقتراح ARC-100: تم اعتماد الاقتراح الذي يتضمن تدابير الأمان مثل الامتثال، قفل الأموال وتأخير السداد، والفريق يجري التعديلات النهائية.
خطة تحفيز المدققين: ستعمل من 1 إلى 15 يوليو، وسيتم تخصيص 1,000,000 نقطة Aleo كمكافأة. توزيع المكافآت يعتمد على النسبة المئوية للنقاط التي تولدها العقد، ويجب على كل مدقق كسب ما لا يقل عن 100 رمز للحصول على المكافأة.
عرض الرموز: كان العرض الأولي 1.5 مليار رمز، وكان العرض المتداول الأولي حوالي 10%. تأتي هذه الرموز بشكل رئيسي من مهمة Coinbase (7500万)، والتي سيتم توزيعها على مدى الأشهر الستة الأولى، وتشمل أيضًا مكافآت لعملية الرهان، وتشغيل المدققين، والتحقق من العقد.
تحديث شبكة الاختبار: ستجري Testnet Beta إعادة تعيين أخيرة، وإضافة ARC-41 وميزة اللغز الجديدة. بعد إعادة التعيين، ستصبح الشبكة مشابهة للشبكة الرئيسية، ولن يتم إضافة ميزات جديدة.
تجميد الكود: تم الانتهاء منه قبل أسبوع.
توسيع عدد عقد التحقق: العدد الأولي لعقد التحقق هو 15، والهدف هو زيادته إلى 50 خلال هذا العام، والوصول في النهاية إلى 500. يحتاج أن يصبح المندوب 10,000 توكن، ويحتاج أن يصبح المتحقق 10,000,000 توكن، وستتناقص هذه الأرقام تدريجياً مع مرور الوقت.
تحليل خوارزمية Synthesis Puzzle
أحدث خوارزمية puzzle التي أصدرتها Aleo تُسمى Synthesis Puzzle، وتركز على إنشاء EpochProgram ثابت لكل epoch. من خلال بناء دائرة إثبات R1CS للإدخال وEpochProgram، يتم توليد تعيين R1CS المقابل ( والذي يُعرف بـ witness )، ويتم استخدامه كعقدة ورقية في شجرة Merkle. بعد حساب جميع العقد الورقية، يتم توليد جذر Merkle وتحويله إلى proof_target للحل.
العملية التفصيلية لـ Synthesis Puzzle هي كما يلي:
كل عملية حسابية للموزايك تُسمى nonce، وتتكون من عنوان استلام مكافأة التعدين، وepoch_hash، وعدد عشوائي counter.
في كل حقبة، يقوم جميع المُثبتين بحساب نفس برنامج الحقبة، ويتم استخراج الرقم العشوائي المُولد من هاش الحقبة الحالي من مجموعة التعليمات.
استخدام nonce كالبذور العشوائية لتوليد مدخلات EpochProgram.
دمج R1CS و input الخاص ب EpochProgram، وإجراء حساب الشاهد.
احسب جميع الشهود، ثم قم بتحويلها إلى سلسلة من عقد الأوراق لشجرة ميركل.
حساب جذر ميركل وتحويله إلى proof_target للحل، والتحقق مما إذا كان يلبي أحدث proof_target في epoch الحالي.
إذا تم استيفاء الشروط، فقم بتقديم عنوان المكافأة وepoch_hash وcounter المطلوبة لبناء المدخلات كحل واذع.
يمكن تحديث مدخلات EpochProgram عن طريق عداد التكرار في نفس epoch، لإجراء حسابات متعددة للحلول.
ستحول التحديثات هذه اللغز من إنشاء دليل إلى إنشاء شاهد، حيث تكون منطق حساب الحلول داخل كل حقبة متسقة، ولكن هناك اختلافات كبيرة في منطق الحساب بين الحقبات المختلفة. تتخلى الخوارزمية الجديدة عن حساب MSM وNTT السابق، مما يجلب تحديات جديدة لتحسين GPU. نظرًا لأن عملية إنشاء الشاهد تتضمن تنفيذ برنامج يتغير مع الحقبة، فإن بعض التعليمات تعتمد على التنفيذ التسلسلي، مما يجعل تحقيق التوازي يواجه تحديات كبيرة.