Zero-Knowledge Proof in نقل الملفات Systems

براهين المعرفة الصفرية تسمح لطرف بإثبات صحة تصريح دون الكشف عن أي شيء فوق صحة التصريح نفسه. تطبيقاً على نقل الملفات، تُتيح ZKPs لمُرسِل أو خادم إثبات أن ملفاً يتطابق مع بصمة متوقعة، أو شُفِّر بمفتاح معين، أو يستوفي سياسة مثل "أصغر من 10 جيجابايت وغير مدرج في قائمة حجب البرمجيات الخبيثة"، دون الكشف عن محتويات الملف. التكنولوجيا، المُصاغة رسمياً بواسطة Goldwasser وMicali وRackoff عام 1985 والآن عملية عبر zk-SNARKs (Groth16، PLONK) وzk-STARKs، تنتقل من العملات المشفرة إلى أنظمة الملفات الحافظة للخصوصية. إليك ما يناسب نقل الملفات فعلاً اليوم.

ماذا تعني "المعرفة الصفرية" في هذا السياق

استخداماتان تتصادمان في التسويق. الأول بالمعنى التشفيري الرسمي: بروتوكول تفاعلي أو غير تفاعلي يُثبِت المعرفة بشاهد دون الكشف عنه، كما يُعرَّف في منظومة Fiat-Shamir وتركيبات zk-SNARK الحديثة مثل Groth16 (2016) وPLONK (2019). الثاني بالمعنى التجاري الأوسع، حيث تعني "المعرفة الصفرية" أن مزود الخدمة لا يستطيع فك تشفير بيانات المستخدم لأنه لا يملك المفاتيح، كما تستخدمه Proton وTresorit وSync.com. كلاهما صحيح، لكنهما يحلان مشاكل مختلفة. المعنى التجاري هو فعلاً تشفير من طرف إلى طرف من جانب العميل؛ المعنى التشفيري يفتح سير عمل جديدة مستحيلة مع E2EE وحده.

براهين سلامة الملفات بدون إفصاح

تخيَّل سيناريو اكتشاف قانوني. طرف مُستجيب يُسلِّم ملفات مشفَّرة ويريد إثبات الاكتمال — أنه لم يُخفِ شيئاً — دون الكشف عن المحتويات. شجرة Merkle مع برهان معرفة صفرية تستطيع إثبات أن كل ملف في فهرس متفق عليه حاضر، ومُبصَّم بشكل صحيح، ومُشفَّر بالمفتاح المشترك. الطرف المُتسلِّم يتحقق من البرهان في ميلي ثوانٍ دون رؤية المحتويات حتى فك التشفير. أدوات مبنية على Halo 2 وCircom وPlonky2 تسمح لدوائر تعبِّر عن هذه التصريحات بالعمل من جانب العميل في المتصفحات عبر تجميع WebAssembly.

الإفصاح الانتقائي للامتثال

طبيب يُرسِل دراسة DICOM لمريض للحصول على رأي ثانٍ قد يريد إثبات، دون الكشف عن الهوية، أن المُرسِل طبيب مرخَّص في كيان مُغطى بـ HIPAA. برهان اعتماد بالمعرفة الصفرية باستخدام نموذج بيانات W3C Verifiable Credentials الإصدار 2.0 مع توقيعات BBS+ يستطيع ذلك. المستلم يتحقق من اعتمادات المُرسِل دون رؤية اسمه أو مؤسسته. نفس النمط ينطبق على امتثال ضوابط التصدير: أثبِت أن الدولة الوجهة للملف معتمدة دون الكشف عن الملف أو الوجهة الدقيقة، مفيد لسير عمل فحص ITAR أو EAR الحافظة للخصوصية.

برهان الرفع بدون الثقة في الخادم

مشكلة شائعة في نقل الملفات: المُرسِل يرفع ملفاً، الخادم يدَّعي استلامه، لكن كيف يستطيع المُرسِل إثبات ما خُزِّن فعلاً من جانب الخادم؟ البروتوكولات القائمة على proof-of-retrievability (PoR) وproof-of-data-possession (PDP)، المُصاغة رسمياً بواسطة Juels-Kaliski (2007) وAteniese وآخرين (2007)، تسمح للخادم بإثبات احتفاظه بالملف كاملاً بالإجابة على تحديات عشوائية ببراهين تشفيرية. التخزين اللامركزي مثل Filecoin يستخدم هذه لإثبات أن مزودي التخزين يحتفظون بالبيانات التي يدَّعون. لخدمة نقل مركزية، PoR يُعطي المُرسِل ثقةً بدون الاتكاء على سجل التدقيق.

تقاطع المجموعات الخاصة للتشوير

خدمات نقل الملفات كثيراً ما تُزيل تكرار الملفات المتطابقة من جانب الخادم لتوفير التخزين. بشكل ساذج، هذا يُسرِّب معلومات: مستخدمان يرفعان نفس الملف يكتشفان بعضهما. بروتوكولات Private Set Intersection (PSI) باستخدام دوال pseudorandom غير محدودة (OPRF) أو تشفير فلتر Bloom تسمح للخادم بالكشف عن التكرارات تشفيرياً بينما لا يتعلم أي من الطرفين ولا الخادم أي ملفات بالضبط تطابقت. مكتبات PSI مثل APSI من Microsoft وتنفيذ PSI من Google تعمل في المتصفحات عبر WASM. هذا يهم لأنظمة E2EE حيث إزالة التكرار من جانب الخادم ستكسر نموذج التهديد.

إثبات الامتثال للسياسة بدون الكشف عن الحمولة

أنظمة النقل المؤسسية كثيراً ما تُشغِّل فحوص DLP (منع فقدان البيانات) لحجب الرفعات التي تحتوي أرقام ضمان اجتماعي أو أرقام بطاقات ائتمان أو علامات ملكية. برهان DLP بالمعرفة الصفرية سيسمح للمُرسِل بإثبات "هذا الملف لا يحتوي سلاسل بـ 16 رقماً تتطابق مع أنماط بطاقات ائتمان صحيحة بـ Luhn"، دون الكشف عن الملف لخادم DLP. دوائر في Circom أو Noir تستطيع التعبير عن هذه الفحوص. الأداء هو العائق: إثبات أن ملفاً بـ 100 ميجابايت يستوفي سياسة معقدة قد يستغرق دقائق وينتج براهين بالميجابايت. البحث في GKR ومخططات الطي مثل Nova (2022) يُخفِّض وقت الإثبات بشكل ملحوظ، ما يجعل النشر العملي محتملاً خلال سنوات قليلة.

zk-SNARKs مقابل zk-STARKs للملفات

zk-SNARKs (Succinct Non-interactive Arguments of Knowledge) مثل Groth16 وPLONK تُنتِج براهين صغيرة (200-500 بايت) قابلة للتحقق في ميلي ثوانٍ لكن تتطلب مراسم إعداد موثوقة. zk-STARKs (Scalable Transparent Arguments of Knowledge)، المُستخدَمة في أنظمة StarkWare الإنتاجية، لا تحتاج إعداداً موثوقاً وتعتمد فقط على دوال التجزئة مما يجعلها آمنة ما بعد الكم، لكن البراهين أكبر (50 كيلوبايت إلى عدة ميجابايت). لنقل الملفات، براهين SNARK تتلاءم جيداً مع ترويسات HTTP أو حقول البيانات الوصفية الصغيرة، بينما براهين STARK أضخم لكن تتجنب افتراضات الثقة. الأنظمة العملية كثيراً ما تمزج بينهما حسب الخاصية المُثبَتة.

ميزانيات الأداء لإثبات المتصفح

إنتاج برهان أن ملفاً بـ 1 ميجابايت يتطابق مع بصمة معينة يستغرق نحو 100 مللي ثانية إلى ثانيتين في متصفح يستخدم Halo 2 أو snarkjs مُجمَّعاً إلى WASM، حسب حجم الدائرة والجهاز. لبراهين سلامة الملفات عند النقل، هذا مقبول. للتصريحات الأكثر تعقيداً مثل امتثال السياسة على الملفات الكبيرة، الإثبات قد يتطلب الإفراغ إلى خادم أو التشغيل في عمال الخلفية باستخدام OffscreenCanvas وService Workers. Web Crypto API يتعامل مع العناصر الأولية القياسية للتجزئة بالسرعة الأصلية، لكن دوائر ZK المخصصة لا تزال تدفع العبء الإضافي لتفسير WASM، بطيئة بنحو 2-5 أضعاف عن الأصلي.

أنماط التكامل مع E2EE الموجود

ZKPs تتطبَّق فوق E2EE بدلاً من استبداله. نمط نموذجي: المُرسِل يُشفِّر الملف بـ AES-256-GCM، يحسب بصمة SHA-256 للنص الواضح، ويُولِّد برهاناً يلتزم بتلك البصمة. الخادم يخزِّن النص المشفَّر والالتزام والبرهان. المستلم يسترد الثلاثة، يفك التشفير، يُعيد تبصيم النص الواضح، ويتحقق من البرهان. هذا يكشف العبث ويُوفِّر أيضاً تأكيد سلامة قابل للنقل يستطيع المستلم إظهاره لطرف ثالث، مثل جهة تنظيمية، دون الكشف عن الملف.

أين تتلاءم ZKPs اليوم وأين لا تتلاءم

اليوم، ZKPs تتلاءم جيداً لتأكيدات السلامة والأصالة الموجزة، وإزالة التكرار بدون إفصاح، والوصول القائم على الاعتمادات إلى نقاط نهاية النقل. لا تتلاءم بعد للفحوص الواعية بالمحتوى على الملفات الكبيرة ذات الأغراض العامة — وقت الإثبات وحجم البرهان ليسا هناك بعد. للخصوصية اليومية في نقل الملفات، E2EE من جانب العميل بـ AES-256-GCM وتبادل مفاتيح X25519، كما تستخدم HexaTransfer، يتعامل مع نموذج التهديد الشائع بشكل جيد بدون تعقيد دوائر ZKP.

النظر في النشر العملي

المشاريع التي تنشر ZKPs لسير عمل الملفات تشمل Iden3 وPolygon ID للتحقق من الاعتمادات، وAleo لحالة العقود الذكية الخاصة، وMina Protocol لحالة blockchain الموجزة. عمليات النشر الخاصة بالملفات لا تزال على درجة البحث لكنها تتقدم. توقع أول ميزات نقل ملفات مُعزَّزة بـ ZK في الإنتاج بين 2027-2028، على الأرجح تبدأ ببراهين السلامة وإزالة التكرار القائمة على PSI بدلاً من الامتثال الكامل للسياسة.

جرّبها على hexatransfer.com — مجاناً، بدون حساب، حتى 10 جيجابايت.