Zincirler arası güncellemeler

1) Görevin ve risklerin özü

• Versiyonların tutarsızlığı (bölünmüş beyin) ve sipariş/kesinlik kaybı;
• ABI/şemalarının uyumsuzluğu - aptal mesajlar/asılı araçlar;
• Uyumluluğun ihlali (coğrafi/yaş/yaptırımlar, veri ihracatı);
• basamaklı köprü arızaları ve DA'lar.

Amaç, değerleri durmadan güncellemektir: katı değişmezleri korumak ve tersinirlik, telemetri ve yönetilen bozulmayı sağlamaktır.

2) Değişmeli değişim değişmezleri

Sipariş/Idempotency: anahtar başına sıkı sipariş; Giden kutusu/gelen kutusu, 'idempotency _ key've görülen tablolar.
Kesinliğin farkında: meydan okuma/reorg pencereleri hesaba katılır; Rotalar minimum 'FinalityLag'e göre seçilir.
Önce Uyumluluk: Sözleşmeler/ABI/olay şemaları için SemVer.
Fail-closed: doubt - block/manual quorum.
Uyum kapısı: DID/VC, ZK eşikleri (yaş/coğrafi/yaptırımlar), ihracat/saklama politikaları.
Gözlemlenebilirlik: 'x _ msg _ id', 'route _ id', 'bridge _ id', 'governance _ version'.

3) Sürüm modeli

3. 1 Sürüm ailesi

SemVer sözleşmeleri/ABI: 'MAJOR. MINÖR. PATCH '(MAJOR - kırma).
Şema Olayların kaydı: Alanların versiyonları ve evrimi (ilk önce katkı maddesi, gün batımı ile değer düşüklüğü).
Politika/Yönetişim versiyonları: ağırlıklar/kotalar/tarifeler; Her yükseltmenin bir 'yönetişim _ sürümü' vardır.
Köprü/DA sürümleri: bağımsız uzlaşma ve kesinlik kanalları.

3. 2 El sıkışma

Sürüm müzakeresi: Zincirler arası bir çağrıda, taraflar en küçük uyumlu profili seçer; Aksi takdirde - zarif reddetmek.
Özellik bayrakları: MAJOR değişiklikleri, bayraklar tarafından pencereler/roller/bölgeler tarafından etkinleştirilir (kanarya - kohort - global).

4) Zincirler arası güncellemelerin taksonomisi

1. Mantık: yeni iş mantığı, doğrulama kuralları, tarifeler/limitler.
2. Şematik: olay alanları, veri modelleri, indeksleme.
3. Protokol: yönlendirme, mesaj imzaları, şifre/imzalar.
4. Altyapı: DA/pantolon, sıralayıcılar, POP/kenar, Gaz/ücretler.
5. Uyum politikaları: bölgeler, ZK eşikleri, ihracat/saklama.
6. Ekonomi/teşvikler: QF, RiskAdj, havuzlar/tahsis.
7. Güvenlik: anahtarlar/multisig, kesme kuralları, durdurma muslukları.

5) Rollout stratejisi

Ön kontrol: simülasyonlar/sanal alanlar, geçmiş trafiği tekrar oynatma, altın set testleri.
Gölge/Gözlem: Gölgeler cevapları hesaplar ve geçerli mantıkla karşılaştırılır.
Kanarya: rotaların/rollerin/bölgelerin küçük bir kısmı, katı uyarılar.
Kohort sunumu: kohort ile genişletme (geo/chain/QoS).
Dual-write/Dual-read: Katı sipariş engelleri olan iki versiyonda geçici bir kayıt süresi.
Günbatımı: Yenileme için yeterli çoğunluk yoksa geçici parametrelerin otomatik olarak geri alınması.
Geri alma: güvenli durum göçü ile tek adımlı dönüş (bkz. § 8).

6) Güncellemeler sırasında yardımcı çözüm

Utility(route    version) =
wL·Latency_p95 + wQ·QueueDepth + wF·FinalityLag
+ wC·Cost_per_unit + wR·RiskScore + wS·StabilityScore(version)
+ wG·Geo/PolicyPenalty

StabilityScore (sürüm): soak/chaos geçene kadar yeni ceza.
Denge profilleri - QoS ile: Q4 ↑wF, ↑wS; Q1 ↑wC.
Değişmezler: Sipariş ∧ Idempotency ∧ Kotalar ∧ Uygunluk = true.

7) RNFT Sözleşmeleri: Yükseltme Hakları

• 'üst düzey _ haklar': kim başlatır, kimin imzaları (multisig, k-of-n);
• 'freeze/stop': acil stopcocks ve quorum;
• "Çoğunluk ve veto": 治理 prosedürleri (güven/kaliteye göre R-değiştirici dahil);
• 'emanet/sigorta': göç olaylarını kapsayan;
• 'sancet': geçici bayrak/eşik düzenlemeleri;
• 'finality _ windows': ödeme gecikmeleri ve güncelleme süresince köprü pencereleri.

8) Devlet göçleri ve tersinirlik

Devlet Delta Dergisi: Göçler bir delta dergi tutmak (merkly kökleri, imzalar); Geri alma - ters deltalar kullanarak.
Bariyerleri tekrar oynatın: Q3/Q4 için: durdur, anlık görüntü, ulaş; "Bölünmüş emirler" yasaktır.
Idempotent Upcasters - Eski kayıtları şema dönüştürücüsü aracılığıyla okur.
Soğuk/Sıcak anahtarı: Düşük yük penceresinde okuyucuları/yazarları değiştirir.
Finalite Holdback: Hedef finalite için zincir ödemeleri arasındaki gecikme.

9) Uyumluluk: ABI/şemalar/mesajlar

ABI: BÜYÜK değişiklikler - sadece özellik bayrağı için; MINOR - katkı maddesi; PATCH - mantık yok.
Olaylar: yeni alanlar - 'nullable'/default; Kaldırma - yoksunluk ve gün batımı yoluyla.
Mesaj sürümleri: 'msg. Sürüm ',' şema _ hash ', zorunlu' compat _ min '.
Sipariş kontrolü ve dedup: giden/gelen kutusu, TTL ile görülen tablolar.

10) Güvenlik ve anahtarlar

Multisig/Threshold: anahtar yükseltmeleri - sadece eşik imzaları aracılığıyla.
Timelocks: Denetimin/topluluğun yanıt verecek zamanı olması için MAJOR değişikliklerine girme pencereleri.
ZK-savları: kritik değişmezleri eşleştirmek için kanıt (örn. denge değişmezleri) veri açıklaması olmadan.
Anahtar rotasyonu: hakların miras alındığı rotasyon planı, geçiş döneminde çift imza.

11) Uyumluluk

Politika Önizlemesi: Siyasetin sentetikler ve gerçek "gölge trafik" üzerine simülasyonu.
Coğrafi/yaş/yaptırımlar: ZK geçirmez eşikler; Belirsizlik ile - karantina.
İhracat/saklama: DA/bölgeye göre çıkış; Regülatör için resheny治理 günlüğü.
Vergiler/stopaj: Köprülerin sonunda geçici kesintiler.

12) Gözlemlenebilirlik ve uyarılar

Метрики: p50/p95/p99, yeniden deneme/zaman aşımı, sıra dışı/dup, DLQ derinliği, kesinlik gecikmesi, maliyet/req, kararlılık (sürüm).
Отчеты: Upgrade Live, Finality & Bridges, Schema/ABI Health, Governance Queue.
Uyarılar: hata bütçeli yanma, TailAmplification büyümesi, sürüklenme şemaları, ani uyumluluk hataları, flep oranlı rotalar.

13) Testler/simülasyonlar/kaos

Birim sözleşmeleri: ABI/şemalar, uyumluluk kuralları.
Trace-replay: değişmez kontrollerle hikayeleri çalıştırın.
Fuzz/Property tabanlı: rastgele mesaj/sipariş/kesinlik komut dosyaları.
Kaos/Oyun günü: POP/bridge/DA düşüşü, reorg-bursts, fiyat şokları.
24-72h ıslatın: stabilite p95/p99/kesinlik/maliyet.

14) Yükseltme ekonomisi

Bütçe-kapaklar: dönem maliyet tavanları; Cezaları arttırıyor.
QF bonusları: Yükseltme penceresinde SLO'yu geçen sağlayıcılar.
RiskAdj: ihlaller için ödemelerin geçici olarak küçümsenmesi.
Hazine kancaları: Teyit edilen olaylar için sigorta havuzundan tazminat.

15) 治理 (prosedürler ve şeffaflık)

Öneriler: değişikliğin tanımı, risk analizi, geri alma planı, kesinlik pencereleri.
Kuorumlar/vetolar: roller ve ağırlıklar; R-güven/kalite değiştirici.
Tanıtım: sürüm pasaportları, diff mantığı, yükseltme sonrası raporlar.
Sunset düzenlemeleri: Geçici ayarların otomatik olarak geri alınması.

16) Birbirinin Yerine Güncelleme KPI'ları

Güvenilirlik: 0 kritik sipariş/kesinlik ihlali; DLQ yükselmiyor.
Gecikme: Koridorda p95/p99; TailAmplification ≤ hedefi.
Kesinlik: FinalityLag bütçe üzerinde büyümüyor; 0 yanlış doğrulama.
Ekonomi: Bütçede Maliyet/Req; eşik ≤ tazminat.
Operasyonlar: MTTR olayları ↓; Flep-rate rotaları bozulmaz.
Uyum: %100 geçiş kapısı; 0 ihracat/imtiyaz ihlalleri.
治理: TTC propozala - SLA'da apruva; Zamanında günbatımı komisyon payı.

17) Formüller ve yer işaretleri

SuccessRate = 1 − (zaman aşımları + hatalar )/istekler

TailAmplifikasyon = p99/p50 (↓)

Headroom = (cap − current )/cap

FinalityScore = f (gecikme, varyans, reorgs)

Kararlılık (sürüm) = 1 − norm (olaylar, flep, sürüklenme)

QualityFactor (QF) = f (başarı, p95, DLQ, kesinlik)

• S4: 99 ≥ başarı. 99 %, p95 ≤ 200 ms, DLQ = 0, MTTR ≤ 15 dk.
• Bridges/DA: finality ≤ 3 × T _ block, reorg≈0.

18) Uygulama oyun kitabı (adımlar)

1. Başlatma: tahmin, risk analizi, geri alma planı, kesinlik/uygunluk değerlendirmesi.
2. Hazırlık: SemVer/ABI, şemalar ve upcasters, özellik bayrakları, RNFT hakları/quorums.
3. Testler: birim/trace-replay/fuzz, policy-preview, ZK-asserts invariants.
4. Gözlemlenebilirlik: paneller/uyarılar, KPI'lar referans eşikleri.
5. Gölge Kanarya: gölgeler/karşılaştırma, küçük kohortlar, sıkı uyarılar.
6. Kohort sunumu: aşamalı olarak bölge/zincir/QoS; kesinlik-geri ödeme ödemeleri.
7. Çift yazma/okuma: sipariş engelleri, çoğaltma ve uzlaşma.
8. Soak/Chaos: Dayanıklılık ve başarısızlık senaryoları.
9. Küreselleşme: bayrakların kaldırılması, dokümantasyon/rozet sürümünün güncellenmesi.
10. Ölüm sonrası: otchet治理, imzaların/eşiklerin/kılavuzların güncellenmesi.

19) Teslimat kontrol listesi

• SemVer/ABI и Schema Registry с upcasters
• Özellik bayrakları, aktivasyon pencereleri, gün batımı parametreleri
• RNFT hakları: quorum, stopcocks, emanet/sigorta havuzu
• Giden kutusu/gelen kutusu, idempotency, tekrar engelleri
• Kesinlik planı: köprü/DA pencereleri, geri ödeme ödemeleri
• Gözlemlenebilirlik: izleme, Yükseltme/Kesinlik/ABI panelleri
• Uyumluluk Önizlemesi, ZK Eşik Kanıtları, İhracat/Saklama Politikası
• Simülasyonlar, gölge, kanarya, kohort, ıslanma/kaos
• Geri alma planı ve durum delta günlüğü
• Genel rapor ve obnovleniye治理

20) Sözlük

SemVer/ABI: semantik sürüm oluşturma/sözleşme arayüzleri.
Upcaster: okurken eski kayıtları yeni şemaya dönüştürür.
FinalityLag: zincir olayından önceki pencere geri döndürülemez.
Giden Kutusu/Gelen Kutusu: garantili teslimat/idempotans.
RNFT: İlişki/Haklar/Sınırlar Sözleşmesi ve KPI'lar.
Gün batımı: zaman parametrelerinin otomatik olarak geri alınması.
Gölge/Kanarya/Kohort: aşamalı serbest bırakma stratejileri.

21) Alt satır

Zincirler arası güncellemeler yönetilen bir disiplindir: sürümler - bayraklar - aşamalı lansman - sonluluk/uyumluluk - gözlemlenebilirlik - geri dönüş. Sıkı düzen ve uyumluluk değişmezleri, RNFT hakları, simülasyonlar ve prozrachnoy治理 ile ekosistem, katılımcıların sürekli değerini ve güvenini korurken, acısız ve öngörülebilir bir şekilde güncellenir.