على عكس الافتراض الشائع ، فإن معظم أنظمة "المعرفة الصفرية" اليوم ليست خاصة. بالاعتماد على عقود من البحث ، يكسر @mvenkita (الرئيس التنفيذي لشركة @ligero_inc) في جلسة @WPReadingClub هذه سبب قيام غالبية أنظمة الإثبات المستخدمة - بما في ذلك العديد من zkVMs المستندة إلى STARK - بتوفير حوسبة يمكن التحقق منها ولكنها لا ترقى إلى خصوصية التشفير الحقيقية. يشرح Muthu كيف قام Ligero و Ligetron بتغيير هذه المعادلة: • مصممة لكفاءة الوقت والذاكرة ، ويمكنها إنشاء براهين حتى على الأجهزة المقيدة بالذاكرة مثل الهواتف المحمولة. • مبنية على إنشاءات MPC في الرأس ، فهي تضمن خصوصية يمكن إثباتها حيث لا تفعل العديد من الأنظمة الحالية. • تم اعتماده بالفعل من قبل @googlecloud للتحقق من هوية الهاتف المحمول ، مما يدل على الجدوى في العالم الحقيقي. تمتد المناقشة إلى الأسس الأكاديمية ل ZK ، والتطور من النظرية إلى التنفيذ ، والحاجة الملحة للبراهين التي تحمي البيانات الحساسة مع الاستمرار في تلبية متطلبات الامتثال. يسلط Muthu الضوء على التطبيقات الناشئة - مجمعات الخصوصية ، و zk-validiums ، وإثباتات الهوية على الجهاز - التي يمكن أن تحدد مستقبل اعتماد المؤسسات والتنظيمات ، وتطرق إلى التجارب التي تثبت نماذج ML الكبيرة (مثل LLaMA) مع ZK ، مشيرا إلى ما سيأتي بعد ذلك بالنسبة ل الذكاء الاصطناعي الذي يحافظ على الخصوصية. هذه نظرة مباشرة على الفجوة بين ما نعتقد أن ZK تفعله اليوم ، وما هو مطلوب لعالم تتعايش فيه الخصوصية والامتثال وقابلية التوسع حقا. متاح أيضا على موقع يوتيوب:
‏‎7.37‏K