تعرف على تفاصيل كيفية عمل Aleo

Aleo عبارة عن blockchain من الطبقة الأولى يستخدم تقنية Zero-Knowledge Proofs للسماح للمطورين بإنشاء تطبيقات خاصة أعلى هذه الشبكة. يرى المطورون أن blockchain باستخدام Zero-Knowledge Proofs هي الموجة الثالثة. في البداية كان هناك Bitcoin ، ثم Ethereum والآن هناك Aleo.  

في المقالة السابقة ، كان لدينا نظرة عامة على مشروع Aleo ، في هذه المقالة ، سنتعلم معًا بالتفصيل كيف يعمل Aleo.

Aleo - منصة blockchain من الطبقة الأولى تعتمد على تقنية Zero-Knowledge Proofs

كما نعلم جميعًا ، فإن Aleo عبارة عن blockchain عام نموذجي للخصوصية باستخدام تقنية Zero-Knowledge Proofs - هذا نوع من بروتوكول التشفير الذي يسمح لطرف واحد (Provenor) بإثبات لطرف آخر (Verifier) ​​أنه يعرف قطعة معينة من المعلومات دون الكشف عن أي معلومات حول المحتوى الفعلي لتلك المعلومات. 

ZKP هي طريقة لإثبات أنك تعرف شيئًا ما أو تمتلك شيئًا ما أو فعلت شيئًا ما دون الكشف عن أي معلومات عنه. نظرًا لأن الناس تبتلعهم بقايا أزمة السيولة في بورصة FTX ، فإن Zero-Knowledge Proofs هي نقطة مضيئة. هذه أداة مفيدة ، مصممة خصيصًا للمساعدة في تجنب نوع الاحتيال الذي تسببه FTX. 

بالنسبة إلى سلاسل الكتل على وجه التحديد ، فإن ZKP له استخدامان مفيدان: قابلية التوسع والخصوصية.

مجتمعة ، تسمح ZKP لشبكات البلوكشين بالاقتراب من أداء الخدمات المركزية وتجاوز قدرات الأمان والخصوصية الخاصة بها ، مع الحفاظ على فوائد اللامركزية.

تعرف على تفاصيل كيفية عمل Aleo

تم تصميم Aleo في الأصل على أنه L2 على Ethereum ، لكن ZKP على Ethereum أكبر - يجب عليهم استخدام الحالة الكاملة للتطبيق ، ولا يدعم Ethereum العناصر الأولية الملائمة لـ SNARK (وظائف التجزئة والمنحنيات الناقصية. لذلك أعاد فريق Aleo كتابة الخطة وقررت بناء L1 الخاصة بها لتوفير ZKP أرخص. 

يتخذ Aleo النهج الأكثر جذرية لبناء blockchain على أساس ZKP من الألف إلى الياء. بدلاً من إنشاء سلسلة متوافقة مع EVM بحيث يمكن للمطورين إنشاء تطبيقات باستخدام لغة برمجة Solidity المألوفة ، قاموا بإنشاء آلة افتراضية خاصة بها ، snarkVM ، ولغة برمجة Leo. بدلاً من الاعتماد على آليات الإجماع الحالية مثل Proof of Work (PoW) أو Proof of Stake (PoS) ، فإنه يستخدم مزيجًا من الاثنين ، مع تعديل مفيد على PoW يسمى Proof of Succinct Work. نتيجة لذلك ، فإن ZKPs على Aleo أرخص بكثير من Ethereum.

Aleo عبارة عن منصة لا مركزية تستخدم blockchain الخاصة بها للتحقق من البراهين وتخزينها ، وهي معاملات Zexe فعالة. يستخدم بنية تشبه Bitcoin ، مع دفتر أستاذ وسجل ، أو نموذج UTXO (مخرجات معاملة غير مستخدمة) ، حيث يحدد الإدخال العنوان الذي جاء منه الأصل ويحدد الإخراج العنوان.فقط الذي يتم إرسال المحتوى إليه ، بقيمة تمثل مقدار الأصول المرسلة. خوارزمية إجماع Aleo هي نفسها خوارزمية إثبات العمل ، مع بعض الاختلافات الرئيسية. هذا إلى حد كبير حيث تنتهي المقارنات وحيث تظهر مجموعة من المحتوى الجديد الذي أنشأه أليو. 

كيف يعمل اليو

ستتمحور طريقة عمل Aleo حول ثلاثة أجزاء رئيسية:

  • بيئة الحوسبة و Blockchain: zkCloud
  • لغة البرمجة: Leo
  • خوارزمية الإجماع: AleoBFT

بيئة الكمبيوتر: zkCloud

تعمل blockchain النموذجية القابلة للبرمجة ، مثل Ethereum ، عن طريق تنفيذ البرامج على سلسلة من الأجهزة الافتراضية التي يجب تشغيلها بواسطة كل عقدة في الشبكة. إذا كنت قد سمعت عن "EVM" أو "متوافق مع EVM" ، فهذا هو الجهاز الظاهري لـ Ethereum. 

أحد أكبر عوامل التفاضل في Aleo هو أن zkCloud يقسمها إلى قسمين: snarkVM هي آلة افتراضية تدير التطبيقات خارج السلسلة وترسل المعاملات المحمية إلى Aleo blockchain ، snarkOS. في مصطلحات التشفير ، يفصل التنفيذ (snarkVM) عن الحالة (snarkOS).

هناك فرق مهم بين Zexe و Aleo وهو أن Zexe يسمح بخصوصية البيانات والخصوصية الوظيفية ، بينما يتمتع Aleo بخصوصية البيانات ولكن لا يتمتع بخصوصية وظيفية. 

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

تعرف على تفاصيل كيفية عمل Aleo

في مدونته ، شبّه أليكس العلاقة بين snarkVM و snarkOS بـ "كائنات الظل: عندما ترى ظلًا ، فأنت تعلم أن شيئًا ما خلق الظل ، ولكن من الصعب جدًا معرفة التفاصيل أو تحديد ماهيته." 

يمكن تشغيل البرامج التي تعمل خارج السلسلة في snarkVM لأي فترة زمنية. إذا كنت تريد ، يمكنك تشغيل برنامج يحسب من pi إلى تريليونات من الأرقام على مدار عدة أشهر طالما يتم إرسال معاملة محمية في النهاية إلى snarkOS. 

بالإضافة إلى ذلك ، توفر هذه البنية بعض المزايا الرئيسية الأخرى: 

  • الخصوصية : نظرًا لأن الإثبات فقط موجود على الإنترنت ، فلن يتمكن أي شخص بدون جهاز كمبيوتر كمي من عرض تفاصيل المعاملة. 
  • معدل نقل أعلى : تتحقق العقد من البراهين فقط بدلاً من البرامج قيد التشغيل. 
  • يتم الحفاظ على الأمان : يضمن ZKP بشكل مشفر أن البرنامج يعمل بشكل صحيح ، ويزيل افتراضات الموثوقية الحالية مع ضمانات الاقتصاد المشفر لـ L1s و L2 الأخرى. 

تسمح هذه البنية لـ Aleo بالاقتراب من كسر الثالوث المستحيل لقابلية التوسع - فهي تتيح لـ Aleo أن تكون لامركزية وقابلة للتطوير وآمنة - مع خصوصية إضافية للحصول على أفضل حل.

تعرف على تفاصيل كيفية عمل Aleo

لغة البرمجة: Leo

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

لبناء ZKP ، تحتاج إلى نظام إثبات (في حالة Aleo ، SNARK وبشكل أكثر تحديدًا MARLIN SNARK) ودائرة ZK. مثلما تحتوي الدوائر الموجودة في جهاز الكمبيوتر الخاص بك على بوابات NAND تأخذ 0 و 1 كمدخلات ومخرجات ، تستخدم دوائر ZK بوابات الجمع والضرب التي تأخذ الأرقام من "0 إلى p" كمدخلات ومخرجات. يعني إنشاء دائرة ZK وضع كل هذه البوابات معًا يدويًا.

قام Aleo بمسح المناظر الطبيعية للغات الخاصة بالمجال (DSLs) وعثر على ZoKrates. قام Aleo بتغيير بناء الجملة وطوره لإنشاء لغة البرمجة الخاصة به والتي تسمى Leo.

تم تصميم Leo ليبدو وكأنه يشبه JavaScript ، أكثر لغات البرمجة شيوعًا في العالم ، من Assembly. إذا اخترق ZKP نسيج الإنترنت ، فسيصبح من السهل جدًا على المطورين الذين ليسوا على دراية بـ ZK دمج ZKP.

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

يتلقى الرمز كما هو موضح أدناه:

تعرف على تفاصيل كيفية عمل Aleo

يأخذ Aleo الكود ويقدم دليلاً على أنك قمت بتشغيل الحساب الخاص بك بشكل صحيح ، ويمكن إرسال هذا الدليل من snarkVM إلى snarkOS للتحقق من خلال العقد. 

بالإضافة إلى هذه اللغة ، يطور Aleo أيضًا مجموعة من الأدوات الأخرى لتسهيل الأمر على المطورين ، بما في ذلك إطار عمل للاختبار ومدير الحزم. يختتمون كل شيء في Aleo Studio - أول بيئة تطوير متكاملة (بيئة مطورة متكاملة) لإثباتات المعرفة الصفرية ".  

تعرف على تفاصيل كيفية عمل Aleo

خوارزمية الإجماع: AleoBFT

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

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

تنتهي

أعلاه هو كيف يعمل Aleo - مشروع blockchain من الطبقة الأولى باستخدام ZKP. من بين سلاسل الكتل العامة ، يمكن قبول تعدين ZKP بواسطة أي L2 من سلسلة ZK ، لكن L1 مسموح به حاليًا بواسطة Aleo فقط. في المقابل ، لا يتطلب Aleo حسابًا متوازيًا ، لذلك يمكن ربط عمال مناجم GPU العاطلين بسلاسة. في المقالة التالية ، سنواصل التعمق أكثر في AleoBFT.



ما هي ألعاب الحصار؟ معلومات عن مشروع ألعاب الحصار

ما هي ألعاب الحصار؟ معلومات عن مشروع ألعاب الحصار

توفر Blockade Games منصة تتيح للمطورين إنشاء ألعاب blockchain. بالإضافة إلى ذلك ، تقوم Blockade Games أيضًا بإنشاء العديد من الألعاب المجانية المثيرة للاهتمام.

ما هو نادي UNQ؟ جميع المعلومات حول رمز UNQ Club و UNQ

ما هو نادي UNQ؟ جميع المعلومات حول رمز UNQ Club و UNQ

UNQ Club هو مشروع يوفر منصة blockchain تسمح للمستثمرين بجمع وإدارة أصول NFT الحالية.

ما هو BenQI (QI)؟ جميع المعلومات حول المشروع والرمز QI

ما هو BenQI (QI)؟ جميع المعلومات حول المشروع والرمز QI

BENQI هي واحدة من الأجزاء المهمة في النظام البيئي للانهيار الجليدي. انضم إلى TraderH4 لمعرفة ما هو BENQI (QI) بالإضافة إلى معلومات مفصلة حول رمز QI.

ما هو SafePal (SFP)؟ نظرة عامة على المشروع ورمز SFP

ما هو SafePal (SFP)؟ نظرة عامة على المشروع ورمز SFP

بالإضافة إلى محفظة تخزين العملات المشفرة ، فإن SafePal معروف أيضًا للعديد من المستثمرين برموز SFP وأحداث الإنزال الجوي بمكافآت جذابة.

ما هو اكيتا؟ نظرة عامة مفصلة على رموز Akita Inu و AKITA

ما هو اكيتا؟ نظرة عامة مفصلة على رموز Akita Inu و AKITA

خلقت الحمى من Akita Inu في سوق Crypto في الماضي ضجة كبيرة إلى جانب التطور السريع لـ "رمز بيت الكلب".

ما هو IoTeX (IOTX)؟ مقدمة مفصلة لمشروع IoTeX ورمز IOTX

ما هو IoTeX (IOTX)؟ مقدمة مفصلة لمشروع IoTeX ورمز IOTX

ما هو IoTeX؟ هذا عبارة عن blockchain تم إنشاؤه وتطويره بالتزامن مع إنترنت الأشياء (IoT). انضم إلى TraderH4 للتعرف على هذه المقالة.

ما هو OKB؟ أشياء يجب معرفتها عن OKB

ما هو OKB؟ أشياء يجب معرفتها عن OKB

ما هو OKB؟ OKB هي عملة صرف من OKX و OKX Chain blockchain. دعنا نتعرف على تبادلات OKX و OKB مع TraderH4 في هذه المقالة.

ما هو DROPP GG؟ حول مشروع DROPP GG ورمز DROPP المميز

ما هو DROPP GG؟ حول مشروع DROPP GG ورمز DROPP المميز

يجلب DROPP GG فكرة مبتكرة وجديدة لتوفير منصة NFT للنعناع استنادًا إلى مناطق جغرافية خارج العالم الحقيقي.

ما هو كرونا سواب؟ اكتشف تفاصيل عملة كرونا

ما هو كرونا سواب؟ اكتشف تفاصيل عملة كرونا

CronaSwap عبارة عن DEX مبني على سلسلة Cronos ، والتي لها نموذج مشابه لـ Uniswap.

ما هو هاي ستريت؟ مجموعة كاملة من Highstreet والرموز المميزة $ HIGH ، $ STREET

ما هو هاي ستريت؟ مجموعة كاملة من Highstreet والرموز المميزة $ HIGH ، $ STREET

Highstreet هي لعبة تجمع بين اتجاه Metaverse والتجارة و Play to Earn. بفضل الفكرة الفريدة ، جمعت Highstreet 5 ملايين دولار أمريكي.

Sign up and Earn ⋙
Sign up and Earn ⋙