Навсозиҳои байниминтақавӣ
1) Моҳияти вазифа ва хатарҳо
Навсозии байниминтақавӣ як мантиқ/схема/протоколи тағирёфта мебошад, ки ҳамзамон ба якчанд схемаҳо/пулҳо/қабатҳои DA/микрогридҳо ва интерфейсҳои онҳо (паёмҳо, рӯйдодҳои арзиш, ҳуқуқҳои RNFT) таъсир мерасонад. Хатарҳо:- номутобиқатии версияҳо (тақсимшавӣ-майна) ва аз даст додани тартиб/ниҳоӣ;
- номувофиқатии ABI/схемаҳо → паёмҳои гунг/асбобҳои овезон;
- вайрон кардани мувофиқат (гео/синну сол/санксия, содироти маълумот);
- нокомии купрукҳо ва DA.
Ҳадаф навсозии арзишҳо бидуни таваққуф аст: инвариантҳои қатъиро нигоҳ доред ва баргардонидан, телеметрия ва таназзули идорашавандаро таъмин кунед.
2) Тағйирдиҳандаҳои тағйирёбанда
Фармоиш/Idempotency: тартиби қатъӣ барои як калид; outbox/inbox, 'idempotency _ key' ва мизҳои дидашуда.
Огоҳии ниҳоӣ: тирезаҳои мушкил/reorg ба ҳисоб гирифта мешаванд; хатсайрҳо мувофиқи ҳадди аққали 'Finality' интихоб карда мешаванд.
Мутобиқат Аввал: Semver барои шартномаҳо/ABI/схемаҳои чорабинӣ.
Нокомӣ: шубҳа → блок/кворуми дастӣ.
Дарвозаи мувофиқат: DID/VC, ҳадди ZK (синну сол/гео/санксия), сиёсати содирот/нигоҳдорӣ.
Мушоҳида: 'x _ msg _ id', 'route _ id', 'bridge _ id', 'management _ version'.
3) Модели версия
3. 1 Оилаи версия
Шартномаҳои Semver/ABI: 'MAJOR. МИНОР. ПАТЧ '(MAJOR - шикастан).
Феҳристи рӯйдодҳо: версияҳо ва эволютсияи майдонҳо (иловаҳои аввал, амортизатсия бо ғуруби офтоб).
Версияҳои сиёсат/идоракунӣ: вазнҳо/квотаҳо/тарифҳо; ҳар як навсозӣ 'идоракунии _ версия' дорад.
Версияҳои Bridge/DA: каналҳои мусолиҳаи мустақил ва ниҳоӣ.
3. 2 Дастпӯшак
Версия-гуфтушунид: дар занги байниминтақавӣ тарафҳо профили хурдтаринро интихоб мекунанд; вагарна - радкунии зебо.
Парчамҳои хусусият: Тағироти MAJOR бо парчамҳо аз ҷониби тирезаҳо/нақшҳо/минтақаҳо фаъол карда мешаванд (canary → cohort → global).
4) Таксономияи навсозиҳои занҷир
1. Мантиқ: мантиқи нави тиҷорат, қоидаҳои тасдиқкунӣ, тарифҳо/маҳдудиятҳо.
2. Схема: майдонҳои ҳодиса, моделҳои маълумот, индексатсия.
3. Протокол: масир, имзои паёмҳо, рамз/имзо.
4. Инфраструктура: DA/breeches, sequencers, POP/канор, Газ/пардохтҳо.
5. Сиёсати мутобиқат: минтақаҳо, ҳадди ZK, содирот/нигоҳдорӣ.
6. Иқтисод/ҳавасмандкунӣ: QF, Risk-Adj, ҳавзҳо/тақсимот.
7. Амният: калидҳо/мултипликатсия, қоидаҳои буридан, лӯлаҳо.
5) Стратегияи таҳия
Пешакӣ: моделсозӣ/қуттиҳои қуттӣ, такрори трафики таърихӣ, озмоишҳои тиллоӣ.
Соя/мушоҳида: Сояҳо ҷавобҳоро ҳисоб мекунанд ва бо мантиқи ҷорӣ муқоиса карда мешаванд.
Канария: қисми ками хатсайрҳо/нақшҳо/минтақаҳо, огоҳиҳои қатъӣ.
Иҷрои Cohort: васеъкунӣ аз ҷониби cohort (geo/chain/QOS).
Дучанд навиштан/Дучанд хондан: давраи сабти муваққатӣ дар ду шакл бо монеаҳои қатъии тартибот.
Ғуруби офтоб: худкори баргардонидани параметрҳои муваққатӣ, агар кворум барои навсозӣ вуҷуд надошта бошад.
Бозгашт: бозгашти як қадам бо муҳоҷирати бехатар (ниг. § 8).
6) Ҳалли коммуналӣ ҳангоми навсозӣ
Интихоби масир/пул/таъминкунанда бо такмилдиҳии фаъол:
Utility(route version) =
wL·Latency_p95 + wQ·QueueDepth + wF·FinalityLag
+ wC·Cost_per_unit + wR·RiskScore + wS·StabilityScore(version)
+ wG·Geo/PolicyPenalty
Устуворӣ (версия): ҷазо барои нав то гузариши шустан/бетартибӣ.
Профилҳои мувозинат - аз ҷониби Qo Q1 ы В ВК.
Инвариантҳо: Фармоиш ∧ номутобиқатӣ ∧ квотаҳо ∧ мувофиқат = ҳақиқат.
7) Шартномаҳои RNFT: Такмили ҳуқуқ
Дар RNFT, барои нақшҳо (Operator/Provider/Bridge/DA/Curator/Compliance/Auditor), инҳо сабт карда мешаванд:- 'upgrade _ rights': кӣ ташаббускор аст, имзоҳояшро (multisig, k-of-n);
- 'freeze/stop': анборҳои фавқулодда ва кворумҳо;
- 'quorum & veto': тартиботи 治理 (аз ҷумла R-тағирдиҳанда аз рӯи эътимод/сифат);
- 'escrow/суғурта': фарогирии ҳодисаҳои муҳоҷират;
- 'sancet': парчами муваққатӣ/ҳадди ниҳоӣ;
- 'finality _ windows': таъхири пардохт ва тирезаҳои купрук дар тӯли навсозӣ.
8) Муҳоҷирати давлатӣ ва бозгашт
Маҷаллаи давлатии Delta: Муҳоҷират маҷаллаи дельтаро нигоҳ медорад (решаҳои решавӣ, имзоҳо); бозгашт - бо истифода аз дельтҳои баръакс.
Такрори монеаҳо: барои Q3/Q4: stop → snapshot → расидан; "фармоишҳои тақсимшуда" манъ аст.
Idempotent Upcasters - Сабтҳои кӯҳнаро тавассути табдилдиҳандаи схема мехонад.
Калиди хунук/гарм: Хонандагон/нависандагонро дар равзанаи сарбории кам иваз мекунад.
Holdback ниҳоӣ: Таъхир дар байни пардохтҳои занҷир то ба охир расидани ҳадаф.
9) Мутобиқат: ABI/схемаҳо/паёмҳо
ABI: Тағироти асосӣ - танҳо барои парчами хусусият; MINOR - иловаи; ПАТЧ - мантиқ нест.
Ҳодисаҳо: майдонҳои нав - 'беэътибор '/пешфарз; хориҷ кардан - тавассути маҳрумшавӣ ва ғуруби офтоб.
Версияҳои паём: 'msg. версияи ',' schema _ hash ', ҳатмӣ' compat _ min '.
Санҷиши фармоиш ва тарҳ: outbox/паёмдони қуттӣ, ҷадвалҳои дидашуда бо TTL.
10) Амният ва калидҳо
Multisig/Ҳадди ниҳоӣ: такмилдиҳии калидҳо - танҳо тавассути имзои ҳадди ниҳоӣ.
Вақтсанҷҳо: тирезаҳо барои ворид кардани тағиротҳои MAJOR, то аудит/ҷомеа барои посух додан вақт дошта бошанд.
ZK-тасдиқ мекунад: далелҳо барои мувофиқ кардани инвариантҳои интиқодӣ (масалан, инвариантҳои тавозун) бидуни ифшои маълумот.
Гардиши калидҳо: нақшаи гардиш бо мероси ҳуқуқҳо, имзои дукарата дар давраи гузариш.
11) Мувофиқат
Пешнамоиши сиёсат: моделиронии сиёсат оид ба синтетика ва "сояи трафик".
Geo/синну сол/санксияҳо: Ҳадди исботи ZK; бо номуайянӣ - карантин.
Содирот/нигоҳдорӣ: DA/egress аз рӯи минтақа; resheny治理 журнал барои танзимкунанда.
Андозҳо/нигоҳдорӣ: тарҳҳои муваққатӣ дар охири пулҳо.
12) Мушоҳида ва огоҳиҳо
Metriki: p50/p95/p99, retry/timeout, фармоиш/dup, умқи DLQ, ақибмонии ниҳоӣ, арзиш/req, устуворӣ (версия).
Отчеты: Навсозии зинда, ниҳоӣ ва пулҳо, схема/саломатии ABI, навбати идоракунӣ.
Огоҳиҳо: сӯхтани буҷаи хатогӣ, афзоиши Tail
13) Санҷишҳо/моделсозӣ/бетартибӣ
Шартномаҳои воҳид: ABI/схемаҳо, қоидаҳои мутобиқат.
Такрори такрорӣ: ҳикояҳои давида бо чекҳои ғайривариантӣ.
Fuzz/Асоси амвол: скриптҳои тасодуфӣ/фармоиш/ниҳоӣ.
Хаос/Бозии рӯз: POP/bridge/DA тарки, reorg-bursts, зарбаи нархҳо.
24-72h ғарқ кунед: устуворӣ p95/p99/ниҳоӣ/арзиш.
14) Такмил додани иқтисодиёт
Ҳадди ақалли буҷа: сақфҳои хароҷоти даврӣ; ҷаримаҳои шадид.
Мукофотҳои QF: провайдерҳое, ки SLO-ро дар равзанаи такмилдиҳӣ гузаштаанд.
Risk-Adj: кам кардани муваққатии пардохтҳо барои қонуншиканиҳо.
Қалмоқҳои хазинадорӣ: Ҷуброн аз ҳавзи суғурта барои ҳодисаҳои тасдиқшуда.
15) 治理 (расмиёт ва шаффофият)
Пешниҳодҳо: тавсифи тағирот, таҳлили хатар, нақшаи бозгашт, тирезаҳои ниҳоӣ.
Кворумҳо/ветоҳо: нақшҳо ва вазнҳо; R-trust/тағирдиҳандаи сифат.
Ошкорбаёнӣ: шиносномаҳои версия, мантиқи гуногун, гузоришҳо пас аз такмил.
Таҳрири ғуруби офтоб: бозгашти худкори танзимоти муваққатӣ.
16) KPI-ҳои навсозии Interchain
Эътимоднокӣ: 0 вайронкунии танқидии тартибот/ниҳоӣ; DLQ афзоиш намеёбад.
Таъхир: p95/p99 дар долон; Думи амплификатсия ≤ ҳадаф.
Ниҳоӣ: Finality Lag аз буҷа зиёд намешавад; 0 тасдиқи бардурӯғ.
Иқтисод: Арзиш/Req дар буҷа; ҳадди ҷубронпулии ≤.
Амалиётҳо: Ҳодисаҳои MTTR ↓; хатсайрҳои нархгузорӣ таназзул намеёбанд.
Мувофиқат: 100% аз дарвоза гузаштан; 0 вайронкунии содирот/консессия.
治理: TTC propozala → apruva дар SLA; ҳиссаи зарбаҳои ғуруби офтоб дар вақташ.
17) Формулаҳо ва нишонаҳо
Муваффақият Rate = 1 − (танаффус + хатогиҳо )/дархостҳо
Думи амплификатсия = p99/p50 (↓)
Headroom = (cap − ҷорӣ )/cap
Нишондиҳандаи ниҳоӣ = f (ақибмонӣ, ихтилоф, бозсозӣ)
Устуворӣ (версия) = 1 − меъёр (ҳодисаҳо, флип, дрифт)
Сифати Фактор (QF) = f (муваффақият, p95, DLQ, ниҳоӣ)
SLO (мисол):- Q4: муваффақият ≥ 99. 99%, p95 ≤ 200 ms, DLQ = 0, MTTR ≤ 15 дақ.
- Пулҳо/DA: ниҳоӣ ≤ 3 × T _ block, reorg ≈ 0.
18) Китоби бозӣ (қадамҳо)
1. Ташаббус: дурнамо, таҳлили хатар, нақшаи бозгашт, арзёбии ниҳоӣ/мувофиқат.
2. Тайёрӣ: Semver/ABI, схемаҳо ва баландгӯякҳо, парчамҳои махсус, ҳуқуқҳои RNFT/кворумҳо.
3. Санҷишҳо: воҳиди/trace-replay/fuzz, policy-preview, ZK-invariants.
4. Мушоҳида: панелҳо/огоҳиҳо, ҳадди истинодҳои KPI.
5. Соя → Канария: сояҳо/муқоиса, гурӯҳҳои хурд, огоҳиҳои қатъӣ.
6. Иҷрои Cohort: марҳила ба марҳила/занҷир/QOS; пардохтҳои ниҳоӣ-нигоҳдорӣ.
7. Дучанд навиштан/хондан: монеаҳои фармоиш, такрорӣ ва оштӣ.
8. Soak/Chaos: сенарияҳои истодагарӣ ва нокомӣ.
9. Ҷаҳонишавӣ: нест кардани парчамҳо, таҷдиди ҳуҷҷатҳо/нусхаи нишонаҳо.
10. Пас аз марг: otchet治理, нав кардани имзоҳо/ҳудудҳо/дастурҳо.
19) Рӯйхати назорати таҳвил
- Sem 'Ver/ABI i Schema Registry s upcasters
- Парчамҳои хусусият, тирезаҳои фаъолсозӣ, параметрҳои ғуруби офтоб
- Ҳуқуқҳои RNFT: кворумҳо, дӯконҳо, ҳавзи суғурта
- Қуттӣ/паёмдони қуттӣ, аблаҳӣ, монеаҳои такрорӣ
- Нақшаи ниҳоӣ: тирезаҳои пулӣ/DA, пардохтҳои нигоҳдорӣ
- Мушоҳида: пайгирӣ, навсозӣ/ниҳоӣ/панелҳои ABI
- Пешнамоиши мутобиқат, ҳадди ниҳоии ZK, сиёсати содирот/нигоҳдорӣ
- Симулятсияҳо, сояҳо, канарейка, когорт, шустан/бетартибӣ
- Нақшаи бозгашт ва сабти дельта
- Ҳисоботи оммавӣ ва obnovleniye治理
20) Луғат
Semver/ABI: интерфейси семантикӣ/интерфейси шартномавӣ.
Upcaster: ҳангоми хондан сабтҳои кӯҳнаро ба схемаи нав табдил медиҳад.
Ниҳоӣ: тиреза пеш аз ҳодисаи занҷир бебозгашт аст.
Outbox/Inbox: расонидани кафолатнок/idempotence.
RNFT: Муносибат/Ҳуқуқҳо/Маҳдудиятҳои шартнома ва KPI.
Ғуруби офтоб: худкори баргардонидани параметрҳои вақт.
Shadow/Canary/Cohort: стратегияҳои марҳилавии озодкунӣ.
21) Сатри поён
Навсозиҳои байниминтақавӣ як интизоми идорашаванда мебошанд: версияҳо → парчамҳо → марҳила ба марҳила ба марҳила ба марҳила/мутобиқат → мушоҳидашавӣ → бозгашт. Бо тартиботи қатъӣ ва риояи инвариантҳо, ҳуқуқҳои RNFT, моделсозӣ ва prozrachnoy治理, экосистема бефоида ва пешгӯишаванда нав карда мешавад, дар ҳоле ки арзиши доимӣ ва эътимоди иштирокчиёнро нигоҳ медорад.