Vitalik: ماذا يمكن تحسينه في Ethereum POS؟

العنوان الأصلي:>العقود الآجلة المحتملة لبروتوكول Ethereum ، الجزء 1: الدمج

المؤلف: Vitalik ، مؤسس Ethereum ، المترجمة: Deng Tong ، Baitchain Vision

في البداية ، يشير “الاندماج” إلى أهم حادث اتفاقية Ethereum منذ إطلاقه: انتقال طويل ومرتفع من POW إلى نقاط البيع.في الوقت الحاضر ، تعمل Ethereum بشكل ثابت منذ ما يقرب من عامين ، وقد كان أداء نقاط البيع هذا جيدًا من حيث الاستقرار والأداء وتجنب المخاطر المركزية.ومع ذلك ، لا يزال لدى POS بعض المجالات المهمة التي يتعين تحسينها.

تقسم خارطة الطريق التي رسمتها في عام 2023 إلى عدة أجزاء:تحسين الخصائص التقنية ، مثل الاستقرار والأداء وإمكانية الوصول إلى التحقق الصغيروالتغيير الاقتصادي للتعامل مع المخاطر المركزية.أصبح الأول جزءًا من “الاندماج” ، وأصبح الأخير جزءًا من “The Scourit”.

ستركز هذه المقالة على قسم “الاندماج”:ما هي التصميم الفني لشهادة الأسهم (POS) التي يمكن تحسينها وما هي طرق تحقيق هذه التحسينات؟

هذه ليست قائمة مفصلة بالأشياء التي يمكن القيام بها بواسطة POS ؛

فتحة فتحة واحدة (SSF) والديمقراطية التعهد (SSF)

ما هي المشاكل التي نحلها؟

في الوقت الحاضر ، يتطلب Ethereum 2-3 عصر (حوالي 15 دقيقة) لتحديد الكتلة أخيرًا ، و 32 ETH مطلوبة لتصبح pledker.

كان هذا في الأصل حل وسط جعل توازن بين الأهداف الثلاثة أدناه:

• تعظيم عدد التحققات المشاركة في التعهد (مما يعني مباشرة الحد الأدنى الكمية المطلوبة للحصول على الحد الأدنى من التعهد)

• تقليل الوقت النهائي

• لتقليل نفقات تشغيل العقد

هذه الأهداف الثلاثة تتعارض مع بعضها البعض: من أجل تحقيق “اليقين النهائي الاقتصادي” (النهائي الاقتصادي ، يحتاج المهاجمون إلى تدمير عدد كبير من ETH لاستعادة الكتلة النهائية). يجب توقيع الرسائل.لذلك ، إذا كان لديك العديد من التحقق ، فسوف تستغرق وقتًا طويلاً للتعامل مع جميع التوقيعات ، أو كنت بحاجة إلى عقد قوية للغاية للتعامل مع جميع التواقيع في نفس الوقت.

يرجى ملاحظة أن كل هذا يعتمد على هدف رئيسي في Ethereum: ضمان أن الهجمات الناجحة ستؤدي إلى ارتفاع تكاليف للمهاجمين.هذا هو معنى كلمة “التعريف النهائي الاقتصادي”.إذا لم يكن لدينا هذا الهدف ، فيمكننا أخيرًا تحديد كل فتحة لحل هذه المشكلة عن طريق الاختيار العشوائي للجنة (مثل Algrand).لكن مشكلة هذه الطريقة هي أنه إذا كان المهاجم يتحكم في 51 ٪ من التحقيقات ، فيمكنهم الهجوم بتكاليف منخفضة للغاية (ألغي الكتلة النهائية المحددة أو المراجعة أو تأخير القرار النهائي): فقط في لجنة اللجنة هي واحدة في اللجنة.هذا يعني أن المهاجم يمكنه مهاجمة السلسلة مرارًا وتكرارًا.لذلك ، إذا أردنا اليقين النهائي الاقتصادي ، فإن الطريقة البسيطة القائمة على اللجنة غير قادرة على ذلك.

من الناحية المثالية ، نأمل أن نحتفظ باليقين النهائي الاقتصادي ، وفي الوقت نفسه تحسين الوضع الراهن في المجالين:

1.

2. التحقق من التحقيقات بالتعهد 1 ETH (في الأصل 32 ETH)

عقلانية الهدف الأول تأتي من الهدفين.

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

الهدف الثاني هو بسبب الرغبة في دعم التعهدات الفردية.تُظهر استطلاعات الرأي العام المتكرر مرارًا وتكرارًا أن العامل الرئيسي لمنع تعهد المزيد من الأشخاص الفردي هو الحد الأدنى من 32 ETH.سيؤدي تقليل الحد الأدنى إلى 1 ETH إلى حل هذه المشكلة بحيث أصبحت المشكلات الأخرى هي العامل الرئيسي الذي يقيد التعهد الفردي.

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

ما هو SSF وكيف يعمل؟

يتضمن التصميم النهائي لـ Single Slot استخدام خوارزميات الإجماع التي تنتهي الكتلة في فتحة.هذا ليس هدفًا صعبًا في حد ذاته: لقد حققت العديد من الخوارزميات (مثل إجماع الأنينا) هذا مع أفضل سمة.واحدة من السمات المثالية الفريدة لـ Ethereum هي “عدم وجود تسرب تسرب النشاط”.لحسن الحظ ، تم حل هذه الرغبة: هناك بالفعل مقترحات لتعديل إجماع الأنينا للتكيف مع تسرب عدم النشاط.

اقتراح التعريف النهائي للفتحة الفردية الرائدة

الجزء الأكثر صعوبة في المشكلة هو كيفية جعل اليقين النهائي لفتحة واحدة يلعب دورًا عندما يكون عدد التحقيقات مرتفعًا للغاية ، ولن يؤدي ذلك إلى ارتفاع مشغل العقدة.لهذا السبب ، هناك العديد من الحلول الرائدة:

• الخيارات 1: Battle-Strive لتحقيق بروتوكول تجميع أفضل توقيع ، والذي قد يستخدم ZK-Snarks ، والذي يتيح لنا بالفعل معالجة التواقيع من ملايين التحقيقات في كل فتحة.

القرن ، أحد التصميمات المقترحة لاتفاقية تجميع أفضل.

• الخيار 2: لجنة المدار-آلية جديدة تتيح أن تكون اللجان المتوسطة المختارة عشوائياً مسؤولة عن إكمال السلسلة ، ولكن للاحتفاظ بالطريقة التي نبحث عنها بخصائص تكلفة تكاليف الهجوم.
  تتمثل إحدى الطرق للتفكير في المدار SSF في أنه فتح مساحة خيار التسوية ، من X = 0 (لجنة أسلوب الخوارزمية ، وهي اليقين النهائي للاقتصاد) في هذه المرحلة ، لا يزال Ethereum لديه يقين اقتصادي كافٍ على ذلك تأكد آمنًا للغاية ، ولكن في الوقت نفسه ، حصلنا على ميزة الكفاءة لكل فتحة مع تحقيقات متوسطة فقط للمشاركة في كل فتحة.

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

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

• الحق في توقيف التعهدات إلى تعهدات عالية المستوى

• استخرج بشكل عشوائي تعهدات منخفضة المستوى لإثباتها وتحديد كل كتلة أخيرًا

• الحق في توليد حق قوائم التضمين

ما هي الروابط مع الأبحاث الحالية؟

• طريقة لتحقيق القرار النهائي لفتحة واحدة (2022):>https://notes.ethereum.org/@vbuterin/single_slot_finality

• الاقتراح المحدد لبروتوكول التحديد النهائي لفريق Ethereum Single (2023):https://eprint.iacr.org/2023/280

• مدار SSF:>https://ethreesear.ch/t/orbit-ssf-solo-staking-friendly-validator-set-management- ssf/19928>

• مزيد من التحليل لآلية نمط المدار:<أ<أhttps://notes.ethereum.org/@anderselowson/vorbit_ssf

• قرن ، اتفاقية تجميع التوقيع (2022):>>https://ethreear.ch/t/horn-collecting-signatures-faster-finality/142199

• اندماج توقيع الإجماع الكبير (2023):>https://ethreesear.ch/t/signature-merging-for- consonsus- consonsus/17386؟ u = asn>

• >خوفراتوفيتشفي انتظار اتفاقية تجميع التوقيع المقترحة:>>https://hackmd.io/@7dpnyqjkqgeyc7wmlpxhtq/bykm3ggu0 #/

• تجميع التوقيع القائم على أساس Stark (2022):https://hackmd.io/@vbuterin/stark_aggregation

• تعهد قوس قزح:https://ethreesear.ch/t/unbundling-staking-towards-roainbow-stake/18683

ماذا علي أن أفعل؟ما الذي تحتاجه للوزن؟

هناك أربعة مسارات رئيسية ممكنة للاختيار من بينها (يمكننا أيضًا تبني مسار مختلط):

1. الحفاظ على الوضع الراهن

2. مدار SSF

3 ، القوة الغاشمة SSF

4. SSF مع طبقتين من آلية التعهد

1 يعني أنك لا تفعل أي شيء والاحتفاظ به ، ولكن هذا سيجعل تجربة الأمن في Ethereum وتعهد سمات المركزية أسوأ من الأصل.

2 تجنب “التكنولوجيا عالية” ، وحل المشكلة عن طريق إعادة تنظيم الاتفاقية بمهارة: نرخي متطلبات “التعريف النهائي الاقتصادي” ، بحيث نطلب أن يكون الهجوم باهظ الثمن ، ولكن قد تكون تكلفة الهجوم 10 مرات من هذا الحاضر الآن.يُعتقد عمومًا أن التعريف الاقتصادي الحالي لـ Ethereum يتجاوز بكثير المستوى الذي يحتاجه.

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

3 تجنب التفكير العبقري ، ولكن حل المشكلة بالقوة مع التكنولوجيا الفنية العالية.للقيام بذلك ، يستغرق الأمر فترة قصيرة من الوقت (5-10 ثانية) لجمع عدد كبير من التواقيع (أكثر من مليون).

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

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

• إذا كانت هناك حاجة إلى عينات عشوائية للموافقة على كل كتلة ، يحتاج المهاجم فقط إلى إنفاق كمية صغيرة من ETH لمنع اليقين النهائي.

• إذا كان بإمكان Lower -Level Pledgee إنتاج قائمة فقط ، فقد تحافظ طبقة الإثبات على المركزية.

يمكنك الجمع بين استراتيجيات متعددة ، مثل:

1 + 2: إضافة مدار ، ولكن لا تنفذ الطبيعة النهائية للفتحة الفردية

1 + 3: استخدم تقنية قوية لتقليل الحد الأدنى لمبلغ الإيداع دون الحاجة إلى الانتهاء من فتحات واحدة.مبلغ التجميع المطلوب أقل 64 مرة من الموقف (3) ، وبالتالي تصبح المشكلة أسهل.

2 + 3: استخدم المعلمات المحافظة لتنفيذ SSF للمدار (على سبيل المثال ، لجنة التحقق من 128K ، وليس 8K أو 32K) ، واستخدم تقنية القوة الغاشمة لجعلها فعالة للغاية.

1 + 4: أضف تعهد قوس قزح ، لكن لا تقوم بتأكيد نهائي فتحة واحدة

كيف تتفاعل SSF مع أجزاء أخرى من خريطة الطريق؟

بالإضافة إلى الفوائد الأخرى ، فإن التحديد النهائي للفتحة يقلل أيضًا من خطر هجمات MEV المتعددة لأنواع معينة من MEV.بالإضافة إلى ذلك ، في عالم التصميم النهائي للفتحات الفردية ، يجب تصميم تصميم فصل المثلان والفصل وقنوات إنتاج الكتلة الداخلية الأخرى بطرق مختلفة.

ضعف استراتيجية القوة الغاشمة هو أنها تجعل من الصعب تقليل وقت الفتحة.

انتخابات زعيم سرية واحدة (SSLE)

ما هي المشاكل التي نحلها؟

اليوم ، والتي ستقترح التحديات أن الكتلة التالية يمكن أن تعرف مقدمًا.سيؤدي ذلك إلى تحقيق ثغرة أمنية: يمكن للمهاجم مراقبة الشبكة ، وتحديد عنوان IP المقابل للتحققات ، وإطلاق هجوم DOS عليه عندما يكون التحقق على وشك اقتراح الكتلة.

ما هو SSLE وكيف يعمل؟

أفضل طريقة لحل مشكلة DOS هي إخفاء التحقيقات التي ستقوم بإنشاء معلومات الكتلة التالية ، على الأقل قبل إنشاء الكتلة الفعلية.يرجى ملاحظة أنه إذا حذفنا المتطلبات “الفردية” ، فهذا أمر سهل: الحل هو السماح لأي شخص بإنشاء الكتلة التالية ، ولكن يتعين على Randao الكشف عن أقل من 2 256/ N.في المتوسط ​​، يمكن لمقدية واحدة فقط أن تلبي هذا المطلب -ولكن في بعض الأحيان يكون هناك اثنان أو أكثر ، وأحيانًا لن يكون هناك لا.لقد كانت دائمًا مشكلة في الجمع بين المتطلبات “السرية” مع المتطلبات “الفردية”.

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

بروتوكول SSLE خفقت

ما هي الروابط مع الأبحاث الحالية؟

• ورقة دان بونه (2020):https://eprint.iacr.org/2020/025.pdf

• خفقت (اقتراح محدد لـ Ethereum ، 2022):https://ethreesear.ch/t/whisk-a-practical-shuffle-base-sprotocol-iterum/11763

• ملصق انتخابات قائد سري واحد على ethresear.ch:https://ethreesear.ch/tag/single-secret- قائد الانتخابات

• SSLE المبسط باستخدام توقيع الحلقة:https://ethreesear.ch/t/simplify-ssle/12315

ماذا علي أن أفعل؟ما الذي تحتاجه للوزن؟

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

في النهاية ، قد يحدث هذا: فقط عندما حاولنا بجرأة وقدمنا ​​الآلية لتنفيذ شهادة المعرفة الصفرية العامة في بروتوكول Ethereum في L1 لأسباب أخرى (مثل شجرة الدولة ، ZK-EVM) ” تسقط إلى مستوى منخفض بما فيه الكفاية.

هناك خيار آخر هو تجاهل SSLE على الإطلاق ، ولكن حل مشكلة DOS مع إجراء تخفيف (كما هو الحال في طبقة P2P) خارج البروتوكول.

كيف يمكن أن تتفاعل مع أجزاء أخرى من خريطة الطريق؟

إذا أضفنا إثباتًا-لن تحتاج آلية الفصل (APS) ، مثل التنفيذ T 4 ، فلن تحتاج كتلة التنفيذ (أي ، تداول كتلة Ethereum) إلى SSLE لأننا نستطيع الاعتماد على بناة الكتل المتخصصة.ومع ذلك ، بالنسبة لكتل ​​الإجماع (أي الكتل بما في ذلك رسائل البروتوكول مثل البراهين ، والأجزاء التي قد تشمل القوائم ، وما إلى ذلك) ، سنستفيد من SSLE.

تأكيد التداول السريع

ما هي المشاكل التي نحلها؟

من المهم أن يتم تقصير وقت تأكيد المعاملة من Ethereum من 12 ثانية إلى 4 ثوان.سيؤدي ذلك إلى تحسين تجربة المستخدم القائمة على L1 و Rollups بشكل كبير ، مع جعل بروتوكول DEFI أكثر كفاءة.كما أنه سيجعل L2 غير مركزي أسهل لأنه سيسمح لعدد كبير من تطبيقات L2 بالعمل على قوائم Rollups ، مما يقلل من L2 لبناء احتياجات الفرز اللامركزية القائمة على اللجنة.

تأكيد التداول السريعماذا وكيف يعمل؟

هناك عمومًا تقنيتان هنا:

1. تقليل وقت الفتحة ، مثل تقليل إلى 8 ثوان أو 4 ثوان.هذا لا يعني بالضرورة اليقين النهائي البالغ 4 ثوانٍ: يتطلب التصميم النهائي بحد ذاته اتصالًا بثلاثة عجلات ، حتى نتمكن من ضبط كل جولة من التواصل على كتلة منفصلة ، والتي ستكون على الأقل تأكيدًا أوليًا بعد 4 ثوان.

2. المدعون لنشر التأكيد قبل فترة الفتحة.في الحالات القصوى ، يمكن أن يتضمن الاقتراح المعاملات التي يرونها في الوقت الفعلي ، ونشر على الفور رسالة التأكيد قبل التأكيد لكل معاملة (“المعاملة الأولى هي 0 × 1234 …” ، “أنا المعاملة الثانية هي 0 × 5678 … “).يمكن التعامل مع الاقتراح الذي أصدر تعارضين في تأكيد الصراع بطريقتين: (1) العقوبة على الاقتراح ، أو (2) لاستخدام الشهود للتصويت قبل أن يكون أحدهما سابقًا.

ما هي الروابط مع الأبحاث الحالية؟

• بناءً على تأكيد ما قبل:https: //ethreear.ch/t/based-preconfirmations/17353

• وعود الاقتراح القسري الاتفاق (PEPC):>https://ethreesear.ch/t/unbundling-pbs-towards-protocol-proposer-somments- pepc/13879

• الدورة المتداخلة على السلسلة المتوازية (فكرة انخفاض الكمون في عام 2018):https://ethreear.ch/t/staggered- فترات/1793

ماذا علي أن أفعل؟ما الذي تحتاجه للوزن؟

من غير الواضح تقصير جدوى وقت الفتحة.حتى اليوم ، يصعب الحصول على دليل في العديد من المناطق في العالم.هناك خطر من تركيز التحقيقات في وقت الفتحة البالغ 4 ثوان ، وبسبب التأخير ، من غير العملي أن تصبح مصادقة خارج بعض الامتيازات.

إن ضعف الاقتراح قبل توجيه الطريقة هو أنه يمكن أن يحسن بشكل كبير وقت إدراج الموقف المتوسط ​​، لكنه لا يمكن أن يحسن أسوأ موقف: إذا كان الاقتراح الحالي يعمل بشكل جيد ، فسيتم تأكيد معاملتك مسبقًا في 0.5 ثانية بدلاً من (المتوسط) 6 6 6 ، يتم تضمينه في ثوانٍ ، ولكن إذا كان الاقتراح الحالي غير متصل بالإنترنت أو يعمل بشكل سيء ، فلا يزال عليك الانتظار لمدة 12 ثانية لبدء في المرة القادمة وتقديم مقترحات جديدة.

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

من ناحية أخرى ، إذا لم نحاول القيام بذلك والحفاظ على وقت التحديد النهائي في 12 ثانية (أو أكثر) ، فإن النظام البيئي سيولي المزيد من الاهتمام لآلية التأكيد قبل الطابق الثاني ، والتفاعل عبر 2nd سوف يستغرق الطابق وقتًا أطول.

كيف يمكن أن تتفاعل مع أجزاء أخرى من خريطة الطريق؟

استنادًا إلى التأكيد المسبق للاقتراح ، فإنه يعتمد فعليًا على آلية فصل الدفاس والتقدم (APS) ، مثل

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

شكرًا لك على ملاحظات ومراجعة Justin Drake و Hsiao-Wei Wang و@Antonttc و Francesco.