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

انظر إلى بيانات هذا العام لتفهم الأمر بشكل واضح. عدد العناوين النشطة في الحلول ZK الصافية انخفض بنسبة 12% في نوفمبر مقارنة بالشهر السابق، وهذا ليس صدفة. والأكثر إيلامًا هو أن تكاليف المعاملات لهذه الحلول تتضمن دائمًا تكلفة حسابية عالية لإنتاج الإثبات — حيث تمثل أكثر من 35% من النفقات. على الرغم من أن EIP-4844 خفض بشكل كبير من تكاليف البيانات، إلا أن المنافسة على القدرة الحاسوبية لا تزال تمثل عائقًا، خاصة عند التعامل مع تطبيقات عالية التردد مثل وكلاء التداول بالذكاء الاصطناعي والألعاب على السلسلة الكاملة، حيث تظهر الحلول ZK الصافية بعض الصعوبة.

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