Hyra: محرك تخزين حالة قابل للتوسع ومقاوم لأخطاء بيزنطية مع ترميز إزاحة هرمي

تحافظ سلاسل الكتل المعتمدة على الحسابات على بيانات الحالة المتطورة، مثل أرصدة الحسابات، عبر جميع النسخ لضمان التناسق. ومع ذلك، فإن نموذج التكرار الكامل التقليدي يتسبب في تحميل تخزين كبير ويحد من القابلية للتوسع، خاصة مع زيادة throughput المعاملات. بينما يُعد التقسيم حلاً طبيعياً، إلا أن تطبيقه على حالة سلسلة الكتل يمثل تحدياً بسبب الاعتمادات الهيكلية ومتطلبات التحقق ووجود أخطاء بيزنطية. نقدم Hyra، محرك تخزين حالة قابل للتوسع يمكّن التقسيم المقاوم للأخطاء وفعال للحالة. يقدم Hyra: (i) تقسيم واعي بالمحلية مع فهرسة مضمنة للحفاظ على كفاءة الوصول؛ (ii) ترميز إزاحة هرمي مع استرداد تحت الشرائح لتقليل عبء فك الترميز؛ و(iii) آلية تحقق هجينة تجمع بين الالتزامات المتجهية وأشجار ميركل للتحقق الدقيق من السلامة. يحقق تصميمنا تكرارًا مثاليًا قابل للإثبات مع الحفاظ على حمل تخزين ثابت لكل نسخة. تُظهر التجارب أن Hyra يقلل من التخزين بنسبة تصل إلى 92.3% دون التأثير على الأداء.