تقدم Aztec الخصوصية الشاملة لعقود Ethereum الذكية

قدمت Aztec مجموعتها التكنولوجية المكونة من أربع طبقات لتوفير خصوصية قابلة للبرمجة على Ethereum كشبكة لا مركزية من الطبقة الثانية.
تسمح لغة Noir، التي طورتها شركة Aztec، للمطورين بكتابة برامج المعرفة الصفرية دون خبرة في التشفير، مع تمكين الخصوصية افتراضيًا.
تحتوي الشبكة حاليًا على أكثر من 3500 جهاز تسلسل نشط على شبكة ألفا الخاصة بها، مع عدم السماح بأدوار التسلسل والإثبات بشكل كامل.
نشرت Aztec وصفًا تقنيًا مفصلاً لهندستها المعمارية، أطلق عليها اسم "The Aztec Stack"، موضحة كيف تتيح شبكة L2 الخاصة بها على Ethereum الخصوصية القابلة للبرمجة من طرف إلى طرف لمطوري العقود الذكية.
الطبقات الأربع للأزتيك
يتم تنظيم النظام في أربع طبقات. الأول هو Noir، وهي لغة برمجة خاصة بالمجال لدوائر المعرفة الصفرية (zk) ذات بناء جملة يشبه Rust. تقوم Noir بتجميع التعليمات البرمجية في دوائر zk تلقائيًا من خلال تمثيل وسيط يسمى ACIR، وهو متوافق مع العديد من الواجهات الخلفية المثبتة، بما في ذلك نظام Barretenberg الخاص به. الخصوصية هي السلوك الافتراضي: تظل جميع المتغيرات والوظائف خاصة ما لم يشير المطور صراحةً إلى خلاف ذلك باستخدام السمة `pub`.
ما وراء المعاملات المحمية
تتكون الطبقة الثانية من عقود ذكية مكتوبة باستخدام إطار عمل Aztec.nr، والذي يمتد إلى Noir لإدارة الدولة العامة والخاصة على السلسلة. يمكن لعقد واحد تنفيذ وظائف خاصة على جهاز المستخدم ووظائف عامة على الشبكة، والجمع بينهما بشفافية. تنفذ عقود الحساب تجريد الحساب، مما يتيح استرداد الحساب الاجتماعي، والمصادقة متعددة العوامل، وضوابط الوصول الدقيقة المفيدة للامتثال التنظيمي وإعداد التقارير الضريبية.
الطبقة الثالثة هي الشبكة نفسها. تعمل الوظائف الخاصة في بيئة تنفيذ خاصة (PXE) على جهاز المستخدم، مما يؤدي إلى إنشاء إثباتات zk التي لا تكشف عن أي مدخلات أو مخرجات أو هويات. تتم معالجة الوظائف العامة بواسطة أجهزة التسلسل، التي تتحقق من البراهين الخاصة، وتنفذ الحالة العامة، وتنشر اختلافات الحالة إلى L1 الخاص بـ Ethereum. تتلقى كل حقبة، والتي يتم تعريفها على أنها سلسلة من 32 كتلة L2، دليلاً نهائيًا تم إنشاؤه بواسطة شبكة إثبات لامركزية ويتم نشره على السلسلة.
تم نشر Noir بالفعل
الطبقة الرابعة هي الإيثيريوم، والتي تعمل كطبقة تسوية: يتم تثبيت البراهين المجمعة على L1، ورثة أمنها الاقتصادي. يستخدم نموذج الحالة الخاصة UTXOs، بينما تكرر الحالة العامة نموذج حساب Ethereum.
يتم استخدام Noir بالفعل خارج النظام البيئي الأزتيكي من خلال المشاريع المبنية على Base وScroll وStarknet، مما يدل على أهميتها كلغة قياسية لتطبيقات المعرفة الصفرية.