من 0 إلى ZK لدغات المفهوم #5: الاختصار في آخر لقمة مفهوم، تحدثنا عن متى تكون خاصية "المعرفة الصفرية" مهمة فعليا للخصوصية. لكن الخصوصية هي واحدة فقط من قوتي ZK العظميتين. أما الآخر، وهو الإيجاز، فهو الذي يستخدمه بريفيس في كل دمج تقريبا ننشره. 🚀 الاختصار يعني أن البرهان أصغر بكثير من الحساب الذي يثبته. عند معالجة 100,000 معاملة، يكون البرهان الناتج بضعة كيلوبايت. تحقق من تنفيذ كتلة إيثيريوم كاملة، ويظهر البرهان في استدعاء واحد على السلسلة. حجم الدليل يبقى تقريبا ثابتا بغض النظر عن ثقل عبء العمل الأصلي. هنا تصبح الأمور مثيرة للاهتمام. توليد البرهان يكلف فعليا أكثر من مجرد تشغيل الحساب نفسه، لأن المحقق يجب أن يقوم بعمليات تشفير إضافية فوق التنفيذ الخام. لكن التحقق من هذا الدليل يكاد لا يكلف شيئا بالمقارنة. العلاقة تبدو هكذا: إثبات التنفيذ > >> التحقق. هيكل التكلفة هذا هو بالضبط ما تحتاجه البلوكشين. اليوم، يتم إعادة تنفيذ كل معاملة إيثيريوم بواسطة مئات الآلاف من المدققين بشكل مستقل، ونفس العمل يتكرر عبر الشبكة بأكملها. مع البراهين الموجزة، يقوم أحد الأطراف بالعمل الشاق وينتج إثباتا مضغوطا. الجميع فقط يتفقدها. الشبكة تتحول من "الجميع يفعل كل شيء" إلى "احسب مرة واحدة، تحقق من كل مكان." 📜 لهذا السبب يمكن لبريفيس تقديم أشياء مثل استعلامات البيانات التاريخية لمستويات رسوم VIP في PancakeSwap، أو توزيعات مكافآت بمليارات الرموز ل Linea، دون الحاجة إلى زيادة تكاليف الوقود. الحساب يحدث خارج السلسلة حيث يكون رخيصا. الدليل يقع على السلسلة حيث يكون التحقق ثابتا وبأسعار معقولة بغض النظر عن كمية البيانات التي تم تحليلها خلف الكواليس. الاختصار هو أيضا سبب نجاح إثبات كتل الإيثيريوم في الوقت الحقيقي من Pico Prism. إثبات تنفيذ كتلة كاملة وضغطها إلى شيء يمكن للعقد الذكي التحقق منه في مللي ثانية سيكون بلا جدوى إذا كان الإثبات نفسه بحجم بيانات الكتلة. نسبة الانضغاط هي ما يجعل النموذج بأكمله قابلا للتطبيق. اقرأ الجزء الثاني: