يحتوي إيثريوم على حد للغاز. لكن هل يمكننا إثبات رياضيًا لأقصى عمل حسابي مطلوب للتحقق من أي كتلة صالحة؟ بشكل مفاجئ، لا نمتلك بعد حدًا علويًا محددًا وموثوقًا للنموذج الكامل للتحدي. هذه هي المشكلة التي يعالجها @yukonresearch و @zksecurityXYZ و @Veritylab عبر https://t.co/w9Ti86Tqsj. حاليًا، يقوم مدققو إيثريوم بتنفيذ المعاملات بشكل مستقل للتحقق من الكتل. ومع انتقال إيثريوم نحو التحقق القائم على zkEVM، يتوسع التحدي ليتجاوز تنفيذ المعاملات بدقة. نحتاج أيضًا إلى فهم التكلفة الحسابية في أسوأ الحالات. لماذا يهم هذا؟ قد تكون كتلة إيثريوم صالحة ومع ذلك تتطلب حسابات باهظة بشكل غير عادي. إذا أصبحت تكاليف الإثبات غير قابلة للتنبؤ، فقد تصبح عملية الإثبات ZK في الزمن الحقيقي عقبة أمام توسعة إيثريوم. يقدم https://t.co/w9Ti86Tqsj منافسة مفتوحة لتحديد حدود علوية مُعتمدة رياضيًا على الحسابات اللازمة للتحقق من الكتل. الآثار مهمة: → أحمال تنفيذ وإثبات أكثر قابلية للتنبؤ. → أسس أقوى لإثبات ZK في الزمن الحقيقي. → ثقة أكبر في رفع حدود الغاز في إيثريوم. → طريق نحو التحقق على أجهزة أكثر سهولة في الوصول. بالطبع، تحديد حدود خطوات التنفيذ لا يضمن تلقائيًا إثباتات ZK سريعة. لكنه أساس مهم. التحدي التالي لتوسعة إيثريوم ليس فقط جعل التنفيذ أسرع. بل جعل التكلفة الحسابية في أسوأ الحالات قابلة للتنبؤ وإثباتها رياضيًا. ومع تقدم حلول التدوير الخاصة بإيثريوم مثل @puffer_unifi نحو تقليل زمن الانتقال والتوافق التزامني، يصبح هذا النوع من الأبحاث أكثر صلة بأهمية متزايدة. https://t.co/SwPS2w3ic1