مرحبًا يا أصدقاء، طاب مساؤكم! لقد حان موسم التسوق السنوي لعيد العزاب، لم أتوقع أن أتمكن أنا من العيش في عيد خاص بي 😆 في السنوات السابقة، كنت دائمًا أنفق مبلغًا كبيرًا من المال في هذا الوقت

اليوم، سأقوم بإنفاق مبلغ كبير مرة أخرى، لقد تحققت للتو من نفقاتي هذا العام، ووجدت أن 🍑 أنفق فقط هذا المبلغ، وسريعًا سأصل إلى عضوية الماس الأسود، لكن فجأة خطرت لي مشكلة

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

❙ الإثبات بدون معرفة (Zero-Knowledge Proof) هو الحل، لكنه يأتي مع مشكلة أصعب: يتطلب حسابات كثيفة جدًا

▰ لنتحدث أولاً عن قوة الإثبات بدون معرفة «حساب واحد، تحقق دائم»

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

▰ والأكثر تعقيدًا، أن الصناعة تعتمد الآن على وحدات معالجة الرسومات (GPU) لتحمل هذا الحمل الحسابي

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

العديد من وظائف GPU، مثل معالجة الظلال والإضاءة في الألعاب، لا تُستخدم أثناء إنشاء الإثبات، بل تستهلك الموارد بدون فائدة، وعند نقل البيانات، تستهلك أيضًا الكثير من الطاقة، وتكلفتها منخفضة جدًا

▰ هنا، يظهر دور @cysic_xyz بشكل خاص، فهم لم يركزوا على الأجهزة العامة، بل استهدفوا «رقائق مخصصة»

❙ كيف يمكننا أن نعرف أن حسابات الإثبات بدون معرفة تختلف عن الحواسيب العادية؟

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

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

في المستقبل، ستزداد الحاجة إلى «الحسابات القابلة للتحقق»، ولا بد لي من القول، أن اختيار @cysic_xyz في هذا المجال كان بصيرة حقًا
#cysic