الإفصاح: الآراء التي تم التعبير عنها هنا تخص كاتب المقال فقط ولا تمثل آراء فريق تحرير crypto.news.
لعقود، كان مطورو الويب 3 يعانون لجعل أنظمتهم قابلة للتوسع. عندما تظهر تقنيات جديدة، فإنها تطلق عادةً بشكل أحادي، حيث يتم تضمين جميع المكونات في مجموعة واحدة. ومع نضج هذه التقنيات، تصبح أكثر تخصصاً وتبدأ الشركات المختلفة في تحسين جوانب محددة من المجموعة لتعزيز قابلية التوسع.
هذا ما يحدث الآن مع البلوكشين. يتم تحسين كل طبقة في المجموعة بشكل منفصل، ويعتمد مطورو الويب 3 هذه الحلول المعيارية لخفض تكاليفهم وتحسين كفاءة وصيانة أنظمتهم.
على سبيل المثال، يتم حالياً التعامل مع التنفيذ بشكل متزايد بواسطة الطبقات الثانية مثل Arbitrum وOptimism، والتي تسمح بزيادة هائلة في الإنتاجية وانخفاض الرسوم مقارنة بالتنفيذ على طبقة الـ1 لإيثريوم. وبالمثل، يتم تحسين طبقة توافر البيانات بواسطة مشاريع معيارية مثل Celestia وEigenDA.
ZK-rollups كالحل النهائي لتوسع البلوكشين
تبدأ رحلة التوسع في البروز مع ظهور تقنيات ZK مثل Zero-Knowledge Rollups.
برزت ZK-rollups كالحل الأمثل لتوسيع البلوكشين لأنها تستخدم إثباتات المعرفة الصفرية (ZKPs) للتحقق من المعاملات دون الكشف عن المعلومات الحساسة، والأهم من ذلك، أنها يمكن أيضاً التحقق من المعاملات بسرعة مع رسوم غاز منخفضة، بشرط أن تكون مبنية بالأدوات الصحيحة. zkVerify، أداة تم بناؤها لهذا الغرض بالضبط، تمثل مثالاً مثالياً على هذا.
مع سلسلة L2 تعتمد على ZK-rollup، يتم تجميع العديد من المعاملات على L2 ومن ثم إرسالها إلى L1 كمعاملة واحدة. هذه المعاملة المجمعة تحتوي أيضاً على إثبات تشفير يمكنه التحقق بكفاءة من الدفعة بالكامل.
إثباتات ZK مكلفة وتتطلب حسابات مكثفة
حالياً، أكبر عائق أمام أنظمة ZK هو التحقق الفعال من إثباتات ZK وتسويتها. التحقق من الإثبات هو خطوة أساسية تضمن أن يكون إثبات ZK صالحاً تشفيرياً، وهو مطلوب لتسوية معاملات ZK-rollups على L1.
التحقق من الإثبات ليس مطلوباً بالنسبة لـ Optimistic Rollups لأنها تعتمد على نظام إثبات مختلف يدعى إثبات الاحتيال. تُفترض جميع المعاملات صالحة بشكل افتراضي، ولضمان الأمان، هناك فترة تحدي يمكن خلالها لأي شخص تقديم إثبات احتيال إذا اكتشف معاملات غير صالحة. ومع ذلك، قد تستمر فترة التحدي حتى سبعة أيام، مما يبطئ نهائية المعاملات. على الرغم من هذا العيب، أصبحت Optimistic Rollups الحل الأكثر شعبية لتوسع البلوكشين اليوم.
من ناحية أخرى، تقوم ZK-rollups بإرسال المعاملة المجمعة مع بيانات الحالة إلى الطبقة الأساسية L1 للتحقق. تقوم L1 بالتحقق من الإثبات على السلسلة وتحديث حالة الـ Rollup، مما يضمن صحة جميع المعاملات مع توفير نهائية فورية. يزيد هذا النهج بشكل كبير من إنتاجية المعاملات ويحتفظ بضمانات أمان أقوى دون الحاجة إلى فترة تحدي طويلة.
التحقق المعياري من إثباتات ZK هو الحل
لحسن الحظ، يمكن أن يمتد النهج المعياري إلى ما بعد الطبقة الأساسية. يمكن تطبيق نفس النهج المعياري الذي حسن بشكل كبير السلاسل الأساسية مثل إيثريوم على ZK-rollups أيضاً.
كيف يعمل هذا عملياً؟ تماماً كما تتعامل Celestia مع توافر البيانات على بلوكشين مخصص، يمكن لسلسلة مستقلة أن تتعامل مع عملية التحقق من الإثبات لـ ZK-rollups (وللأنظمة التي تعتمد على ZKPs بشكل عام)، مع استمرار تسوية هذه المعاملات المجمعة على السلسلة الأساسية L1.
من خلال نقل عملية التحقق من الإثبات إلى مزود معياري، يمكن لـ ZK-rollups التركيز فقط على التنفيذ وتجربة المستخدم. تعمل سلسلة التحقق من الإثبات بالتوازي مع الـ ZK-rollup، بينما تظل سلسلة مستقلة.
يقلل هذا النهج التكاليف بأكثر من 90% ويجعلها أكثر استقراراً بمرور الوقت. بدلاً من الاعتماد على هياكل تكاليف تعتمد على أسعار غاز إيثريوم (ETH) المتقلبة وغير المتوقعة، يمكن لـ ZK-rollups نقل عملية التحقق من الإثبات إلى طبقة أخرى بدون تلك التقلبات.
علاوة على ذلك، يمكن تحديث طبقة التحقق من الإثبات المعيارية تتجاوز الحدود الحالية لـ Ethereum L1، والتي لديها قيود معينة حول نوع التصرفات المسبقة التي يمكنك استخدامها. بمعنى أبسط، يمكن لخدمة التحقق من الإثبات المعيارية دمج أحدث الابتكارات التشفيرية في غضون أسابيع قليلة، بينما قد تستغرق هذه التحديثات سنوات لتكون متاحة على إيثريوم.
يمكن تطبيق التحقق المعياري من الإثبات على تقنيات ZK الأخرى كذلك، بما في ذلك أي تطبيق لامركزي يعتمد على إثباتات المعرفة الصفرية. هذه هي جمالية الحل المعياري—يمكن الاستفادة منه في أي نظام يحتاجه.
من خلال توحيد الخطوة الأكثر تكلفة في بناء الأنظمة التي تستخدم ZKPs، يمكن لجميع سلاسل الكتل الاستفادة، مما يقربنا خطوة من مستقبل قابل للتوسع والتشغيل البيني.
ماذا يحدث بدون المعايير؟
إذا نظرنا إلى النمو المتوقع للويب 3 في السنوات القادمة، من المتوقع أن ترتفع تكلفة التحقق من الإثبات لـ ZK-rollups بشكل كبير.
في Horizen Labs، نقدر أنه تم إنفاق 47 مليون دولار على التحقق من الإثبات لـ ZK-rollups على إيثريوم في عام 2023، ومن المتوقع أن تبلغ قيمة سوق التحقق من الإثبات بالكامل 1.5 مليار دولار أو أكثر بحلول عام 2028. بحلول عام 2030، تم تقدير أنه سيتم إنتاج 90 مليار إثبات بواسطة التطبيقات اللامركزية فقط.
التحقق من الإثبات هو الخطوة الأكثر تكلفة في ZK-rollups، ويحتاج إلى الابتكار، وإلا سيكون من الصعب للغاية لتكنولوجيا ZK التوسع إلى مليار مستخدم. لا يوجد سبب لتكاليف تطبيقات وأنظمة ZK-rollups أن تكون بهذا الحجم، ولا يجب أن نفرض متطلبات غير ضرورية على البلوكشين تعرقل تطورها.
مع التحقق المعياري من الإثبات، يمكن لتكلفة التحقق من إثبات واحد أن تنخفض من حوالي 20 دولاراً (مع الأخذ في الاعتبار مخطط إثبات Groth16 وأسعار الغاز عند 30 غوي وسعر إيثريوم عند 3000 دولار) إلى حوالي 1.80 دولار. تلك التوفير الهائل في التكاليف سيفتح آفاقاً جديدة من الابتكار في الويب 3، بما في ذلك تطبيقات ZK الجديدة وZK-rollups على بيتكوين ونظم الإثبات والمزيد. يمكن لأي سلسلة أو تطبيق يعتمدون على ZK الاستفادة من نقل عملية التحقق من الإثبات إلى حل معياري.
مع تزايد توليد المزيد من إثباتات ZK في الويب 3، سيتعين أيضاً التحقق من تلك الإثباتات. ومع تحول مشهد الويب 3 بأكمله نحو النظام المعياري، من المنطقي فقط تطبيق هذا النهج على إثباتات ZK أيضاً.
روب فيجلوني هو المؤسس المشارك والرئيس التنفيذي لشركة Horizen Labs، وهو الاستوديو الذي يقف وراء العديد من المشاريع الرائدة في الويب 3، بما في ذلك zkVerify وHorizen وApeChain. خدم روب في سلاح الجو الأمريكي لعدة سنوات وتم إرساله إلى أفغانستان، حيث دعم جهود الاستخبارات لفريق العمليات الخاصة. خلال هذه الفترة، كان لديه اهتمام مبكر بالبيتكوين، حيث أدرك فوائده المحتملة للدول ذات الاقتصادات غير المستقرة. روب مهتم بشدة بتوسع الويب 3 وكفاءة البلوكشين وإثباتات المعرفة الصفرية. يعكف على تطوير حلول مبتكرة لـ ZK-rollups لتعزيز التوسع وتوفير التكاليف وتعزيز الكفاءة. يحمل روب شهادة دكتوراه في التمويل وماجستير في إدارة الأعمال في التمويل والتسويق وبكالوريوس في الفيزياء والرياضيات التطبيقية. ويشغل حالياً منصب عضو مجلس الإدارة لجمعية التجارة البلوكشين في بورتوريكو.
