أشياء يجب معرفتها عن AleoBFT - خوارزمية الإجماع التي تصنع Aleo

• ملخص
• أشياء يجب معرفتها عن AleoBFT - البنية الهجينة الجديدة للإجماع
• تضمن AleoBFT نهائية فورية لكل كتلة
• يضمن AleoBFT أن تظل الشبكة لا مركزية بالكامل
• تحفز AleoBFT المُثبِّتَين على توسيع نطاق إمكانية إثبات نظام Aleo البيئي بمرور الوقت
• AleoBFT. الهيكل الأساسي
• الخاتمة

في نهاية عام 2022 ، حققت تقنية blockchain العامة النموذجية للخصوصية باستخدام Zero-Knowledge Proofs نجاحًا كبيرًا عندما جمعت 200 مليون دولار - إحدى صفقات جمع التبرعات. أكبرها في عام 2022. ولم تتوقف عند هذا الحد ، فقد عززت شركة Aleo أيضًا من إستراتيجيتها للتواصل مع المستخدمين عند إطلاق سلسلة من برامج Tesnet المحفزة وحققت أكثر من مليار دليل في الثانية ، أي أعلى بمقدار 50000 مرة عن عام 2021. 

للحصول على نظرة عامة أفضل على ما حققه Aleo في عام 2022 ، يمكن للقراء أيضًا الاطلاع على مقالة "العودة إلى Aleo 2022" عل�� موقع TraderH4.com. في إطار هذه المقالة ، سوف يتعمق TraderH4 في خوارزمية الإجماع التي تجعل Aleo مختلفًا عن مشاريع الطبقة الأولى الأخرى في نفس المقطع.

ملخص

أصبح Aleo أكثر نجاحًا حيث تستخدم المزيد من الشركات zkSNARK في تطبيقاتها. نظرًا لأن التدقيق صعب ، فإن تصميم Aleo يسمح للتطبيقات بالاستعانة بمصادر خارجية للتدقيق إلى "خدمات إثبات" تابعة لجهات خارجية تستخدم أجهزة وبرامج متخصصة للتعامل مع العمليات الحسابية. zkSNARK أسرع وأرخص وأكثر كفاءة مما يمكن لمطوري التطبيقات القيام به على بعض وحدات المعالجة المركزية الأساسية . 

أحد أكبر العوامل المقيدة للمستقبل ، حتى بالنسبة لإثبات الخدمات ، هو أن "إنشاء إثبات عدم المعرفة للتنفيذ الصحيح للتطبيق يمكن أن يكون مكلفًا". أكثر بكثير من مجرد تشغيل التطبيق مباشرة. هذا يثبت أن zkSNARK ليست أفضل تقنية بعد.

من أجل أن تصبح براهين المعرفة الصفرية أمرًا شائعًا ولكي يكون أليو ناجحًا ، يجب نشر أجهزة وبرامج ومعرفة تدقيق zkSNARK. وصمم أليو آلية الإجماع الخاصة به ورعى مسابقة ZPrize لإثبات ذلك. 

يعد التعدين التقليدي في إثبات العمل ، مثل Bitcoin ، بسيطًا نسبيًا ويتم تحويل الأجهزة إلى سلعة. يستخدم عمال المناجم وظائف SHA-256 على ASICs ويحاولون وضع أنفسهم بجوار مصادر الطاقة الرخيصة لزيادة الأرباح. لا توجد طرق إبداعية كثيرة لاكتساب ميزة. 

في Aleo ، يتطلب التدقيق فهمًا أعمق لـ zkSNARK ، وهي مساحة تصميم أكثر ثراءً مع المزيد من الفرص للمثبتات لاكتساب مزايا ضخمة. 

يختلف Aleo عن Bitcoin في أنه يقبل المزيد من الحلول الصالحة لكل كتلة وبالتالي يوزع المكافآت على المزيد من المصححين بدلاً من اتباع إطار عمل "الفائز أو الخاسر". إذا كان وجود مثل واحد يسحق أي شخص آخر ، فسيقلل من مشاركة الأمثال واللامركزية ، مما سيبقي التكاليف أعلى. 

لذا فعل أليو شيئين لتسويق إضافته الإضافية zkSNARK لإثبات العمل: AleoBFT و ZPrize. في هذا القسم سوف نتعمق في AleoBFT. 

كل ما تحتاج لمعرفته حول AleoBFT - الهيكل الهجين الجديد للإجماع

يجمع AleoBFT بين Proof of Stake (PoS) ونوع معين من إثبات العمل (PoW) يسمى Proof of Succinct Work (والذي يعد بحد ذاته مجموعة فرعية من إثبات العمل الضروري).  

تم تصميم AleoBFT للقيام بثلاثة أشياء: تأمين البروتوكول ، والتأكد من وجود ما يكفي من المحققين ذوي الخبرة لخدمة احتياجات حل مشاكل التطبيق zkSNARK ، وتشجيع المزيد من الأشخاص على المشاركة في الإثبات.الشبكة أكثر كفاءة وأرخص . 

خلال Testnet 3 ، قال Aleo إنهم سيحولون نموذج الإجماع الخاص بهم إلى بنية هجينة للمدققين وهذا هو AleoBFT.

يجمع AleoBFT بين النهاية اللحظية للكتل الجديدة من المدققين والقوة الحاسوبية للمدققين لجلب إمداد قاعدة العملات إلى الشبكة. تصميم AleoBFT يحفز المدققين للحفاظ على الشبكة من خلال إنشاء الكتل وتحفيز المدققين لتوسيع إثبات المفهوم إلى نظام Aleo البيئي. تحتوي خوارزمية الإجماع لـ AleoBFT على العديد

تضمن AleoBFT نهائية فورية لكل كتلة

يتم تأكيد المعاملات بعد أن يتوصل المدققون إلى توافق في الآراء بشأن كل كتلة. يعمل هذا الأسلوب على حل مشكلات التفرع للمدققين وتحسين استقرار العقدة. بالإضافة إلى ذلك ، يؤدي هذا إلى إنشاء تجربة تطبيق سلسة للمطورين على Aleo. وبالنسبة للمستخدمين ، يؤدي ذلك إلى تحسين واجهة المستخدم / تجربة المستخدم من خلال تمكين التأكيدات السريعة في المحافظ والمتصفحات والمستكشفين والتطبيقات. في النهاية ، يجعل هذا الضمان قابلية التشغيل البيني مع الأنظمة البيئية الأخرى أبسط بكثير.

يضمن AleoBFT أن تظل الشبكة لا مركزية بالكامل

كما أشارت Testnet 2 ، أصبح إنتاج الكتل مركزيًا للغاية بعد أن طور عدد قليل من المصححين أجهزة متخصصة لتشفير المعرفة الصفرية. بينما تساعد ZPrize في تحقيق تكافؤ الفرص ، تظل الحقيقة أن بعض الكيانات ستهيمن على الشبكة ، مما يشكل خطر المركزية والرقابة على المستخدمين.

باستخدام AleoBFT ، يمكن لـ Aleo فصل دور إنتاج الكتلة عن توليد قاعدة العملات المعدنية. المدققون مسؤولون عن إنشاء الكتل ، ويمكن للمدققين الآن حساب البراهين بالمقياس المطلوب. تم تصميم AleoBFT لتحفيز المحققين ليصبحوا مدققين ، من خلال تجميع ما لا يقل عن مليون من رصيد Aleo Credits على الشبكة. هذا يضمن أن المصححين يمكن أن يحافظوا على مقاومتهم للرقابة من خلال أن يصبحوا ممثلين لجميع المراجعين في الإجماع.

تحفز AleoBFT المُثبِّتَين على توسيع نطاق إمكانية إثبات نظام Aleo البيئي بمرور الوقت 

في AleoBFT ، يستقر المحققون ويولدون إثباتًا لقاعدة العملات المعدنية (PoSW) على الشبكة مقابل حصة من مكافأة coinbase في كل كتلة. مع هذا النموذج الجديد ، يقوم المصححون الآن بالحوسبة على المكونات الفرعية الأساسية لبراهين عدم المعرفة. وهي الضرب متعدد المستويات (MSM) وتحويل فورييه السريع (FFT) ، واكسب النسبة المئوية في الإثبات من كل مكافأة كتلة.

بالنسبة للمثقف ، يسمح AleoBFT بتشغيل أي قطعة من الأجهزة على أي نطاق لتوليد أدلة على انعدام المعرفة دون التنافس على تأثير "الفائز الفائز" في كل حالة. وبالتالي ، على عكس Testnet 2 ، تعني هذه العملية أنه حتى المدققين الذين يعملون على الأجهزة الافتراضية سيكونون قادرين على المشاركة وكسب مكافآت Coinbase. تتم مشاركة مكافآت coinbase هذه بين المحققين والمدققين لتحفيز المدققين ليصبحوا مدققين أثناء قيامهم بتجميع الرموز المميزة بمرور الوقت. من خلال تحفيز توزيع المكافآت على نطاق أوسع على المشاركين ، نعتقد أن هذه الآليات الجديدة ستعمل على توسيع نطاق شبكة Aleo لتحقيق إثبات مفهوم أكبر بكثير لمطوري ومستخدمي Aleo.

AleoBFT. الهيكل الأساسي

لا يزال يتم الإعلان عن تفاصيل جزء PoS من AleoBFT ، لكن الفريق قال إنه سيستند إلى DiemBFT. كتب Aleo أن مجموعات الإثبات لا تنشئ كتلًا في AleoBFT ، ولكن يمكن بدلاً من ذلك أن تكون:

• ينشئ المتظاهرون البراهين لكتلة معينة ويكسبون حصصًا متناسبة من مكافأة coinbase (مجموعة فرعية من إجمالي مكافأة الكتلة) بناءً على عدد البراهين على الهدف التي يقدمونها.
• يساهم المدققون في اعتمادات Aleo لاقتراح الكتل المكونة من هذه البراهين والحصول على حصة من إجمالي مكافأة الكتلة للتحقق من صحتها. 
• يتحقق المدقق مما إذا كانت البراهين الموجودة في الكتلة صحيحة (بغض النظر عن معرفة محتوى الإثبات) ويتلقى جزءًا من مكافأة الكتلة. 

علي يحيى ، الذي درس أيضًا علم التشفير تحت إشراف دان بونيه ، أوضح لي سبب اقتراب الجمع بين نظرية اللعبة (PoS) والتشفير (PoSW). يقول علي يحيى:

"بالموافقة على المعاملات التي يتم تضمينها ، لا يمكنك القيام بذلك بشكل مشفر ، لذلك تحتاج إلى استخدام نهج نظرية اللعبة. عندما يكون لديك معاملات تريد إجراؤها بالترتيب ، فإن كل شيء آخر يجب عليك القيام به بشكل مشفر ". بمعنى آخر ، استخدم التشفير كلما أمكن ذلك ، ونظرية الألعاب عندما لا تستطيع ذلك. 

يعتمد جزء الإثبات الخاص بـ AleoBFT على خوارزمية إجماع Aleo الأصلية ، إثبات العمل المختصر (PoSW). أهم شيء يجب فهمه حول PoSW ، خاصة وأن Ethereum والسلاسل الجديدة تتجنب استخدام Proof of Work لأسباب بيئية ، هو أن "العمل" في Proof of Succinct Work مفيد حقًا ، على عكس SHA. -256. 

في الواقع ، تستند PoSW إلى إثبات العمل الضروري ، وهي فكرة اقترحها Assimakis Katis (معلم أليو من البداية) وجو بونو (خريج آخر من Boneh) في عام 2020 حيث يعد إنشاء الدرجات جزءًا لا يتجزأ من PoW المستخدم في إجماع ناكاموتو ، خلق براهين فعالة باستخدام الطاقة التي لولا ذلك كانت ستضيع. إذا كنت بحاجة إلى إنفاق الطاقة على تأمين blockchain ، فقم بإنفاق هذه الطاقة على البراهين. سيفعل أليو ذلك بطريقتين:

• مباشر: يعد إنشاء zkSNARK مفيدًا للسماح لأي شخص بإثبات شيء ما دون الكشف عن أي معلومات عنه. 
• غير مباشر: من خلال تحفيز إنشاء zkSNARK ، يأمل Aleo في تسريع تطوير بنى أفضل للإثبات. 

في برنامج Zero Knowledge Podcast ، قال هوارد إن "الهدف هو تشجيع عمال المناجم على تطوير تسريع الأجهزة لـ SNARK لجعل هذه الأنواع من الحسابات سلعة ومنتشرة. تتمثل إحدى طرق القيام بذلك في التأكد من أن عمال المناجم لديهم دائمًا شيء لإثباته.

الخاتمة

أعلاه معلومات مفصلة حول خوارزمية إجماع AleoBFT التي تميز Aleo عن مشاريع blockchain الأخرى ذات الطبقة الأولى في نفس المقطع. لفهم المزيد حول إمكانات تطوير Aleo ، يرجى قراءة مقال "خريطة طريق Aleo المحدثة 2023" على موقع TraderH4 الإلكتروني. 

• رأي الخبراء حول كيفية تأثير العملة الرقمية المستقرة على العملات المشفرة الصينية؟
• لتغيير صناعة الفن ، تحتاج NFT إلى أمان أفضل