Zero-Knowledge (ZK) Proofs

ZK (Zero-Knowledge Proof) طريقة التشفير تأكيد المعلومات دون الكشف عنها.

في العملية 2 طرف:

• Prover " إن لها علم " علم .
• Verifier إنها تقوم بالتحقق

مثال: قرض#

القاضي يريد أن يرى قدرة المقترض على الدفع، لكن المقترع يريد البقاء (إنكوجنيتو).

→ إثبات ZK يضمن القدرة على الدفع بدون الكشف عن هويته والإعاشة.

تاريخ#

1985 سيلفيو ميكالي، أفي ويجدرسون، أوديد غولدرايك نشرت معقدة المعرفة في أنظمة الدليل التفاعلية.

في العمل:

• تم إدخال المصطلح دليل ذو إفشاء صفر;
• تم وصف تكنولوجيا التشفير
• الدليل لا يفتح البيانات الخاصةولكن يضع الاتصال الإلزامي.

الفئات#

zk-SNARKs

Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.

• الدليل بدون الكشف عن المعلومات;
• يطلب مفتاح سري، مقدماً;
• مثال تطبيق: Zcash أول رمز خصوصية متاح على نطاق واسع على zk-SNARKs
• عند تحويل Zcash → التأكيد يأتي بدون الكشف عن الأطراف والمبالغ.

zk-STARKs

Zero-Knowledge Scalable Transparent Arguments of Knowledge.

• مفتوحة تحليل عشوائي الأدلة
• لا يتطلب تخصيصًا أوليًا;
• لا يُكشف عن البيانات السرية الطرف الثالث
• يُطلق عليها أيضاً (ببروتوكولات (آرثر ميرلين.

مقارنة

خصائص ZK#

1. دقة (Completeness) true التأكيد → يمكن إقناع verifier ؛
2. الأصالة (Soundness) false الإقرار → لا يمكن إقناع verifier؛
3. سرية تامة (علم صفر) المحقق لا يعرف شيئاً سوى حقيقة الحقيقة.

التطبيق#

ZK إلى TON#

المشاريع

• ZK on TON✓ الوثائق والتدريبات
• Tonnel Network المعاملات الخاصة (العاصفة على طن), GitHub.

المصادر#

• ZK-STARK على ويكيبيديا;
• What are zk-SNARKs (Zcash);
• ZK في بلوكتشين TON (tonblockchain.ru);
• Binance Academy: zk-SNARKs vs zk-STARKs.

مقالات مشابهة#

• TON Cryptography
• TON Security Layer
• Smart Contracts
• Audit in TON
• TON Ecosystem
• The Open Network