كيف يضمن شبكة أزتك خصوصية نشاط إيثيريوم الطبقة الثانية؟

تحدي الخصوصية في سلاسل الكتل العامة (Public Blockchains)

الوعد الأساسي لتقنية سلاسل الكتل (Blockchain) هو الشفافية وعدم القابلية للتغيير. يتم تسجيل كل معاملة، وكل تفاعل مع العقود الذكية، وكل عملية تحويل للأصول في سجل عام متاح لأي شخص لديه اتصال بالإنترنت. وبينما تعد هذه الشفافية حاسمة للأمان وقابلية التدقيق وانعدام الحاجة للثقة (Trustlessness) في نظام لا مركزي، إلا أنها تخلق بطبيعتها تحدياً كبيراً فيما يتعلق بالخصوصية. في سلاسل الكتل العامة مثل إيثيريوم، عادة ما تكون هويات المستخدمين بأسماء مستعارة (Pseudonymous)، مرتبطة بعناوين محافظ مكونة من أرقام وحروف بدلاً من الأسماء الحقيقية. ومع ذلك، غالباً ما تكون هذه الهوية المستعارة هشة؛ إذ يمكن لأدوات تحليل البيانات المتطورة ربط المعاملات وتحديد الأنماط، بل وحتى كشف هوية الأفراد من خلال ربط نشاط المحفظة بالمعلومات العامة أو الخدمات المركزية.

إن تداعيات هذه الشفافية المنتشرة متعددة الأوجه ومثيرة للقلق:

• الرقابة المالية: كل حركة مالية، من المدفوعات الصغيرة إلى الاستثمارات الكبيرة، مرئية للعلن. يمكن استغلال هذا المستوى من الانكشاف من قبل الجهات الخبيثة، أو المنافسين، أو حتى الرقابة على مستوى الدول.
• فقدان القابلية للاستبدال (Loss of Fungibility): إذا كان تاريخ الأصل الرقمي قابلاً للتتبع، فإنه يفتح الباب أمام "الأموال الملوثة". الأصول المتورطة في أنشطة غير مشروعة، حتى لو تم ذلك عن غير قصد، قد تُوضع في القوائم السوداء أو تصبح أقل مرغوبية، مما يقوض مبدأ أن جميع وحدات العملة يجب أن تكون قابلة للتبادل فيما بينها.
• استغلال البيانات: يمكن تجميع بيانات المعاملات العامة وتحليلها لاستنتاج عادات الإنفاق، واستراتيجيات الاستثمار، وحتى العلاقات الشخصية، مما يؤدي إلى استغلال محتمل للبيانات أو هجمات مستهدفة.
• إعاقة الاعتماد المؤسسي: تعمل الشركات والمؤسسات المالية التقليدية بموجب لوائح خصوصية صارمة (مثل GDPR و HIPAA) وتتطلب السرية لمعاملاتها وبيانات عملائها واستراتيجياتها الخاصة. تشكل الطبيعة العامة لمعظم سلاسل الكتل عائقاً كبيراً أمام اعتمادها الواسع للتمويل اللامركزي (DeFi) وويب 3 (Web3).
• التداول الاستباقي (Front-running) والتلاعب بالسوق: في التمويل اللامركزي، يمكن فحص مجمعات الذاكرة العامة (Mempools) - حيث تنتظر المعاملات المعلقة - بحثاً عن طلبات كبيرة أو صفقات مربحة، مما يؤدي إلى ظهور روبوتات التداول الاستباقي التي تستغل عدم تماثل المعلومات هذا.

لإطلاق الإمكانات الكاملة للتطبيقات اللامركزية وتمكين اقتصاد رقمي خاص حقاً، هناك حاجة إلى حلول لحماية المعلومات الحساسة مع الاحتفاظ بالنزاهة القابلة للتحقق لسلسلة الكتل. وهذا هو بالضبط الفراغ الذي تهدف شبكات الطبقة الثانية (Layer 2) التي تركز على الخصوصية، مثل شبكة أزتك (Aztec Network)، إلى سده.

تقديم شبكة أزتك (Aztec Network): طبقة ثانية لإيثيريوم تركز على الخصوصية أولاً

تظهر شبكة أزتك كشبكة بلوكشين رائدة من الطبقة الثانية (L2) صُممت من الألف إلى الياء مع اعتبار الخصوصية ميزتها القصوى. من خلال العمل فوق الأمان القوي لشبكة إيثيريوم الرئيسية، تسعى أزتك إلى التوفيق بين الشفافية المتأصلة في سلاسل الكتل العامة وضرورة سرية المستخدم. وتتمثل مهمتها الأساسية في تمكين المعاملات الخاصة والعقود الذكية، مما يضمن قدرة المستخدمين على المشاركة في الأنشطة على السلسلة (On-chain) دون الكشف علناً عن تفاصيل تحركاتهم المالية أو تفاعلاتهم مع التطبيقات.

في جوهرها، تعمل أزتك كـ "تجميعة معرفة صفرية" (ZK-Rollup). تقوم هذه البنية بشكل استراتيجي بنقل الجزء الأكبر من معالجة المعاملات والحسابات من شبكة إيثيريوم الرئيسية (الطبقة الأولى) إلى شبكة طبقة ثانية منفصلة وأكثر كفاءة. والأهم من ذلك، بدلاً من نشر كل معاملة فردية على إيثيريوم، تقوم أزتك بتجميع آلاف المعاملات الخاصة في حزمة واحدة. وبالنسبة لهذه الحزمة بأكملها، يتم إنشاء "برهان معرفة صفرية" مشفر. يشهد هذا البرهان مشفراً على صحة جميع المعاملات داخل الحزمة، دون الكشف عن أي من بياناتها الأساسية. يتم بعد ذلك تقديم هذا البرهان فقط، إلى جانب تحديث موجز لـ "جذر الحالة" (State Root) للطبقة الثانية، والتحقق منه على شبكة إيثيريوم الرئيسية.

يؤدي هذا المزيج المبتكر إلى عدة مزايا حاسمة:

• خصوصية معززة: تظل مبالغ المعاملات، وعناوين المرسلين والمستلمين، ومدخلات العقود الذكية مشفرة ومخفية عن الرؤية العامة.
• قابلية التوسع: من خلال تجميع العديد من المعاملات في معاملة واحدة، تقلل أزتك بشكل كبير من حمل البيانات وعبء الحساب على إيثيريوم، مما يساهم في قابلية التوسع الإجمالية للشبكة.
• وراثة أمان إيثيريوم: بما أن صحة انتقالات الحالة في أزتك ترتكز على براهين مشفرة يتم التحقق منها على إيثيريوم، فإنها ترث ضمانات الأمان القوية ومقاومة الرقابة الخاصة بالطبقة الأولى (L1).

توفر أزتك أساساً طبقة حوسبة خاصة لإيثيريوم، مما يسمح ببناء تطبيقات لامركزية (dApps) مع دمج السرية في نسيجها الأساسي، مما يفتح نموذجاً جديداً للويب 3 حيث تكون الخصوصية هي الوضع الافتراضي وليس مجرد فكرة لاحقة.

الآلية الأساسية: براهين المعرفة الصفرية (ZKPs)

الأساس التكنولوجي لقدرات الخصوصية في شبكة أزتك هو براهين المعرفة الصفرية (ZKPs). هذه الأوليات التشفيرية ثورية لأنها تسمح لطرف واحد ("المُثبِت") بإقناع طرف آخر ("المُتحقِق") بأن عبارة ما صحيحة، دون الكشف عن أي معلومات حول العبارة نفسها بخلاف صحتها.

ما هي براهين المعرفة الصفرية؟

على مستوى عالٍ، برهان المعرفة الصفرية هو طريقة يمكن من خلالها للمُثبِت إثبات معرفته بقطعة سرية من المعلومات ("الشاهد" أو Witness) للمُتحقِق، دون الكشف عن السر نفسه. تخيل أن لديك صديقاً مصاباً بعمى الألوان، وتريد أن تثبت له أن كرتين لهما لونان مختلفان دون إخباره ما هي تلك الألوان. يمكنك وضع الكرتين خلف ظهرك، وتبديلهما، وإظهارهما لصديقك مرة أخرى. إذا كانتا بلونين مختلفين حقاً، يمكنك دائماً معرفة أي واحدة تم تبديلها. يكتسب صديقك الثقة بأن الكرتين مختلفتان بالفعل، لكنه لا يتعلم أبداً ألوانهما الحقيقية.

في سياق البلوكشين، تتضمن براهين المعرفة الصفرية عمليات رياضية معقدة حيث:

• العبارة (Statement): هذا هو ما يجب إثبات صحته (مثل: "أنا أملك أموالاً كافية لإجراء هذا التحويل"، أو "هذا العقد الذكي نُفذ بشكل صحيح").
• الشاهد (Witness): هذه هي المعلومات السرية التي يعرفها المُثبِت، والتي تجعل العبارة صحيحة (مثل: الرصيد المحدد في حسابه، المدخلات الخاصة للعقد الذكي).
• البرهان (Proof): الدليل المشفر الذي أنشأه المُثبِت باستخدام الشاهد، والذي يتم إرساله بعد ذلك إلى المُتحقِق.

تشمل الخصائص الرئيسية التي تحدد نظام ZKP قوي ما يلي:

• الاكتمال (Completeness): إذا كانت العبارة صحيحة وكان المُثبِت صادقاً، فسيقتنع المُتحقِق دائماً.
• السلامة (Soundness): إذا كانت العبارة خاطئة، فلا يمكن للمُثبِت غير الصادق إقناع المُتحقِق بأنها صحيحة (هذا أمر مستحيل حسابياً).
• المعرفة الصفرية (Zero-Knowledge): لا يتعلم المُتحقِق شيئاً عن الشاهد سوى حقيقة أن العبارة صحيحة.

كيف تمكن براهين المعرفة الصفرية الخصوصية في أزتك

في شبكة أزتك، تعد براهين المعرفة الصفرية المحرك الذي يحول نشاط البلوكشين العام إلى تفاعلات خاصة. إليك كيفية عملها من الناحية العملية:

1. إنشاء المعاملات خارج السلسلة (Off-chain): عندما يبدأ مستخدم معاملة خاصة على أزتك (مثل إرسال توكنات، أو التفاعل مع بروتوكول DeFi خاص)، يقوم العميل المحلي (Client) بتشفير جميع التفاصيل الحساسة مثل المرسل والمستلم والمبلغ وتفاعلات العقد المحددة.
2. إنشاء البرهان المحلي: يقوم عميل المستخدم، باستخدام مفاتيحه الخاصة، بإنشاء برهان معرفة صفرية صغير على جانب العميل. يتحقق هذا البرهان من أن:
   • المستخدم يمتلك الأموال التي ينوي إنفاقها.
   • المعاملة صالحة وفقاً لقواعد البروتوكول (مثلاً: لا يوجد إنفاق مزدوج، المبالغ إيجابية).
   • الحالة المشفرة الجديدة (مثل الأرصدة الجديدة) متوافقة مع المعاملة.
   • الأهم من ذلك، أن هذا البرهان يؤكد هذه الحقائق دون الكشف عن المبالغ الفعلية أو المشاركين.
3. التجميع بواسطة مزودي التجميع (Rollup Providers): يتم بعد ذلك إرسال هذه البراهين الفردية التي أنشأها العميل ومعاملاتها المشفرة المقابلة إلى مشاركي الشبكة الذين يطلق عليهم "مزودو التجميع" (أو المنظمون/المثبتون). يقوم مزودو التجميع بجمع العديد من هذه المعاملات الخاصة.
4. إنشاء برهان الحزمة: يقوم مزود التجميع بتجميع هذه المعاملات والبراهين الفردية، ثم ينشئ برهان معرفة صفرية واحداً أكبر للحزمة بأكملها. يشهد برهان الحزمة هذا على صحة جميع المعاملات داخل تلك الحزمة.
5. التحقق على السلسلة: يتم تقديم هذا البرهان المدمج الوحيد للحزمة وتحديث صغير للحالة فقط إلى عقد أزتك على الطبقة الأولى (L1) في إيثيريوم. ثم يتحقق عقد إيثيريوم من هذا البرهان. إذا كان البرهان صالحاً، يقوم عقد L1 بتحديث جذر حالة أزتك - وهو التزام مشفر بحالة الطبقة الثانية بأكملها.

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

تنفيذ أزتك الخاص لبراهين المعرفة الصفرية: PLONK و Noir

لا تستخدم شبكة أزتك أي نظام ZKP فحسب؛ بل اتخذت خيارات معمارية محددة للتحسين من أجل الكفاءة والأمان وتجربة المطورين. وتشمل هذه الاستفادة من نظام الإثبات PLONK وتطوير لغة البرمجة Noir.

PLONK: نظام الإثبات

تستخدم شبكة أزتك بشكل ملحوظ نظام PLONK كنظام أساسي لبراهين المعرفة الصفرية. يعد PLONK نظاماً حديثاً وعالي الكفاءة يقدم مزايا كبيرة مقارنة بالبناءات السابقة.

الميزات والفوائد الرئيسية لـ PLONK في سياق أزتك:

• الإعداد الشامل (Universal Setup): على عكس بعض أنظمة ZKP الأخرى (مثل Groth16) التي تتطلب حفل إعداد موثوق جديد لكل دارة (Circuit) مفردة، يستخدم PLONK إعداداً موثوقاً "شاملاً وقابلاً للتحديث". وهذا يعني أنه بعد الإعداد الأولي، يمكن استخدام نفس مفتاح الإثبات لأي دارة، طالما أن حجم الدارة (عدد البوابات) لا يتجاوز حداً أقصى محدداً مسبقاً. وهذا يبسط بشكل كبير تطوير ونشر عقود ذكية خاصة جديدة، حيث لا يحتاج المطورون إلى تنظيم أو المشاركة في احتفالات جديدة.
• تحسين وقت الإثبات: يقدم PLONK عموماً أوقات إثبات أسرع مقارنة ببعض الأنظمة السابقة، وهو أمر بالغ الأهمية لتقليل العبء الحسابي لإنشاء براهين لحزم كبيرة من المعاملات. وتترجم سرعة إنشاء البراهين إلى نهائية أسرع للمعاملات وتجربة مستخدم أكثر استجابة.
• أحجام براهين أصغر: براهين PLONK مدمجة نسبياً، مما يعني الحاجة إلى نشر بيانات أقل على شبكة إيثيريوم الرئيسية. يساهم هذا في خفض تكاليف المعاملات على الطبقة الأولى وزيادة قابلية التوسع.
• صديق للتكرار (Recursion-Friendly): على الرغم من عدم استخدامه مباشرة لكل معاملة فردية، إلا أن PLONK مناسب تماماً لبراهين المعرفة الصفرية التكرارية. وهذا يعني أن برهان ZKP يمكنه إثبات صحة برهان ZKP آخر، مما يتيح تجميعاً عالي الكفاءة للبراهين - وهي تقنية بالغة الأهمية لتجميع آلاف المعاملات في برهان واحد على الطبقة الأولى. تعتمد بنية أزتك على هذا التجميع التكراري للبراهين.

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

Noir: اللغة الشاملة الممكنة لـ ZK

يعد بناء دارات براهين المعرفة الصفرية أمراً معقداً للغاية، ويتطلب خبرة تشفيرية عميقة وفهماً دقيقاً للقيود الرياضية. ولمعالجة هذا العائق الكبير أمام الدخول، طورت شبكة أزتك وأطلقت لغة Noir مفتوحة المصدر، وهي لغة مخصصة لمجال معين (DSL) مصممة خصيصاً لكتابة البرامج المدعومة بـ ZK.

لا يمكن المبالغة في أهمية Noir لأزتك والنظام البيئي الأوسع لـ ZK:

• تجريد صديق للمطورين: تجرد Noir الكثير من التعقيد التشفيري الكامن في براهين المعرفة الصفرية. يمكن للمطورين كتابة برامج بصيغة مألوفة وبديهية، تشبه لغة Rust أو غيرها من اللغات الحديثة، دون الحاجة إلى تعريف الدارات الحسابية يدوياً أو فهم كل تفصيل معقد لنظام الإثبات.
• مُجمع إلى دارات ZK: تعمل Noir كلفظة عالية المستوى تُجمع إلى دارات حسابية - وهو التمثيل منخفض المستوى الذي تفهمه أنظمة ZKP مثل PLONK. وهذا يعني أن المطورين يمكنهم تحديد المنطق لتطبيقاتهم اللامركزية الخاصة، وتتولى Noir الترجمة إلى شكل يمكن إثباته بالمعرفة الصفرية.
• لغة ZK شاملة: على الرغم من تطويرها في البداية لأزتك، فقد صُممت Noir لتكون شاملة، مما يعني أنه يمكن استخدامها لإنشاء دارات لمختلف الواجهات الخلفية لـ ZKP بخلاف PLONK. وهذا يضع Noir كأداة أساسية لتطوير ZKP عبر الصناعة.
• تمكين العقود الذكية الخاصة: باستخدام Noir، يمكن للمطورين تحديد منطق العقود الذكية الخاصة على أزتك. يمكن لهذه "الوظائف الخاصة" إجراء حسابات على البيانات المشفرة، وإنشاء براهين على التنفيذ الصحيح، وتحديث الحالة الخاصة، كل ذلك دون الكشف عن المدخلات الحساسة أو الحسابات الوسيطة.
• الخصوصية المتكاملة: تتيح Noir للمطورين تحديد الأجزاء التي يجب أن تكون خاصة في برنامجهم (المدخلات، المتغيرات الوسيطة) والمخرجات التي يمكن أن تكون عامة، مما يوفر تحكماً دقيقاً في السرية.

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

نظرة عامة على بنية شبكة أزتك

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

الحالة الخاصة والحالة العامة

مفهوم أساسي في أزتك هو التمييز الواضح بين الحالة الخاصة (Private State) و الحالة العامة (Public State).

• الحالة الخاصة: تشير إلى جميع المعلومات السرية في أزتك، مثل أرصدة المستخدمين، ومبالغ المعاملات، ومتغيرات العقود الذكية الداخلية. يتم تشفير هذه البيانات باستخدام مفاتيح المستخدمين وتخزينها بطريقة لا يمكن قراءتها إلا من قبل المالك أو الأطراف المصرح لها. يتم ضمان نزاهة واتساق هذه الحالة الخاصة من خلال براهين المعرفة الصفرية، التي تشهد على الانتقالات الصالحة دون الكشف عن البيانات الأساسية.
• الحالة العامة: بينما تعطي أزتك الأولوية للخصوصية، فإنها تحتاج أيضاً إلى واجهة عامة، خاصة للتفاعل مع الطبقة الأولى في إيثيريوم. تتكون الحالة العامة بشكل أساسي من جذر ميركل (Merkle Root) لشجرة الحالة الخاصة، ومتغيرات العقود الذكية العامة (مثل إجمالي معروض التوكنات، ومعايير البروتوكول)، ومدخلات/مخرجات المعاملات العامة إذا لزم الأمر لحالات استخدام محددة (مثل التفاعل مع L1). كما يحفظ عقد L1 سجلاً عاماً للإيداعات والسحوبات، بالإضافة إلى أحدث جذر حالة صالح للطبقة الثانية من أزتك.

تدير أزتك بشكل أساسي "خزنة بيانات" خاصة على الطبقة الثانية، بينما تعمل الطبقة الأولى من إيثيريوم كـ "إيصال" غير قابل للتغيير وقابل للتحقق علناً و "مرساة أمان" لحالة تلك الخزنة.

عميل أزتك (واجهة المستخدم)

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

• إدارة المفاتيح: يدير العميل بشكل آمن المفاتيح التشفيرية للمستخدم، والتي تعد ضرورية لتشفير وفك تشفير البيانات الخاصة، ولتوقيع المعاملات.
• الملاحظات المشفرة (Encrypted Notes): يتم تمثيل الأموال والأصول الخاصة الأخرى في أزتك كـ "ملاحظات". وهي هياكل بيانات مشفرة تلتزم بمبلغ ونوع أصل ومالك معين. والعميل مسؤول عن إنشاء وإدارة هذه الملاحظات.
• إنشاء ZKP محلياً: عندما يرغب مستخدم في إجراء معاملة خاصة (مثل إرسال توكنات)، يقوم العميل بإنشاء برهان معرفة صفرية صغير محلياً. يشهد هذا البرهان على صحة إجراء المستخدم (مثل ملكية الأموال، كفاية الرصيد) دون الكشف عن التفاصيل الحساسة.
• بناء المعاملة: يقوم العميل ببناء بيانات المعاملة المشفرة ودمجها مع برهان ZKP المنشأ محلياً، وتجهيزها للإرسال إلى الشبكة.

مزودو التجميع (المنظمون/المثبتون)

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

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

جسر أزتك / عقد الطبقة الأولى (L1)

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

• التحقق من البراهين: وتتمثل وظيفته الأساسية في التحقق من براهين المعرفة الصفرية المقدمة من مزودي التجميع. وهذا هو الفحص الأمني النهائي؛ إذا كان البرهان غير صالح، يرفضه عقد L1، مما يمنع تحديثات الحالة الاحتيالية على أزتك.
• إدارة جذر الحالة: عند التحقق الناجح من البرهان، يقوم عقد L1 بتحديث جذر الحالة الرسمي للطبقة الثانية من أزتك. جذر الحالة هذا هو التزام مشفر بكامل الحالة الخاصة للشبكة، مما يضمن أن نزاهة الطبقة الثانية قابلة للتحقق علناً على إيثيريوم.
• بوابة الإيداع والسحب: يعمل عقد L1 كجسر للأصول التي تتحرك بين إيثيريوم وأزتك. يقوم المستخدمون بإيداع ETH أو توكنات ERC-20 في هذا العقد لصك توكنات خاصة مكافئة على أزتك. وعلى العكس من ذلك، يتم تحرير الأموال من هذا العقد عندما يبدأ المستخدمون عمليات السحب من أزتك للعودة إلى إيثيريوم.
• توفر البيانات (Data Availability): بينما تكون تفاصيل المعاملات خاصة، يضمن عقد L1 توفر البيانات. على الرغم من أنها ليست بيانات المعاملات الخام، إلا أن المخرجات المشفرة (مثل الملاحظات المشفرة الجديدة) قد يتم نشرها كبيانات مكالمة (calldata) على إيثيريوم، مما يضمن أن المستخدمين يمكنهم دائماً إعادة بناء حالتهم والتفاعل مع الشبكة، حتى لو أصبح مزودو التجميع غير متاحين. وهذا جانب حاسم في أمان تجميعات المعرفة الصفرية (ZK-Rollups).

تشكل هذه المكونات المعمارية معاً حلاً قوياً للطبقة الثانية يحافظ على الخصوصية ويستفيد من أمان إيثيريوم مع تمكين تطبيقات لامركزية سرية وقابلة للتوسع.

تدفق المعاملات الخاصة على أزتك

يوفر فهم كيفية سير معاملة نموذجية على أزتك صورة واضحة لآليات الحفاظ على الخصوصية أثناء العمل. يمكن تقسيم العملية إلى ثلاث مراحل رئيسية: إيداع الأموال من إيثيريوم (L1) إلى أزتك (L2)، وإجراء تحويلات خاصة داخل أزتك، وسحب الأموال مرة أخرى إلى إيثيريوم.

إيداع الأموال (من L1 إلى L2)

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

1. بدء الإيداع على L1: يرسل المستخدم ETH أو توكن ERC-20 إلى عقد أزتك على الطبقة الأولى في شبكة إيثيريوم الرئيسية. هذه معاملة إيثيريوم عامة قياسية، مما يعني أن المرسل والمستقبل (عقد أزتك على L1) والمبلغ مرئيون للجميع.
2. عقد L1 يعالج الإيداع: يتلقى عقد أزتك على L1 الإيداع ويسجله. ثم يقوم بإبلاغ شبكة أزتك على L2 بهذا الحدث.
3. صك ملاحظة مشفرة على L2: في الطبقة الثانية من أزتك، يتم "صك" مبلغ مكافئ من الأموال الخاصة للمستخدم. يتم تمثيل هذه الأموال كـ "ملاحظة" مشفرة في عميل أزتك الخاص بالمستخدم. تحتوي هذه الملاحظة على نوع الأصل، والمبلغ، والمفتاح العام للمالك، وكلها مشفرة بحيث لا يمكن لأحد سوى المالك الشرعي فك تشفيرها وإنفاقها. من هذه النقطة فصاعداً، توجد الأموال بشكل خاص داخل أزتك.

إجراء تحويل خاص (من L2 إلى L2)

بمجرد وجود الأموال في الطبقة الثانية من أزتك، يمكن للمستخدمين التعامل بخصوصية مع بعضهم البعض. وهنا تبرز ميزات الخصوصية الأساسية لأزتك.

1. المستخدم يبدأ معاملة خاصة: يقرر المرسل تحويل مبلغ معين من التوكنات إلى مستلم. يستخدم عميل أزتك الخاص به لبدء هذه المعاملة، وتحديد المفتاح العام للمستلم والمبلغ. تظل كل هذه المعلومات مشفرة محلياً.
2. استهلاك وإنشاء الملاحظات محلياً: يحدد عميل المرسل داخلياً الملاحظات المشفرة الموجودة التي تغطي مبلغ التحويل. يتم "إنفاق" هذه الملاحظات أو "استهلاكها". ثم يتم إنشاء ملاحظات مشفرة جديدة: واحدة للمستلم بمبلغ التحويل، وأخرى محتملة كـ "فكة" للمرسل إذا كانت الملاحظات المستهلكة تتجاوز مبلغ التحويل.
3. إنشاء ZKP على جانب العميل: ينشئ عميل المرسل برهان معرفة صفرية. يشهد هذا البرهان تشفيراً على عدة حقائق دون الكشف عن أي معلومات حساسة:
   • المرسل يمتلك شرعاً الملاحظات التي يحاول إنفاقها.
   • مجموع الملاحظات المستهلكة يساوي مجموع الملاحظات الجديدة (مبلغ التحويل + مبلغ الفكة).
   • المعاملة تلتزم بجميع قواعد بروتوكول أزتك (مثل لا يوجد إنفاق مزدوج، المبالغ إيجابية).
   • يؤكد هذا البرهان صحة انتقال الحالة الداخلي دون الكشف عن من يرسل ماذا ولمن.
4. تقديم المعاملة لمزود التجميع: يتم تقديم بيانات المعاملة المشفرة (بما في ذلك الملاحظات المشفرة الجديدة) وبرهان ZKP المنشأ من قبل العميل إلى مزود تجميع أزتك (المنظم).
5. تجميع مزود التجميع وبرهان الحزمة: يجمع مزود التجميع العديد من هذه المعاملات الخاصة من مختلف المستخدمين، ويحزمها معاً، ثم ينشئ برهان معرفة صفرية شاملاً واحداً للحزمة بأكملها. يجمع برهان الحزمة هذا براهين العملاء الفردية تكرارياً ويؤكد صحة جميع انتقالات الحالة داخل الحزمة.
6. التقديم لـ L1 وتحديث الحالة: يقدم مزود التجميع هذا البرهان الوحيد للحزمة وجذر الحالة الجديد المقابل إلى عقد أزتك على L1 في إيثيريوم.
7. التحقق على L1 والنهائية: يتحقق عقد أزتك على L1 من برهان الحزمة. إذا كان صالحاً، يقوم عقد L1 بتحديث جذر الحالة الرسمي للطبقة الثانية من أزتك. عند هذه النقطة، تعتبر المعاملة نهائية وغير قابلة للتغيير، وترث أمان إيثيريوم.
8. تحديثات عميل المستلم: يمكن لعميل أزتك الخاص بالمستلم، الذي يراقب تحديثات جذر حالة L1 والبيانات المشفرة ذات الصلة، فك تشفير ملاحظته المستلمة حديثاً باستخدام مفتاحه الخاص، مما يجعل الأموال مرئية في رصيده الخاص.

سحب الأموال (من L2 إلى L1)

يمكن للمستخدمين في أي وقت سحب أموالهم الخاصة من الطبقة الثانية في أزتك والعودة إلى عنوان إيثيريوم العام الخاص بهم على الطبقة الأولى.

1. بدء السحب: يطلب المستخدم عملية سحب باستخدام عميل أزتك الخاص به، مع تحديد المبلغ وعنوان إيثيريوم الخاص به على L1.
2. إنشاء ZKP لعملية السحب: يحدد العميل الملاحظات الخاصة اللازمة ويقوم بـ "حرقها" (استهلاكها) على L2. ثم ينشئ برهان معرفة صفرية يثبت ما يلي:
   • المستخدم يمتلك شرعاً الملاحظات التي يتم حرقها.
   • المبلغ المسحوب يطابق الملاحظات المحروقة.
   • عملية السحب صالحة وفقاً لقواعد أزتك.
   • الأهم من ذلك، أن هذا البرهان لا يكشف عن الملاحظات المحددة أو تاريخها.
3. التقديم لمزود التجميع: يتم إرسال طلب السحب هذا وبرهان ZKP المرتبط به إلى مزود التجميع.
4. مزود التجميع يعالج السحب: يدرج مزود التجميع عملية السحب هذه في حزمة من المعاملات وينشئ برهان حزمة جديد يعكس حرق الملاحظات الخاصة على L2.
5. التحقق على L1 وتحرير الأموال: يتم تقديم برهان الحزمة وجذر الحالة المحدث إلى عقد أزتك على L1. بعد التحقق الناجح، يحرر عقد L1 المبلغ المقابل من ETH أو توكنات ERC-20 مباشرة إلى عنوان إيثيريوم L1 المحدد من قبل المستخدم.

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

فوائد وتداعيات بنية الخصوصية في أزتك

إن نهج شبكة أزتك الذي يضع الخصوصية أولاً، والمدعوم ببراهين المعرفة الصفرية، يجلب معه مجموعة كبيرة من الفوائد والتداعيات التي تتجاوز مجرد سرية المعاملات، مما قد يعيد تشكيل مشهد التمويل اللامركزي وويب 3.

• تعزيز القابلية للاستبدال (Fungibility): في سلسلة كتل شفافة، يكون تاريخ كل توكن مرئياً. يمكن أن يؤدي هذا إلى "أموال ملوثة"، حيث يتم وضع التوكنات المتورطة في أنشطة غير مشروعة في القائمة السوداء، مما يؤثر على قابلية الاستبدال (التكافؤ) لجميع التوكنات. تضمن خصوصية أزتك أن جميع التوكنات، بمجرد التعامل بها بخصوصية، تصبح غير قابلة للتمييز عن بعضها البعض. هذا النموذج "الخصوصية افتراضياً" يعيد القابلية الحقيقية للاستبدال للأصول الرقمية، مما يجعل جميع وحدات العملة متساوية بغض النظر عن ماضيها.
• السرية المالية: هذه هي الفائدة الأكثر مباشرة. أنشطة المستخدمين المالية - أرصدتهم، والأطراف المقابلة لمعاملاتهم، والمبالغ - محمية من الرؤية العامة. يحمي هذا الأفراد والمؤسسات من الرقابة المالية، والهجمات الافتراسية، والتدقيق غير المرغوب فيه، بما يتماشى مع التوقعات التقليدية للخصوصية المالية.
• الاعتماد المؤسسي: تعمل المؤسسات المالية التقليدية والشركات والكيانات الخاضعة للتنظيم بموجب متطلبات خصوصية وامتثال صارمة. الطبيعة العامة لسلاسل الكتل الحالية هي رادع كبير. يمكن لقدرة أزتك على تسهيل المعاملات الخاصة وتفاعلات العقود الذكية أن تفتح شريحة واسعة جديدة من رأس المال المؤسسي والمشاركة في DeFi، لأنها تتيح لهم الحفاظ على سرية استراتيجياتهم الخاصة وبيانات عملائهم وعملياتهم الداخلية.
• تحسين تجربة المستخدم: على الرغم من أنه قد يبدو غير بديهي، إلا أن الخصوصية يمكن أن تبسط تجربة المستخدم. فبشكل افتراضي، لا يحتاج المستخدمون إلى القلق بشأن الكشف عن معلومات حساسة. يمكن أن يؤدي هذا إلى تفاعلات أكثر بديهية وأقل إثارة للقلق مع التطبيقات اللامركزية، حيث يتم تجريد تعقيد إدارة الانكشاف العام والخاص إلى حد كبير.
• دفعة لقابلية التوسع: بصفتها ZK-Rollup، توفر أزتك بطبيعتها فوائد كبيرة لقابلية التوسع. من خلال تجميع آلاف المعاملات في حزمة واحدة وإنشاء برهان واحد للتحقق على إيثيريوم، تقلل أزتك بشكل كبير من الحمل الحسابي وبصمة البيانات على الطبقة الأولى، مما يسمح بإنتاجية معاملات أعلى بكثير مما يمكن أن تحققه إيثيريوم بمفردها.
• المقاومة ضد الرقابة (جزئياً): بينما لا تزال نهائية المعاملات تعتمد على شبكة إيثيريوم الرئيسية، فإن الخصوصية التي توفرها أزتك تجعل من الصعب على الأطراف الخارجية تحديد واستهداف معاملات أو مستخدمين محددين للرقابة. تعني الطبيعة الخاصة للمعاملات أن محاولة منع تحويلات معينة تصبح صعبة دون معرفة تفاصيلها.
• تمكين التطبيقات اللامركزية (DApps) الخاصة: تمكن أزتك فئة جديدة تماماً من التطبيقات اللامركزية التي تتطلب السرية كميزة أساسية:
  • التمويل اللامركزي السري (Confidential DeFi): أسواق الإقراض والاقتراض والتداول والمشتقات الخاصة حيث تظل المراكز والطلبات والاستراتيجيات سرية حتى التسوية.
  • التصويت الخاص: حوكمة مجهولة على السلسلة حيث تكون الأصوات الفردية سرية ولكن الحصيلة الإجمالية قابلة للتحقق.
  • المزادات ذات العروض المختومة: مزادات تظل فيها العروض مخفية حتى إغلاق المزاد، مما يمنع التداول الاستباقي والتلاعب الاستراتيجي.
  • أنظمة الهوية والسمعة: حلول هوية تحافظ على الخصوصية حيث يمكن للمستخدمين إثبات سمات عن أنفسهم دون الكشف عن البيانات الأساسية.
  • حلول سلاسل التوريد والمؤسسات: تتبع سري للسلع، والتسويات المالية بين الشركات، ومشاركة البيانات الآمنة دون الكشف عن معلومات تجارية حساسة.

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

التحديات والنظرة المستقبلية

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

• تعقيد تطوير ZKP: على الرغم من ظهور لغات صديقة للمطورين مثل Noir، إلا أن المبادئ التشفيرية الكامنة وراء براهين المعرفة الصفرية تظل معقدة. إن جذب وتعليم قاعدة عريضة من المطورين لبناء تطبيقات لامركزية خاصة بشكل فعال هو جهد مستمر. تقلل Noir العائق بشكل كبير، لكن إتقان نماذج البرمجة الخاصة بـ ZKP لا يزال يتطلب منحنى تعلم.
• الأداء والتكلفة: إنشاء براهين المعرفة الصفرية مكثف حسابياً. وبينما يحسن PLONK من الكفاءة، إلا أن إنشاء براهين على نطاق واسع لا يزال يتطلب موارد حوسبة كبيرة. يمكن أن يترجم هذا إلى تكاليف تشغيل أعلى لمزودي التجميع، والتي قد يتم تمريرها في النهاية إلى المستخدمين من خلال رسوم المعاملات. تهدف الأبحاث المستمرة في خوارزميات ZKP إلى تحسين أوقات الإثبات وتقليل التكاليف.
• قابلية التدقيق والامتثال: يمثل موازنة الخصوصية المطلقة مع الحاجة إلى قابلية التدقيق والامتثال (على سبيل المثال، لمكافحة غسل الأموال أو التقارير المالية) تحدياً دقيقاً. قد يتم استكشاف حلول مثل "الخصوصية القابلة للبرمجة" أو آليات الإفصاح الانتقائي، مما يسمح للمستخدمين بالكشف اختيارياً عن تفاصيل معاملات محددة لمدققين موثوقين دون الكشف عن كل شيء للعلن.
• اعتماد المستخدم والتعليم: يمكن أن يكون مفهوم المعاملات الخاصة وبراهين المعرفة الصفرية مجرداً للعديد من المستخدمين. يعد تعليم مجتمع الكريبتو الأوسع حول الفوائد ونموذج الأمان ووظائف شبكات مثل أزتك أمراً بالغ الأهمية لاعتمادها على نطاق واسع. وسيكون تبسيط واجهات وتجارب المستخدم هو المفتاح.
• نمو النظام البيئي: مثل أي طبقة ثانية، تحتاج أزتك إلى رعاية نظام بيئي حيوي من التطبيقات اللامركزية والسيولة والمستخدمين النشطين لتحقيق إمكاناتها الكاملة. ويعد جذب المطورين وتوفير الأدوات والدعم القويين أمراً بالغ الأهمية.
• الترقيات والابتكار في المستقبل: يتطور مجال تشفير المعرفة الصفرية بسرعة. ستحتاج أزتك إلى دمج التطورات الجديدة باستمرار، مثل أنظمة إثبات أكثر كفاءة (مثل UltraPLONK و Nova)، وتراكيب البراهين التكرارية، وتسريع الأجهزة لإنشاء البراهين، للحفاظ على ميزتها التنافسية وتعزيز قدراتها.
• لامركزية المثبتين/المنظمين: بينما تهدف أزتك إلى اللامركزية، غالباً ما تتضمن المراحل الأولية لشبكات الطبقة الثانية مجموعة مركزية من المشغلين (المنظمين/المثبتين). والتحرك نحو شبكة لامركزية بالكامل من مزودي التجميع هو هدف طويل المدى حاسم لتعزيز مقاومة الرقابة وقوة الشبكة.

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