Bağımsız blokzincirlerin çoğalması, "çok zincirli bir dünya" yarattı. Bu manzaradaki temel bir zorluk, yalnızca okuma ve yazma işlemlerini kullanarak mevcut alt blokzincirlerin defterlerinden yararlanarak daha güvenli bir üst blokzincir inşa etmektir. "Blokzincirler Üzerinde Blokzincirler İnşa Etmeye Yönelik Bir Devre Yaklaşımı" başlıklı bu makale, anahtarlama devre teorisinden esinlenen yeni bir çerçeve sunmaktadır. Genel üst blokzincirler oluşturmak için yapı taşları olarak iki temel kompozisyon işlemini—seri ve üçgen kompozisyon—tanımlar ve kısmen senkron ve senkron ağ modelleri altında ortaya çıkan güvenlik ve canlılık garantilerini analiz eder.
Makalenin temel yeniliği, blokzincirleri devre bileşenleri olarak ele almasıdır. Bir üst zincirin güvenliği, alt zincirlerinin mantıksal kompozisyonundan türetilir.
Bu işlem, iki blokzinciri ardışık olarak bağlar. Sertifika üreten iki alt zincir için, ortaya çıkan üst zincirin güvenlik özellikleri şunlardır:
Bu, güvenlik için mantıksal bir VEYA kapısına, canlılık için ise bir VE kapısına benzer.
Bu işlem, paralel bir devreye veya 3'te 2 eşik şemasına benzer bir yapılandırmada üç blokzinciri içerir. Güvenlik özellikleri şunlardır:
Bu, seri kompozisyona kıyasla güvenlikten ziyade canlılığı tercih eden farklı bir denge sunar.
Makale, seri ve üçgen kompozisyonları özyinelemeli olarak uygulayarak, istenen herhangi bir (f_s, f_l) dayanıklılık eşiğine ulaşmak için n alt zincir üzerinde bir üst blokzincir inşa edilebileceğini formal olarak kanıtlamaktadır; burada:
Ana teorem, 2f_s + f_l < n ve f_l < n/2 koşullarını sağlayan tüm uygulanabilir (f_s, f_l) çiftlerinin uygun devre benzeri kompozisyonlar aracılığıyla elde edilebileceğini belirtir. Bu, yalnızca (n-1, 0) noktasını (1 zincir güvenliyse güvenli, ancak tümü canlıysa canlı) başaran zincirler arası zaman damgalama gibi önceki çalışmaları genelleştirir.
Model, blokzincirleri bir defter L üreten durum makineleri olarak formalize eder. Güvenlik, güvenlik (tutarlı, çatallanmış görünümler imkansızdır) ve canlılık (yeni işlemler nihayet dahil edilir) ile tanımlanır. Bir alt zincir B_i, mantıksal bir zaman t'de bir defter öneki için bir onay sertifikası C_i^t sağlayan bir oracle olarak soyutlanır.
Kompozisyon protokolleri, üst zincirin durumu S_ov'nin bu oracle'lara yapılan sorgulara dayalı olarak nasıl güncellendiğini tanımlar. Örneğin, B_A ve B_B zincirlerinin seri kompozisyonunda, üst zincir, B_A'dan gelen defteri yalnızca onu zaman damgalayan B_B'den bir onay sertifikası ile tutarlıysa benimseyebilir. Bu, mantıksal formüllerle yakalanan bir bağımlılık yaratır. Temel güvenlik kanıtları, dağıtık sistemler literatüründe yaygın olan çelişki ve simülasyon argümanlarını kullanır; üst zincirdeki bir güvenlik ihlalinin, belirli bir alt zincir alt kümesinde bir güvenlik ihlali anlamına geleceğini ve varsayılan dayanıklılık eşikleriyle çelişeceğini gösterir.
Senaryo: Üç yerleşik zincir üzerinde çapraz zincir merkeziyetsiz borsa (DEX) üst katmanı inşa etmek: Ethereum (Eth), Solana (Sol) ve Avalanche (Avax).
Hedef: Fon güvenliğine öncelik vermek (yüksek f_s), ara sıra gecikmeyi kabul etmek (düşük f_l).
Tasarım Seçimi: Üç zincirin Üçgen Kompozisyonu'nu kullanın.
Sonuç: DEX, maksimum güvenlik dayanıklılığına ulaşır—herhangi bir tek zincirin ele geçirildiği veya çatallandığı bir senaryoya dayanabilir, çünkü diğer ikisi onay sağlar. Bir zincir kesinti yaşasa bile canlılık korunur. Bu, n=3 için (f_s=1, f_l=1) noktasının pratik bir örneğidir.
Temel İçgörü: Bu, sadece başka bir mutabakat makalesi değil; çok zincirli çağ için temel bir sistem mühendisliği çerçevesidir. Yazarlar, blokzincir birlikte çalışabilirliğinin karmaşık sorununu temiz, birleştirilebilir bir cebire başarıyla soyutlamışlardır. Gerçek atılım, güvenlik özelliklerinin sadece miras alınmadığını, belirli topolojiler aracılığıyla programlı olarak mühendislik yapılabileceğini göstermeleri ve naif "en güvenli zincire köprü" paradigmasının ötesine geçmeleridir.
Mantıksal Akış: Argüman zariftir. Çok zincirli gerçekliği verili olarak başlangıç noktası alın. Tek bir "güvenlik kaynağı" fikrini reddedin. Bunun yerine, güvenilmez bileşenlerden güvenilir devre tasarımına (klasik bir problem) benzetme yapın. Minimal, dik kompozisyon operatörlerini (seri, üçgen) tanımlayın. Bunların tam olduğunu (herhangi bir uygulanabilir dayanıklılık profilini oluşturabileceğini) kanıtlayın. Benzetmeden formalizme ve genel teoreme olan akış ikna edicidir ve bilgisayar bilimlerindeki başarılı teoriyi yansıtır, tıpkı Bizans Anlaşması'nın daha basit yayın ilkellerine ayrıştırılması gibi.
Güçlü ve Zayıf Yönler:
Güçlü Yönler: Teorik genellik güçlüdür. Devre benzetmesi mühendisler için sezgiseldir. Önceki ad-hoc yaklaşımları (zincirler arası zaman damgalama gibi) bu çerçevenin özel durumları olarak birleştirir ve açıklar. Formal kanıtlar sağlam görünmektedir.
Zayıf Yönler: Makale ağırlıklı olarak teoriktir. Birden fazla zinciri senkronize etmenin gerçek dünya ek yükü (gecikme, maliyet) üstü kapalı geçilmiştir. "Kısmi senkronluk" modeli, standart olmasına rağmen, blok süreleri ve nihailik mekanizmaları büyük ölçüde farklılık gösteren çapraz zincir ortamları için iyimser olabilir. Alt zincirlerin bağımsız hata alanları olduğunu varsayar—birçok zincir doğrulayıcı kümelerini paylaşıyorsa riskli bir varsayımdır, PoS ekosistemlerinde yaygın bir sorundur. ChainSecurity köprü denetim raporları gibi çalışmalardaki somut, saldırı odaklı analizle karşılaştırıldığında, bu, şimdi kirli bir dünya uygulamasıyla yüzleşmesi gereken temiz bir teori gibi hissettiriyor.
Uygulanabilir İçgörüler:
Makalenin değeri, teoremleriyle değil, yeni nesil birlikte çalışabilir altyapı için bir tasarım dili olarak benimsenmesiyle belirlenecektir. Çapraz zincir güvenliği için, CAP teoreminin dağıtık veritabanları için yaptığını yapma potansiyeline sahiptir: pratik sistemlerin etrafında inşa edilmesi gereken temel, kaçınılmaz bir denge sağlamak.
Kısa Vadeli Uygulamalar:
Gelecek Araştırma Yönelimleri: