شاهدت نفس المعادلة تُراجَع مرتين اليوم، وكدت أتخطّى فهم السبب.
قرأت تقريرًا أمنيًا عن Dusk، وصيغـة رسوم: حدّ الغاز × سعر الغاز = الرسوم القصوى. تُفرض هذه مرتين: مرة عند دخول المعاملة إلى الـ mempool، ومرة داخل تنفيذ الـ VM.
في القراءة الأولى، ظننت أن ذلك تكرار. أحزمة وأربطة—لا شيء يستدعي التعمّق.
لم أَصمد أمام الفقرة التالية. فرض الرسوم داخل الـ mempool وحده لم يكن كافيًا. المُنشئ الخبيث (المقترح) ليس مُلزَمًا بأن يدرج فقط النسخة الصادقة داخل الـ mempool من حقول المعاملة.
هنا الفجوة الفعلية. القيمة التي ثُبّتت أو وُقّعت في جزء من المعاملة لا تُلزم كل الطبقات التي تستهلكها لاحقًا. يمكن لشخص أن يلتزم برسوم قصوى شرعية سلفًا، ثم يزوّد رسومًا مختلفة للتنفيذ، ما لم يرفض التنفيذ بشكل مستقل الوثوق بأن الفحص السابق قد حدث.
وقّع وأثبت الرسوم القصوى، افحصها في الـ mempool، وليبنِ المُقترح الكتلة دون أي التزام بالحفاظ على ذلك. يقوم الـ VM بتنفيذ منطق الاسترداد تجاه ما وصل فعليًا.
تعود الفكرة للدوران حول هذا: معظم الثقة تعتمد على بقاء المُقترح صادقًا بين نقاط التفتيش، وهذه هي بالضبط الافتراض الذي وُجدت من أجله فحوص التحقق الثانية لأنها لا يمكن الاعتماد عليها.
لا أعرف كم حقلاً آخر في خط الأنابيب هذا يتلقى طبقة واحدة فقط من هذا النوع.
ماذا يحدث لهذا الفحص في ظل ازدحام حقيقي؟ وماذا عن المُقترحين تحت ضغط البناء بسرعة؟ 👍
#dusk $DUSK @Dusk
قرأت تقريرًا أمنيًا عن Dusk، وصيغـة رسوم: حدّ الغاز × سعر الغاز = الرسوم القصوى. تُفرض هذه مرتين: مرة عند دخول المعاملة إلى الـ mempool، ومرة داخل تنفيذ الـ VM.
في القراءة الأولى، ظننت أن ذلك تكرار. أحزمة وأربطة—لا شيء يستدعي التعمّق.
لم أَصمد أمام الفقرة التالية. فرض الرسوم داخل الـ mempool وحده لم يكن كافيًا. المُنشئ الخبيث (المقترح) ليس مُلزَمًا بأن يدرج فقط النسخة الصادقة داخل الـ mempool من حقول المعاملة.
هنا الفجوة الفعلية. القيمة التي ثُبّتت أو وُقّعت في جزء من المعاملة لا تُلزم كل الطبقات التي تستهلكها لاحقًا. يمكن لشخص أن يلتزم برسوم قصوى شرعية سلفًا، ثم يزوّد رسومًا مختلفة للتنفيذ، ما لم يرفض التنفيذ بشكل مستقل الوثوق بأن الفحص السابق قد حدث.
وقّع وأثبت الرسوم القصوى، افحصها في الـ mempool، وليبنِ المُقترح الكتلة دون أي التزام بالحفاظ على ذلك. يقوم الـ VM بتنفيذ منطق الاسترداد تجاه ما وصل فعليًا.
تعود الفكرة للدوران حول هذا: معظم الثقة تعتمد على بقاء المُقترح صادقًا بين نقاط التفتيش، وهذه هي بالضبط الافتراض الذي وُجدت من أجله فحوص التحقق الثانية لأنها لا يمكن الاعتماد عليها.
لا أعرف كم حقلاً آخر في خط الأنابيب هذا يتلقى طبقة واحدة فقط من هذا النوع.
ماذا يحدث لهذا الفحص في ظل ازدحام حقيقي؟ وماذا عن المُقترحين تحت ضغط البناء بسرعة؟ 👍
#dusk $DUSK @Dusk
