تمكن إثباتات المعرفة الصفرية التحقق على السلسلة دون كشف البيانات الأولية، لكن تصميم الدوائر والتكامل التشفيري شكّلا تاريخيًا عقبات كبيرة أمام تطوير التطبيقات اللامركزية. تعمل Universal Circuits على تجميع دوائر ZK الشائعة في وحدات قابلة لإعادة الاستخدام، مما يتيح لمطوري EVM تضمين ميزات الخصوصية والامتثال عبر استدعاءات العقود دون إعادة هيكلة بنى Solidity الحالية.
في نموذج السلسلة المزدوجة لـ Manta Network ، تتولى Pacific تنفيذ تطبيقات ZK، وتُعد Universal Circuits أداة التطوير الأساسية في جانب Pacific - وهي متميزة عن طبقة الهوية في Atlantic. إلى جانب Celestia DA وبيئة تنفيذ zkEVM، تُشكّل مكدس تطبيقات قائم على "تحجيم منخفض التكلفة + ZK قابل للبرمجة".
ما هي Universal Circuits؟
Universal Circuits هي مكتبة تطوير من نوع ZK كخدمة منشورة على Manta Pacific. تقوم بتجميع دوائر المعرفة الصفرية الشائعة في وحدات قابلة لإعادة الاستخدام يمكن للتطبيقات اللامركزية استدعاؤها من خلال واجهات قياسية. في نظام Manta Network البيئي، تعمل Universal Circuits كـ"طبقة وسيطة لوظائف ZK": تشكل الدوائر التشفيرية وعقود التحقق على السلسلة الأساس، بينما يقع منطق أعمال Solidity المتوافق مع EVM في الأعلى.
على عكس لغات المعرفة الصفرية المخصصة مثل Cairo وNoir، تحافظ Universal Circuits على التكافؤ مع EVM. يمكن للمطورين إضافة قدرات الخصوصية والامتثال إلى بنى العقود الحالية دون تغيير نماذج البرمجة. يقدم Universal Circuits 2.0 تجميع الإثباتات، حيث يدمج إثباتات متعددة في وحدة تحقق واحدة لتقليل رسوم السلسلة وزيادة الإنتاجية.
| البُعد |
Universal Circuits |
لغات ZK المخصصة (Cairo / Noir) |
| لغة التطوير |
Solidity + SDK |
لغة DSL خاصة بـ ZK |
| التوافق مع EVM |
يحافظ على التكافؤ مع EVM؛ العقود قابلة للنقل |
يتطلب عادةً بيئة تنفيذ منفصلة |
| مصدر الدائرة |
مكتبة دوائر عامة مبنية مسبقًا |
يكتب المطورون الدوائر بأنفسهم |
| حاجز التكامل |
مصممة لمطوري Solidity الحاليين |
يتطلب تعلم بناء جملة دوائر ZK |
| تكلفة التحقق |
يدعم 2.0 تجميع الإثباتات لخفض التكاليف |
يختلف حسب التنفيذ والسلسلة |
يوضح الجدول أعلاه أن Universal Circuits موجهة أساسًا إلى "خفض حاجز تكامل ZK" بدلاً من استبدال آلة ZK افتراضية كاملة. تغطي الدوائر المبنية مسبقًا سيناريوهات عالية التكرار مثل التحقق من الهوية والمدفوعات الخاصة المتوافقة والخلط العشوائي للألعاب على السلسلة. وهذا يسمح لطبقة التطبيقات في Manta Pacific بإضافة قدرات المعرفة الصفرية دون إعادة هيكلة بنى العقود.
كيف تعمل ZK كخدمة؟
ZK كخدمة هي نموذج الخدمة وراء Universal Circuits. يقوم المطورون بتفويض توليد الإثباتات التشفيرية وتنسيقها والتحقق منها على السلسلة إلى مكونات قياسية، بينما تتعامل عقودهم فقط مع منطق الأعمال واستدعاءات الواجهة. يقسم هذا النهج تطوير ZK إلى طبقتين - "طبقة الدوائر (مبنية مسبقًا من المنصة)" و"طبقة التطبيقات (يكتبها المطور)" - مما يتجنب إعادة التنفيذ المتكرر لنفس الأوليات التشفيرية عبر المشاريع.
يتم تدفق استدعاء ZK كخدمة النموذجي كما يلي: يرسل عقد Solidity طلب إثبات عبر SDK الخاص بـ Universal Circuits ← يستدعي SDK الدائرة المبنية مسبقًا المقابلة لتوليد إثبات المعرفة الصفرية ← يُقدم الإثبات إلى عقد التحقق على السلسلة ← عند التحقق الناجح، يُطلق العقد تغييرًا في الحالة. يضيف Universal Circuits 2.0 خطوة تجميع، مما يسمح بدمج إثباتات مستقلة متعددة في إثبات مجمع واحد للتحقق لمرة واحدة على السلسلة.
الشكل 1. تدفق ZK كخدمة لـ Universal Circuits من تطبيق Solidity اللامركزي عبر SDK والدوائر المبنية مسبقًا وتوليد الإثباتات إلى التحقق على السلسلة على Manta Pacific.
توفر ZK كخدمة وظائف المعرفة الصفرية من خلال واجهات قياسية. يتم ضمان صحة الدوائر بواسطة مكونات على مستوى المنصة، مما يقلل من نطاق التدقيق التشفيري المطلوب لكل مشروع.
كيف يمكن لمطوري Solidity التكامل؟
يتبع تكامل Universal Circuits مع Solidity مسارًا من أربع خطوات: "تقديم SDK → اختيار الدائرة → توليد الإثبات → التحقق على السلسلة". يضيف المطورون SDK الخاص بـ Universal Circuits في بيئة نشر Manta Pacific، ويعلنون عن نوع الدائرة المطلوبة ومعلمات الإدخال العامة/الخاصة في عقودهم، ويقومون بحساب الشهود خارج السلسلة أو على جانب العميل، ويولدون الإثبات، ثم يقدمون الإثبات مع المدخلات العامة إلى عقد التحقق.
لا تتطلب عملية التكامل كتابة دوائر أساسية. يقوم SDK بتغليف ABIs الدوائر وعناوين عقود التحقق. بعد ترحيل عقود Ethereum الحالية إلى Pacific، يمكن للمطورين إضافة استدعاءات Universal Circuits في النقاط الرئيسية.
| خطوة التكامل |
الإجراء |
الجهة المسؤولة |
| تقديم SDK |
إضافة التبعيات، تكوين الشبكة وعناوين العقود |
المطور |
| اختيار الدائرة |
اختيار دوائر مبنية مسبقًا مثل Semaphore وzkShuffle |
المطور |
| حساب الشهود وتوليد الإثبات |
حساب شهود المدخلات الخاصة، توليد إثبات ZK |
المطور / العميل |
| التحقق على السلسلة |
تقديم الإثبات إلى عقد التحقق، تفعيل تغيير الحالة |
العقد على السلسلة |
يتم حساب الشهود خارج السلسلة؛ فقط الإثبات المضغوط يُقدم على السلسلة. يتيح هذا النهج للفرق التي لديها خبرة في EVM ولكن ليس لديها خلفية في ZK نشر تطبيقات قادرة على الخصوصية.
ما السيناريوهات التي يمكن استخدام الدوائر المبنية مسبقًا فيها؟
تغطي دوائر Universal Circuits المبنية مسبقًا ثلاثة سيناريوهات تطبيقية عالية التكرار: التحقق من الهوية، والمدفوعات الخاصة المتوافقة، والخلط العشوائي للألعاب على السلسلة. يستخدم كل سيناريو أوليات تشفيرية مختلفة، ولكن يتم الوصول إليها جميعًا من خلال واجهة SDK الموحدة.
تدعم دائرة Semaphore إثباتات العضوية الجماعية المجهولة والكشف الانتقائي، مما يجعلها مناسبة للتصويت في DAO والتحقق من الهوية (KYC) الخاص. تخفي دائرة الدفع الخاصة المتوافقة تفاصيل المعاملات مع الحفاظ على إمكانية الامتثال التنظيمي. توفر دائرة zkShuffle خلطًا عشوائيًا قابلاً للتحقق لألعاب الورق على السلسلة.
الشكل 2. السيناريوهات النموذجية لـ Universal Circuits: التحقق من الهوية عبر Semaphore، والدفع الخاص المتوافق، والألعاب على السلسلة عبر zkShuffle.
| نوع الدائرة |
الوظيفة الأساسية |
حالات الاستخدام النموذجية |
| Semaphore |
إثبات العضوية الجماعية مجهول الهوية، الكشف الانتقائي |
التصويت في DAO، القائمة البيضاء، التحقق من الهوية (KYC) الخاص |
| الدفع الخاص المتوافق |
إخفاء المبالغ والأطراف، الحفاظ على إمكانية الامتثال |
المدفوعات المؤسسية، التمويل اللامركزي (DeFi) المتوافق |
| zkShuffle |
الخلط العشوائي القابل للتحقق |
ألعاب الورق على السلسلة، الألعاب العادلة |
يكفي أن يختار المطورون الدائرة المناسبة لسيناريوهم، دون الحاجة إلى بناء حلول تشفيرية من الصفر. تدعم بيانات اعتماد الامتثال zkSBT في جانب Pacific أيضًا التحقق، مما يخلق تآزرًا مع طبقة الهوية Atlantic.
ما الدور الذي تلعبه Universal Circuits في نظام Pacific البيئي؟
Universal Circuits هي مكون ZK لطبقة التطبيقات في مكدس تقنية Manta Pacific. إلى جانب طبقة توفر البيانات Celestia، وبيئة تنفيذ zkEVM، وبنية L2 المعيارية، تكمل مجموعة القدرات الكاملة لـ Pacific. توفر Pacific بيئة نشر متوافقة مع EVM وتوفيرًا في التكاليف عبر Celestia DA؛ تضيف Universal Circuits قدرات المعرفة الصفرية فوق ذلك، مما يمكن L2 المعيارية من دعم تطبيقات الخصوصية والامتثال بشكل أصلي بما يتجاوز العقود الذكية العامة.
يكمن الفرق الأساسي بين Manta Pacific وManta Atlantic في تقسيم السلسلة المزدوجة: تركز Pacific على تنفيذ تطبيقات ZK ونشر Universal Circuits، بينما تركز Atlantic على هوية الامتثال على السلسلة عبر zkAddress وzkSBT. تتيح Universal Circuits لتطبيقات Pacific استدعاء منطق التحقق من الخصوصية مباشرة، بينما يمكن لبيانات اعتماد هوية Atlantic أن تكون بمثابة مصادر بيانات للتحقق من zkSBT في جانب Pacific. تكمل السلسلتان بعضهما البعض في معايير بيانات الاعتماد بدلاً من استبدال إحداهما الأخرى.
تغطي العملية الكاملة لنقل الأصول إلى Manta Pacific نقل الأصول عبر السلسلة وإعداد الرسوم. بعد النقل، ينشر المطورون عقود Solidity المدمجة مع Universal Circuits في بيئة Pacific. رسوم Pacific مقومة بعملة ETH؛ يتم تضمين تكلفة تنفيذ التحقق من إثبات ZK في هيكل الرسوم العادي، ويقلل تجميع الإثباتات من النفقات العامة لكل تحقق.
ما هي القيود والمخاطر عند استخدام Universal Circuits؟
كمكتبة دوائر مبنية مسبقًا، تمتلك Universal Circuits حدودًا هيكلية في المرونة وتغطية السيناريوهات. تغطي الدوائر المبنية مسبقًا فقط السيناريوهات العامة التي اختارتها المنصة؛ ولا يزال منطق المعرفة الصفرية شديد التخصيص يتطلب من المطورين كتابة دوائر مخصصة أو استخدام أطر ZK أخرى. تعتمد سرعة تحديث مكتبة الدوائر على صيانة المنصة، وهناك تأخير قبل إضافة الأوليات التشفيرية الجديدة إلى المكتبة العامة.
تقوم ZK كخدمة بتفويض جزء من افتراضات الأمان إلى عقود التحقق للمنصة. تمثل الثغرات في العقود، أو عيوب الدوائر، أو أخطاء طبقة التجميع مخاطر تقنية. كما أن اعتماد Pacific على Celestia DA وطبقة التسوية لـ Ethereum يقدم مخاطر بروتوكول خارجية. تتطلب المتطلبات التي تتجاوز نطاق الدوائر المبنية مسبقًا تقييم حلول لغة ZK المخصصة؛ يجب التحقق من SDKs المزيفة مقابل المعلومات المنشورة علنًا.
الخلاصة
تعمل Universal Circuits، كمكتبة تطوير ZK كخدمة لـ Manta Pacific، على تمكين مطوري Solidity من دمج قدرات الخصوصية والامتثال دون خبرة عميقة في المعرفة الصفرية، عبر دوائر مبنية مسبقًا مثل Semaphore ومدفوعات الخصوصية المتوافقة وzkShuffle. تفصل آلية ZK كخدمة صيانة الدائرة عن تطوير التطبيقات. يتبع تكامل Solidity مسارًا قياسيًا: تقديم SDK، اختيار الدائرة، توليد الإثبات، والتحقق على السلسلة. ترتبط Universal Circuits ارتباطًا وثيقًا ببنية L2 المعيارية لـ Manta Pacific - فهي تخفض حاجز ZK مع كونها محدودة هيكليًا بتغطية الدوائر المبنية مسبقًا والاعتماد على المنصة.
الأسئلة الشائعة
ما هي Universal Circuits؟
Universal Circuits هي مكتبة دوائر مبنية مسبقًا من نوع ZK كخدمة على Manta Pacific لمطوري Solidity. تقوم بتجميع دوائر المعرفة الصفرية مثل التحقق من الهوية عبر Semaphore، والمدفوعات الخاصة المتوافقة، والخلط العشوائي على السلسلة عبر zkShuffle في وحدات قابلة للاستدعاء، مما يسمح للمطورين بدمج وظائف الخصوصية والامتثال في عقود EVM دون كتابة دوائر أساسية.
كيف تعمل ZK كخدمة؟
تعمل ZK كخدمة على توحيد توليد والتحقق من إثباتات المعرفة الصفرية على السلسلة كخدمة منصة. يختار المطورون دوائر مبنية مسبقًا عبر SDK الخاص بـ Universal Circuits، ويقدمون مدخلات عامة وخاصة، ويكملون حساب الشهود على جانب العميل، ويولدون الإثباتات، ثم تقوم عقود التحقق على السلسلة بالتحقق من الإثباتات وتفعيل تغييرات الحالة. يدعم Universal Circuits 2.0 تجميع إثباتات متعددة في وحدة تحقق واحدة لخفض التكاليف.
كيف تختلف Universal Circuits عن Cairo وNoir؟
تحافظ Universal Circuits على التكافؤ مع EVM. يستخدم المطورون Solidity وSDK لاستدعاء دوائر مبنية مسبقًا دون الحاجة إلى تعلم لغات ZK مخصصة. تتطلب حلول مثل Cairo وNoir عادةً من المطورين كتابة دوائر بلغات DSL مخصصة وتشغيلها في بيئات تنفيذ ZK منفصلة. تركز Universal Circuits على خفض حاجز التكامل، بينما تعطي لغات ZK المخصصة الأولوية لمرونة تخصيص الدوائر.
ما سيناريوهات التطبيق المناسبة لـ Universal Circuits؟
تشمل السيناريوهات المناسبة التصويت المجهول في DAO والتحقق من العضوية الجماعية (Semaphore)، والمدفوعات التي تخفي تفاصيل المعاملات مع الاحتفاظ بإمكانية الامتثال (المدفوعات الخاصة المتوافقة)، وتطبيقات ألعاب الورق والألعاب على السلسلة التي تتطلب خلطًا عشوائيًا قابلاً للتحقق من العدالة (zkShuffle). قد يتجاوز منطق المعرفة الصفرية شديد التخصيص نطاق الدوائر المبنية مسبقًا.
ما العلاقة بين Universal Circuits وManta Pacific؟
تم نشر Universal Circuits على Manta Pacific كمكون ZK لطبقة التطبيقات في مكدس تقنية L2 المعيارية لـ Pacific. توفر Pacific بيئة تنفيذ EVM/zkEVM وتوفر البيانات Celestia؛ توفر Universal Circuits واجهات وظائف المعرفة الصفرية القابلة للاستدعاء للتطبيقات اللامركزية فوق ذلك، مشكلة تآزرًا نظاميًا مع بيانات اعتماد هوية zkAddress وzkSBT في جانب Atlantic.
ما هي القيود عند استخدام Universal Circuits؟
تشمل القيود الرئيسية تغطية محدودة لسيناريوهات الدوائر المبنية مسبقًا، والحاجة إلى حلول بديلة للمتطلبات شديدة التخصيص، والاعتماد الجزئي على الدوائر التي تصونها المنصة وعقود التحقق لأمن التشفير، والتعقيد الإضافي من تجميع الإثباتات، والاعتماد التقني لـ Pacific على طبقات DA والتسوية الخارجية. Universal Circuits هي مكتبة وظيفية، وليست آلة ZK افتراضية كاملة، وهي غير مناسبة لجميع سيناريوهات تطبيقات المعرفة الصفرية.
