🔒🖼️ منشور جديد: معاملات 🔒🖼️ الإطارات المشفرة ملخص؛ DR: تبنى معاملات الإطارات المشفرة على LUCID وEIP-8141 لإخفاء معلمات التنفيذ (الهدف، بيانات الاستدعاء، المبالغ) حتى يتم قفل ترتيب الكتلة. هذا التصميم يفتح التنفيذ المشفر بنفس المداخلة، والمعاملات النصية العادية/المشفرة المتداخلة، وهو متوافق مستقبليا مع أنظمة PQ. 👇🧵

تصاميم المبوك المشفرة اليوم (مثل LUCID) تؤخر التنفيذ إلى الفتحة التالية وتستخدم مسارا مخصصا من أعلى الكتلة للمعاملات المشفرة. يقترح هذا المنشور تنفيذ مشفر بنفس الفتحة عن طريق فصل الترتيب عن التنفيذ. يلتزم البناء بمجموعة المعاملات المرتبة بالكامل قبل الكشف عن أي مفتاح، ثم ينفذ ذلك الطلب المرتب في نفس الخانة.

في ePBS القياسي، يلتزم المنشئ بعرض block_hash محسوب مسبقا. هذا لا يعمل هنا لأن النتيجة النهائية تعتمد على أي الرسائل المشفرة يتم الكشف عنها وما يتم فك تشفيرها إليه. بدلا من ذلك، يلتزم العرض ب tx_ordering_root، مما يقفل قائمة المعاملات الكاملة قبل الكشف عنها. المخرجات المعتمدة على التنفيذ (state_root، BAL، الإيصالات) ترتبط فقط بعد ذلك.

هذا هو الفرق الرئيسي عن LUCID. في LUCID، يتم تحرير المفاتيح خلال الفتحة N ويتم التنفيذ من أعلى الكتلة في الفتحة N+1. المطور التالي يعرف بالفعل المعاملات التي تم فك تشفيرها عند وضع بقية الكتلة. هنا، يحدث الالتزام قبل الكشف، ويبقى التنفيذ في نفس الفتحة، ويتم دمج الرسائل المشفرة مع النص الأصلي في ترتيب واحد.

كل إطار مشفرة له إطار VERIFY عام ومرحلة تنفيذ مشفر مخفية. يلتزم الظرف ب exec_params_binding = H(exec_params). الهدف، بيانات المكالم، المبلغ، واختياريا رسوم الأولوية تبقى مخفية حتى الكشف عنها. إذا لم يصل المفتاح قبل موعد الكشف من قبل البنوي، يتم تخطي المرحلة المشفرة. لا يزال VERIFY يعمل، ويتم استهلاك النونس، والمرسل يدفع مقابل الجزء العام. يتم استرداد غاز الإعدام المخفي. الطلب يبقى ثابتا بغض النظر.

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

حول مشكلة الخيار الحر (الآخر): يمكن للمرسل الذي يفك التشفير ذاتيا ملاحظة الترتيب الملتزم واختيار الكشف فقط عندما يكون الوضع مناسبا، مما يجعل الوضع يحمل خيارا حرا عند التنفيذ. هناك تدابير مثل الرسوم الإضافية على الرسائل المشفرة أو عقوبات التخطي، لكن أعتقد أن هناك حاجة لمزيد من الاستكشافات لاتخاذ القرارات النهائية.