هل يمكن أن تكون zk-SNARKs "قريبة من الواقع"؟ zkVerify تأخذ التقنية الباردة إلى مستوى جديد

إن مفهوم إثباتات المعرفة الصفرية (ZKP) يبدو دائمًا "باردًا" بعض الشيء، أليس كذلك؟ إما أنه عبارة عن تراكم صيغ غامضة في الأوراق الأكاديمية، أو نظام تحقق معقد يتطلب قوة حسابية فائقة. هل يمكن للمطورين العاديين استخدامه؟ العائق عالٍ مثل الصعود إلى القمر. والنتيجة هي أن مفهوم ZKP رغم أنه رائع، إلا أن المشاهد التي يتم تطبيقه فيها نادرة للغاية.