Aleo عبارة عن blockchain من الطبقة الأولى يستخدم تقنية Zero-Knowledge Proofs للسماح للمطورين بإنشاء تطبيقات خاصة أعلى هذه الشبكة. يرى المطورون أن blockchain باستخدام Zero-Knowledge Proofs هي الموجة الثالثة. في البداية كان هناك Bitcoin ، ثم Ethereum والآن هناك Aleo.
في المقالة السابقة ، كان لدينا نظرة عامة على مشروع Aleo ، في هذه المقالة ، سنتعلم معًا بالتفصيل كيف يعمل Aleo.
كما نعلم جميعًا ، فإن Aleo عبارة عن blockchain عام نموذجي للخصوصية باستخدام تقنية Zero-Knowledge Proofs - هذا نوع من بروتوكول التشفير الذي يسمح لطرف واحد (Provenor) بإثبات لطرف آخر (Verifier) أنه يعرف قطعة معينة من المعلومات دون الكشف عن أي معلومات حول المحتوى الفعلي لتلك المعلومات.
ZKP هي طريقة لإثبات أنك تعرف شيئًا ما أو تمتلك شيئًا ما أو فعلت شيئًا ما دون الكشف عن أي معلومات عنه. نظرًا لأن الناس تبتلعهم بقايا أزمة السيولة في بورصة FTX ، فإن Zero-Knowledge Proofs هي نقطة مضيئة. هذه أداة مفيدة ، مصممة خصيصًا للمساعدة في تجنب نوع الاحتيال الذي تسببه FTX.
بالنسبة إلى سلاسل الكتل على وجه التحديد ، فإن ZKP له استخدامان مفيدان: قابلية التوسع والخصوصية.
مجتمعة ، تسمح ZKP لشبكات البلوكشين بالاقتراب من أداء الخدمات المركزية وتجاوز قدرات الأمان والخصوصية الخاصة بها ، مع الحفاظ على فوائد اللامركزية.
تم تصميم 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 النموذجية القابلة للبرمجة ، مثل Ethereum ، عن طريق تنفيذ البرامج على سلسلة من الأجهزة الافتراضية التي يجب تشغيلها بواسطة كل عقدة في الشبكة. إذا كنت قد سمعت عن "EVM" أو "متوافق مع EVM" ، فهذا هو الجهاز الظاهري لـ Ethereum.
أحد أكبر عوامل التفاضل في Aleo هو أن zkCloud يقسمها إلى قسمين: snarkVM هي آلة افتراضية تدير التطبيقات خارج السلسلة وترسل المعاملات المحمية إلى Aleo blockchain ، snarkOS. في مصطلحات التشفير ، يفصل التنفيذ (snarkVM) عن الحالة (snarkOS).
هناك فرق مهم بين Zexe و Aleo وهو أن Zexe يسمح بخصوصية البيانات والخصوصية الوظيفية ، بينما يتمتع Aleo بخصوصية البيانات ولكن لا يتمتع بخصوصية وظيفية.
في Aleo ، لا يمكنك رؤية مدخلات ومخرجات البرنامج أو المرسل والمستلم للائتمان ، ولكن يمكنك معرفة البرنامج الذي تم التفاعل معه. بينما ابتكر فريق Aleo طريقة لضمان الخصوصية الوظيفية منذ البداية ، شعر الفريق أن التركيز على خصوصية البيانات هو المقايضة الصحيحة لـ Aleo من أجل إزالة الخصوصية.الوظائف التي تعمل على تحسين الأداء مع إفادة المطورين بأدوات الحماية خصوصية.
في مدونته ، شبّه أليكس العلاقة بين snarkVM و snarkOS بـ "كائنات الظل: عندما ترى ظلًا ، فأنت تعلم أن شيئًا ما خلق الظل ، ولكن من الصعب جدًا معرفة التفاصيل أو تحديد ماهيته."
يمكن تشغيل البرامج التي تعمل خارج السلسلة في snarkVM لأي فترة زمنية. إذا كنت تريد ، يمكنك تشغيل برنامج يحسب من pi إلى تريليونات من الأرقام على مدار عدة أشهر طالما يتم إرسال معاملة محمية في النهاية إلى snarkOS.
بالإضافة إلى ذلك ، توفر هذه البنية بعض المزايا الرئيسية الأخرى:
تسمح هذه البنية لـ Aleo بالاقتراب من كسر الثالوث المستحيل لقابلية التوسع - فهي تتيح لـ Aleo أن تكون لامركزية وقابلة للتطوير وآمنة - مع خصوصية إضافية للحصول على أفضل حل.
هدف 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 الكود ويقدم دليلاً على أنك قمت بتشغيل الحساب الخاص بك بشكل صحيح ، ويمكن إرسال هذا الدليل من snarkVM إلى snarkOS للتحقق من خلال العقد.
بالإضافة إلى هذه اللغة ، يطور Aleo أيضًا مجموعة من الأدوات الأخرى لتسهيل الأمر على المطورين ، بما في ذلك إطار عمل للاختبار ومدير الحزم. يختتمون كل شيء في Aleo Studio - أول بيئة تطوير متكاملة (بيئة مطورة متكاملة) لإثباتات المعرفة الصفرية ".
يجمع AleoBFT بين Proof of Stake (PoS) ونوع من إثبات العمل (PoW) - يسمى على وجه التحديد إثبات العمل المختصر (والذي يعد في حد ذاته مجموعة فرعية من إثبات العمل الضروري).
سوف ندخل في تفاصيل هذا القسم في منشور آخر. تم تصميم AleoBFT بشكل أساسي للقيام بثلاثة أشياء: تأمين البروتوكول ، والتأكد من وجود ما يكفي من المدققين ذوي الخبرة لخدمة احتياجات التطبيق zkSNARK ، والمزيد من الحوافز ، وإثبات الكفاءة ورخيصة من.
أعلاه هو كيف يعمل Aleo - مشروع blockchain من الطبقة الأولى باستخدام ZKP. من بين سلاسل الكتل العامة ، يمكن قبول تعدين ZKP بواسطة أي L2 من سلسلة ZK ، لكن L1 مسموح به حاليًا بواسطة Aleo فقط. في المقابل ، لا يتطلب Aleo حسابًا متوازيًا ، لذلك يمكن ربط عمال مناجم GPU العاطلين بسلاسة. في المقالة التالية ، سنواصل التعمق أكثر في AleoBFT.
يحل مشروع Bixos النظام الأساسي اللامركزي لـ metaverse ، ويجمع بين العالمين الحقيقي والافتراضي من خلال تجارة الأراضي.
في هذه المقالة ، سوف نستكشف آلية العمل والميزات البارزة في Velodrome Finance ، وهو نموذج متقدم (3،3) ، جنبًا إلى جنب مع معلومات مفصلة حول VELO Token.
طورت Celestia نموذجًا جديدًا في تصميم blockchain ، مما يوفر بيانات وشبكة إجماع لتطبيقات Web 3.0. تعرف على الميزات والأسس التقنية والخطط المستقبلية للمشروع.
تعليمات حول كيفية لعب لعبة NFT CryptoBlades تكسب المال بالتفصيل. من المعروف أن CryptoBlades هي لعبة لا ينبغي تفويتها في اتجاه Play-to-win.
من بين بلوكشين الطبقة الأولى التي تستخدم تقنية ZK ، تعد Manta Network واحدة من أبرزها. دعنا نستكشف المزيد حول Manta Network مع TraderH4 من خلال المقالة التالية.
توفر Gamma Straregics حلاً لمشكلة السيولة المركزة في نطاق سعري معين. دعنا نتعرف على هذا المشروع مع TraderH4 في المقالة أدناه.
استكشف منصة TabTrader، المخصصة لتداول العملات المشفرة، و رمز TTT الخاص بها الذي يتيح للمستخدمين إجراء المعاملات بسلاسة وسهولة.
GT Protocol هو بروتوكول يسمح بإنشاء وإدارة تجمعات DeFi باستخدام العقود الذكية لجمع السيولة من المساهمين.
ما هو الهيليوم؟ تعرف على تفاصيل المشروع ومستقبل الهليوم لاتخاذ قرارات استثمار رمز HNT الأكثر فاعلية.
استكشف العملة المشفرة CHZ وتعرف على أنواع استخدامها ومميزاتها من خلال مقاله TraderH4. احصل على معلومات جديدة ومحدثة الآن.
