ZK لا يجعل لايتر عادلا. يجعل السلوك غير العادل قابلا للإثبات. إليك ما تضمنه البراهين فعليا، والأهم من ذلك ما لا تضمنه. 🧵

تفرض براهين SNARK الخاصة بلايتر سلامة التنفيذ. بالنظر إلى ترتيب معاملات مختار ومدخلات أوراكل، يجب أن يتبع انتقال الحالة الناتج قواعد البروتوكول، وإلا يفشل البرهان. هذا يمنع التوازنات المصطنعة، والمواقف المختلقة، والتنفيذ الذي يخالف القواعد.

لكن براهين ZK تتحقق فقط من صحة تنفيذ الأمر. لا تثبت أن النظام نفسه كان عادلا. لا يزال المتسلسل يقرر أي المعاملات تدخل الدفعة وبأي ترتيب.

هذا يعني أن MEV الكلاسيكي لا يزال ممكنا. يمكن للمسجل أن يدير أمامي، ويترك طلبا كبيرا يغير السعر، ثم يعيد السحب — وكل ذلك مع إنتاج إثبات صحيح تماما. الصواب التشفيرية لا يعني أن النزول الاقتصادي الصحيح.

ZK أيضا لا يمكنه ضمان الإدراج في الوقت المناسب أو دقة الأوراكل. إذا تم تأخير أمر ما، أو تم تضمينه بشكل انتقائي، أو تم تنفيذه باستخدام بيانات أوراكل منحرفة، يمكن للبرهان التحقق من ذلك. وذلك لأن الحساب نفسه كان صحيحا.