[
    {
        "id": "osp-18508",
        "type": "article-journal",
        "title": "متى يمكن للاسترداد عديم الحالة أن يهزم أمان نصاب بيزنطي؟ شكل طبيعي محكم لـ BFT أحادي الخطوة",
        "author": [
            {
                "family": "Mallick",
                "given": "Arnab"
            },
            {
                "family": "Chebolu",
                "given": "Indraveni"
            }
        ],
        "URL": "https://omanscience.com/ar/articles/when-can-stateless-recovery-defeat-byzantine-quorum-safety-a-tight-normal-form-for-single-step-bft",
        "language": "en",
        "issued": {
            "date-parts": [
                [
                    2026
                ]
            ]
        },
        "abstract": "يعتمد أمان نصاب Byzantine على رفض النسخ الصحيحة توقيع قيم متعارضة. وقد ينسى نسخة تفقد حالة البروتوكول أثناء الاستعادة، لكنها تحتفظ بهويتها ومفتاح توقيعها، فتنسى تصويتاً سابقاً. ندرس الشهادات المتكونة من تطابق أصوات موقّعة من q من أصل n نسخة على الأقل، مع افتراض أن كل نسخة صحيحة تتجنب الأصوات المتعارضة بين الاستعادات. فإذا تكوّنت شهادتان متعارضتان، يكون حجم تداخلهما بين 2q−n وb+c، حيث يعدّ b النسخ البيزنطية وc الهويات الصحيحة التي استُعيدت خلال التنفيذ المعني. وتفكك نتيجتنا الرئيسية الفائض b+c−(2q−n) إلى أربعة أعداد غير سالبة: موقعون إضافيون في الشهادة الأولى، وموقعون إضافيون في الثانية، وهويات ليست في أي من الشهادتين، وهويات بيزنطية أو مستعادة خارج تداخلها. ويفرض الفائض الصفري تقسيماً دقيقاً للموقعين. ومع n=3f+1 نسخة، وعتبة q=2f+1، وما يصل إلى f نسخة بيزنطية، وحدث استعادة صحيح واحد بالضبط، يفرض أي زوج متعارض وجود f نسخة بيزنطية بالضبط، جميعها في التداخل مع النسخة المستعادة؛ ولكل شهادة جانب منفصل من f نسخة صحيحة. ويحقق بروتوكول أدنى هذا الشكل. نميز بين تكوّن الشهادة وقبولها، ونقدم فحصاً كافياً باستخدام حدود الأعطال والاستعادة المضبوطة، ونوضح لماذا تمنع سجلات التصويت الدائمة المكتوبة قبل إصدار التوقيع التعارض."
    }
]