Zanjirlararo yangilanishlar
1) Vazifaning mohiyati va tavakkalchiliklar
Zanjirlararo yangilanish - bir vaqtning o’zida bir nechta zanjirlarga/bridjlarga/DA qatlamlariga/mikrosetlarga va ularning interfeyslariga (xabarlar, qadriyat hodisalari, RNFT huquqlari) ta’sir qiluvchi o’zgartirilgan mantiq/sxema/protokoldir. Tavakkalchiliklar:- versiyalar tafovuti (split-brain) va tartib/yakunlanganlik yo’qotilishi;
- ABI/sxemalarning nomuvofiqligi → «ovozsiz» xabarlar/osilgan vositalar;
- komplayensning buzilishi (geo/yoshi/sanksiyalar, ma’lumotlarni eksport qilish);
- ko’priklar va DA kaskadli uzilishlari.
Maqsad - qadriyatlarni to’xtovsiz yangilash: qat’iy invariantlarni saqlab qolish, qaytariluvchanlik, telemetriya va boshqariladigan degradatsiyani ta’minlash.
2) Zanjirlararo o’zgarishlar invariantlari
Order/Idempotency: strict-order per key; outbox/inbox,’idempotency _ key’va seen-jadvallar.
Finality-aware: challenge/reorglar oynalari hisobga olingan; yo’nalishlar minimal’FinalityLag’bo’yicha tanlanadi.
Compatibility First: SemVer - shartnomalar/ABI/hodisa sxemalari uchun.
Fail-closed: shubha → blok/qo’lda kvorum.
Compliance-gate: DID/VC, ZK-chegara (yosh/geo/sanksiyalar), eksport/retensiya siyosati.
Observability: `x_msg_id`, `route_id`, `bridge_id`, `governance_version`.
3) Versiyalash modeli
3. 1 Versiyalar oilasi
SemVer kontraktlari/ABI:’MAJOR. MINOR. PATCH’(MAJOR - buzuvchi).
Schema Voqealar ro’yxati: versiyalar va maydonlarning evolyutsiyasi (additive-first, deprecations s sunset).
Policy/Governance versiyasi: tarozilar/kvotalar/tariflar; har bir yangilanishda’governance _ version’mavjud.
Bridge/DA versiyasi: mustaqil muvofiqlashtirish va yakuniy kanallar.
3. 2 Version muzokaralar (handshake)
Version-negotiation: zanjirlararo chaqiruvda tomonlar eng kichik mos keladigan profilni tanlaydilar; aks holda - graceful reject.
Feature-flags: MAJOR-oʻzgarishlar oynalar/rollar/mintaqalar boʻyicha bayroqlar tomonidan faollashtiriladi (canary → cohort → global).
4) Zanjirlararo yangilanishlar taksonomiyasi
1. Mantiqiy: yangi biznes-mantiq, validatsiya qoidalari, tariflar/limitlar.
2. Sxema: hodisa maydonlari, maʼlumot modellari, indeksatsiya.
3. Protokol: yo’nalish, xabarlar belgisi, shifr/imzolar.
4. Infratuzilma: DA/bridjlar, sekvenserlar, POP/edge, Gas/fees.
5. Komplayens siyosati: hududlar, ZK ostonalari, eksport/retenshn.
6. Iqtisodiyot/rag’batlantirish: QF, RiskAdj, pullar/taqsimot.
7. Xavfsizlik: kalitlar/multisig, slashing-qoidalar, stop-kranlar.
5) Reliz tartib-taomillari (rollout strategy)
Preflight: simulyatsiyalar/qum qutilari, tarixiy trafikni replay, golden-set testlar.
Shadow/Observe: soyalar javoblarni hisoblab chiqadilar va joriy mantiq bilan solishtiradilar.
Canary: yo’nalishlar/rollar/hududlarning kichik ulushi, qattiq alertlar.
Cohort rollout: kogortada kengaytirish (geo/zanjir/QoS).
Dual-write/Dual-read: qat’iy tartib to’siqlari bilan ikki versiyadagi vaqtinchalik yozuv davri.
Sunset: uzaytirish kvorumi boʻlmasa, vaqtni avtomatik ravishda qaytarish.
Rollback: xavfsiz migratsiya holati bilan bir bosqichli qaytish (§ 8 ga qarang).
6) Yangilanishdagi utility-yechim
Aktiv yangilanishda yoʻnalish/koʻprik/yetkazib beruvchini tanlash:
Utility(route version) =
wL·Latency_p95 + wQ·QueueDepth + wF·FinalityLag
+ wC·Cost_per_unit + wR·RiskScore + wS·StabilityScore(version)
+ wG·Geo/PolicyPenalty
StabilityScore (version): soak/chaos oʻtmaguncha yangilari uchun jarima.
Tarozi profillari - QoS bo’yicha: Q4 ↑ wF, ↑ wS; Q1 ↑wC.
Invariantlar: Order ∧ Idempotency ∧ Quotas ∧ Compliance = true.
7) RNFT kontraktlari: yangilanishdagi huquqlar
Rollar uchun RNFTda (Operator/Provider/Bridge/DA/Curator/Compliance/Auditor) quyidagilar qayd etiladi:- ’upgrade _ rights’: kim tashabbus ko’rsatadi, kimning imzosi (multisig, k-of-n);
- ’freeze/stop’: shoshilinch to’xtash kranlari va kvorumlar;
- ’quorum & veto’: -tartib-taomillar (shu jumladan ishonch/sifat bo’yicha R-modifikator);
- ’escrow/insurance’: migratsiya hodisalarini qoplash;
- ’sunset’: bayroqlarni/ostonalarni vaqtincha tuzatish;
- ’finality _ windows’: yangilanish vaqtini kechiktirish.
8) Holat migratsiyasi va qaytaruvchanlik
State Delta Journal: migratsiyani delta jurnali (merkli-ildizlar, imzolar) yuritadi; orqaga qaytish - teskari deltalarni qo’llash.
Replay-to’siqlar: Q3/Q4 uchun: to’xtash → snapshot → reattach; «split-tartib» taqiqlangan.
Idempotent Upcasters: sxema konvertori orqali eski yozuvlarni oʻqish.
Cold/Warm switch: o’quvchilar/yozuvchilarni past yuklamali oynada almashtirish.
Finality Holdback: zanjirlararo to’lovlarni maqsadli finalgacha kechiktirish.
9) Muvofiqlik: ABI/sxemalar/xabarlar
ABI: MAJOR o’zgartirishlar - faqat fich-bayroq ortida; MINOR — additive; PATCH - mantiqsiz.
Yangiliklar:’nullable ’/default; olib tashlash - deprikatsiya va sunset orqali.
Xabar versiyasi:’msg. version’,’schema _ hash’, majburiy’compat _ min’.
Tartib va dedupni tekshirish: outbox/inbox, TTL bilan seen-jadvallar.
10) Xavfsizlik va kalitlar
Multisig/Threshold: asosiy yangilanishlar faqat chegaradagi imzolar orqali.
Timelocks: MAJOR oʻzgarishlarini kiritish oynalari, shunda audit/hamjamiyat javob berishga ulguradi.
ZK-asserts: ma’lumotlarni oshkor qilmasdan tanqidiy invariantlarga (masalan, balans-invariantlar) muvofiqlik dalillari.
Key-rotation: huquqlarni meros qilib olgan holda rotatsiya rejasi, o’tish davrida ikki tomonlama imzo.
11) Komplayens
Policy Preview: sintetika va haqiqiy «soya-trafik» siyosatining simulyatsiyasi.
Geo/age/sanctions: ZK-pruflar ostonalari; noaniqlikda - karantin.
Export/retention: DA/egress; regulyator uchun qarorlar jurnali.
Soliqlar/witholding: ko’priklar tugallanganda vaqtinchalik ushlab qolish.
12) Kuzatish va alertlar
Метрики: p50/p95/p99, retry/timeout, out-of-order/dup, DLQ depth, finality lag, cost/req, stability(version).
Отчеты: Upgrade Live, Finality & Bridges, Schema/ABI Health, Governance Queue.
Alertlar: error-budget burn, TailAmplification o’sishi, drift sxemalari, spike nosozliklari, flap-rate yo’nalishlari.
13) Testlar/simulyatsiyalar/xaos
Unit-kontraktlar: ABI/sxemalar, muvofiqlik qoidalari.
Trace-replay: invariant tekshirish bilan hikoya qilish.
Fuzz/Property-based: tasodifiy xabar/tartib/yakuniy skriptlar.
Chaos/Game-day: POP/ko’prik/DA qulashi, reorg-burstlar, narx shoklari.
Soak 24-72h: barqarorlik p95/p99/yakuniy/qiymat.
14) Yangilash iqtisodiyoti
Budget-caps: davr uchun qiymat chegaralari; ortiqcha yuklashda surge-jarimalar.
QF-bonuslar: yangilash oynasida SLOga bardosh bergan provayderlarga.
RiskAdj: qoidabuzarliklarda to’lovlarni vaqtinchalik kamaytiruvchi ko’paytirgich.
Treasury hooks: tasdiqlangan hodisalar uchun sug’urta pulidan kompensatsiya.
15) (tartib-taomillar va shaffoflik)
Propozallar: o’zgarish tavsifi, xavf-tahlil, qaytarish rejasi, yakuniy oynalar.
Kvorumlar/veto: roli va og’irligi; Ishonch/sifat R-modifikatori.
Oshkoralik: versiya pasportlari, diff-mantiq, yangilanishdan keyingi hisobotlar.
Sunset-tuzatishlar: vaqtinchalik sozlamalarni avtomatik ravishda qaytarish.
16) Zanjirlararo yangilanishlar KPI
Ishonchlilik: 0 ta keskin tartib/yakuniy buzilishlar; DLQ oʻsmaydi.
Kechikish: yoʻlakda p95/p99; TailAmplification ≤ maqsadli.
Yakuniy: FinalityLag byudjetdan ortiqcha oʻsmaydi; 0 ta yolg’on tasdiqlash.
Iqtisodiyot: Budjetda Cost/Req; ≤ chegarasini kompensatsiya qilish.
Operatsiyalar: MTTR hodisalar ↓; flap-rate yo’nalishlari yomonlashmayapti.
Komplayens: 100% gating o’tish; 0 eksport/retensiya buzilishi.
: TTC SLAda o’tkazib yuborildi; sunset-qaytarmalar ulushi.
17) Formulalar va mo’ljallar
SuccessRate = 1 − (timeouts+errors)/requests
TailAmplification = p99/p50 (↓)
Headroom = (cap − current)/cap
FinalityScore = f(lag, variance, reorgs)
Stability(version) = 1 − norm(incidents, flap, drift)
QualityFactor (QF) = f(success, p95, DLQ, finality)
SLO (misol):- Q4: success ≥ 99. 99%, p95 ≤ 200 ms, DLQ = 0, MTTR ≤ 15 min.
- Bridges/DA: yakuniy ≤ 3 × T _ block, reorg ≈ 0.
18) Joriy etish pleybuki (qadamlar)
1. Tashabbus ko’rsatish: o’tib ketish, xavf-tahlil, qaytarish rejasi, yakuniy/komplayensni baholash.
2. Tayyorlash: SemVer/ABI, sxemalar va upcasters, ficha-bayroqlar, RNFT-huquqlar/kvorumlar.
3. Testlar: unit/trace-replay/fuzz, policy-preview, ZK-asserts invariantlar.
4. Kuzatish darajasi: panellar/alertlar, KPIs etalon chegaralari.
5. Shadow → Canary: soyalar/taqqoslash, kichik kogortlar, qattiq alertlar.
6. Cohort rollout: mintaqa/zanjir/QoS bosqichma-bosqich; finality-holdback to’lovlari.
7. Dual-write/o’qish: tartib to’siqlari, replikatsiya va solishtirish.
8. Soak/Chaos: endurance va nosozlik stsenariylari.
9. Globallashuv: bayroqlarni olib tashlash, hujjatlarni/bayroqlarni yangilash.
10. Post-mortem: hisobot, signatura/chegara/gaydalarni yangilash.
19) Oziq-ovqat tayyorgarligi chek-varaqasi
- SemVer/ABI и Schema Registry с upcasters
- Ficha bayroqlari, aktivatsiya oynalari, sunset parametrlari
- RNFT huquqlari: kvorumlar, stop-kranlar, eskrou/sug’urta puli
- Outbox/inbox, idempotency, replay-to’siqlar
- Finality-plan: bridge/DA oynalari, to’lovlar holdback
- Observability: izlash, Upgrade/Finality/ABI panellari
- Komplayens-prevyu, ZK-pruflar, eksport/retenshn siyosati
- Simulyatsiyalar, shadow, canary, cohort, soak/chaos
- Rollback rejasi va delta holati jurnali
- Ommaviy hisobot va -reyestrlarni yangilash
20) Glossariy
SemVer/ABI: semantik versiyalash/kontraktlar interfeyslari.
Upcaster: oʻqishda eski yozuvlarni yangi sxemaga oʻzgartirgich.
FinalityLag: zanjirlararo hodisaning qaytarib boʻlmaydigan oynasi.
Outbox/Inbox: kafolatlangan yetkazib berish/idempotentlik.
RNFT: munosabatlar/huquqlar/limitlar va KPI kontrakti.
Sunset: Vaqtning avto-qaytishi.
Shadow/Canary/Cohort: bosqichma-bosqich chiqish strategiyalari.
21) Jami
Zanjirlararo yangilanishlar - bu boshqariladigan intizom: versiyalar → bayroqlar → bosqichma-bosqich ishga tushirish → yakuniy/mos kelish → kuzatish → orqaga qaytish. Tartib va komplayensning qatʼiy invariantlari, RNFT huquqlari, simulyatsiyalari va shaffofligi bilan ekotizim ogʻriqsiz va oldindan aytib boʻlmaydigan tarzda yangilanib, ishtirokchilarning doimiy qadriyati va ishonchini saqlab qolmoqda.