لنوضح ZK: 📚 ZK تعني Zero Knowledge وتفتح قوتين خارقين: الخصوصية والمقياس. ZK قريب من قلبي، سواء كمخترع مشارك لأجهزة ZK-STARK أو كمؤسس مشارك لمشروعين ل ZK: @Zcash (يركز على الخصوصية) و@StarkWareLtd (يركز على الحجم والآن الخصوصية)

@Zcash @StarkWareLtd كيف يعمل زيك كيك؟ هناك نوعان من الكيانات: المحقق والمتحقق المحقق يقوم بالعمل الشاق: - تسجيل البيانات من جميع الرسائل - معالجة البيانات - تحديث حالة النظام (أي الرصيد بعد كل الانتقالات) - توليد تحديث الحالة وإثبات

@Zcash @StarkWareLtd يقول بيان نموذجي من المقدم "أنا، المثبت، بدأت بالحالة أ، وعالجت 1,000,000 رسالة، وبناء على ذلك، وصلت إلى الحالة ب". البرهان هو تسلسل من الأعداد والتجزئات التي يمكن التحقق منها لإثبات سلامة البيان بأكمله.

@Zcash @StarkWareLtd يقوم المتحقق (الذي عادة ما يكون على السلسلة) بفحص البرهان، باستخدام الرياضيات والتشفير للتحقق من صحة البيان قبل قبوله. النظريات التي أثببناها على مر السنين تقول إن المتحقق دائما يقبل العبارات الصحيحة ولا يقبل العبارات الكاذبة.

@Zcash @StarkWareLtd المستصلح الخبيث الذي قد يحاول إقناع المتحقق بقبول بيان خاطئ عليه أن يقوم بنفس القدر من العمل لإيجاد تصادم في دالة تجزئة تشفيرية، وهو ما لا يمكن القيام به قبل أن تبرد شمسنا.

@Zcash @StarkWareLtd لماذا ZK مفيد للخصوصية؟ المتحقق لا يتحقق من صحة البيان من خلال معالجة البيانات التي يشهد عليها. لهذا السبب يمكن التحقق من صحة البيانات أثناء إخفائها عن المتحقق (Verifier).

@Zcash @StarkWareLtd لماذا ZK جيد للمقياس؟ المتحقق لا يحتاج إلى إعادة الحساب الذي قام به المحقق. يمكن للمستحضر معالجة مليون رسالة، لكن المتحقق لن يحتاج لتكرار ذلك للتحقق من صحة كل هذه الرسائل. التحقق من الإثبات سيكون كافيا لضمان صحتها.