Birlikte Çalışabilirlik Üçlemesi
Birkaç gün önce, Ethereum uyumlu alanlar (alanlar = zincirler ve L2'ler) arasında tamamen güvenilmez aktarımları ve sözleşme çağrılarını etkinleştirmek için protokolümüz olan NXTP’yi uçurduk!
Bu blog yazısı, Ethereum etki alanları arasındaki birlikte çalışabilirliğin neden zor olduğunu açıklamaya çalışacak ve oradan NXTP’nin ekosistem için gerçek bir uzun vadeli çözümün başlangıcını temsil ettiğini neden düşündüğümüzü gösterecek.
Güvensiz Ethereum’un Birlikte Çalışabilirlik İhtiyacı
Multichain/L2 Ethereum burada bizimle ve bizimle kalacak. Bu durum ise, DeFi adına bu işlevselliği etkinleştirmek için projeleri karıştırdıkça düzinelerce yeni köprü ve birlikte çalışabilirlik protokolünün oluşturulmasını teşvik etmiş oldu.
Tahmin edilebileceği gibi, bu aynı zamanda bir dizi yüksek profilli hack ve dolandırıcılığı da beraberinde getirdi:
Bu örneklere rağmen, oradaki her köprüleme sistemi kendisini güvenilmez, güvenli olan ve merkezi olmayan olarak pazarlamaktadır (bu hiç de öyle olmasa bile). Bu, geliştiriciler ve kullanıcılar için büyük bir zorluk anlamına geliyor: “Hangi köprüleme mekanizmalarının aslında kripto alanında ekonomik olarak güvenli olduğunu nasıl anlayabilirim?”
Başka bir deyişle, kullanıcılar, zincirler arasında fon taşırken kime güvendiklerini belirlemek için köprü türlerini nasıl ayırt edebilir?
Kriptoekonomide “Güvenilmez” Aslında Ne Anlama Geliyor?
Araştırma topluluğunda, kripto ekonomik güvenlik ve güvensizliğin özellikleri hakkında konuştuğumuzda, gerçekten çok özel bir soru soruyoruz:
Sistemi kim doğruluyor ve onları yoldan çıkartmanın maliyeti nedir?
Amacımız gerçekten merkezi olmayan, sansürsüz kamu malları inşa etmekse, o zaman sistemlerimizin haydut egemen uluslar, mega şirketler veya megaloman şeytani dahiler gibi inanılmaz derecede güçlü düşmanlar tarafından saldırıya uğrayabileceğini düşünmeliyiz.
Güvenliği en üst düzeye çıkarmak, sisteminizdeki doğrulayıcıların (doğrulayıcılar, madenciler vb.) sayısını ve çeşitliliğini en üst düzeye çıkarmak anlamına gelir ve bu genellikle, tamamen Ethereum’un doğrulayıcı seti tarafından doğrulanan bir sisteme sahip olmak için elinizden gelenin en iyisini yapmaya çalışmak anlamına gelir. L2 ve Ethereum’un ölçeklenebilirlik yaklaşımının arkasındaki temel fikir budur.
Dip Not: Çoğu insan bunun farkında değildir, ancak ölçeklenebilirlik araştırması birlikte çalışabilirlik araştırmasıdır. Çağlar boyunca birden çok etki alanına geçerek ölçeklenebileceğimizi biliyoruz, sorun her zaman bu etki alanlarıyla güvenilir bir şekilde iletişim kurmanın nasıl etkinleştirileceği olmuştur. İşte bu yüzden John Adler’in iyimser toplamalar hakkındaki seminal makalesi, “Aksayan Yan Zincirlerle Güvenilir İki Yönlü Köprüler” olarak adlandırılıyor.
Etki Alanları Arasına Yeni Doğrulayıcılar Eklersek Ne Olur?
Yukarıda kriptoekonomik güvenlik hakkında öğrendiklerimizi alıp köprülere uygulayalım.
Arbitrum’da paranızın olduğu bir senaryo düşünün. Bu etki alanını kullanmayı özellikle seçtiniz çünkü bu bir toplamadır, yani (bazı makul varsayımlarla) fonlarınız Ethereum’un temel doğrulayıcıları tarafından tamamen güvence altına alınmıştır. Başka bir deyişle, fonlarınız blok zinciri ekosisteminde olabilecekleri kadar kripto ekonomik olarak güvenlidir.
Şimdi, fonlarınızı ucuza ve hızlı bir şekilde Optimism’e taşımak için bir köprü kullanmaya karar verdiğinizi hayal edin. Optimism de güvenilmezdir, bu nedenle Arbitrum’da yaptıklarıyla aynı güvenlik seviyesini (Ethereum’un güvenliği) paylaşacaklarını bilerek fonlarınızın orada olması konusunda kendinizi rahat hissedersiniz.
Ancak, kullandığınız köprü protokolü kendi harici doğrulayıcılarını kullanır. Bu başlangıçta büyük bir anlaşma gibi görünmese de, fonlarınız artık Ethereum tarafından güvence altına alınmıyor , bunun yerine köprünün doğrulayıcıları tarafından güvence altına alınıyor :
- Bu, sarılmış varlıklar yaratan bir kilit/darphane köprüsü ise, köprü doğrulayıcıları artık tüm fonlarınızı çalmak için tek taraflı olarak işbirliği yapabilir.
- Bu, likidite havuzlarını kullanan bir köprü ise, köprü doğrulayıcıları benzer şekilde LP’lerden tüm havuz sermayesini çalmak için işbirliği yapabilir.
Güvenli, güvenilir olmayan L2'ler için yıllarca beklemenize rağmen, durumunuz artık güvenilir bir yan zincir veya L1 yapısı kullanmış olmanızla aynıdır.😱
Anahtar kısım, kripto ekonomik sistemlerin yalnızca en zayıf halkaları kadar güvenli olmasıdır. Güvenli olmayan köprüler kullandığınızda, zincirinizin veya L2'nizin artık ne kadar güvenli olduğunun bir önemi yoktur. Ve L1'lerin ve L2'lerin güvenliğine benzer şekilde, hepsi tamamen tek bir soruya geliyor: bu sistemi kim doğruluyor?
Birlikte Çalışabilirlik Protokollerinin Taksonomisi
Tüm birlikte çalışabilirlik protokollerini, onları kimin doğruladığına bağlı olarak üç kapsayıcı türe ayırabiliriz:
Doğal Olarak Doğrulananlar
Doğal olarak doğrulanmış protokoller, temeldeki tüm zincirlerin kendi doğrulayıcılarının, zincirler arasında geçen verileri tamamen doğruladığı protokollerdir . Tipik olarak bu, bir zincirin hafif istemcisini başka bir zincirin VM’sinde çalıştırarak yapılır ve bunun tersi de geçerlidir.
Örnekler Cosmos IBC ve Near RainbowBridge’dir. Toplu giriş/çıkışlar da bunun özel bir şeklidir!
Avantajlar:
- Altta yatan doğrulayıcılar köprülemeden doğrudan sorumlu olduğundan, birlikte çalışabilirliğin en güvenilmez biçimidir.
- Etki alanları arasında tamamen genelleştirilmiş ileti geçişini sağlar.
Dezavantajları:
- Etki alanının altında yatan güven ve/veya fikir birliği mekanizmalarına dayanır, bu nedenle her etki alanı türü için özel olarak oluşturulmalıdır .
Ethereum ekosistemi oldukça heterojendir: zk/iyimser toplamalardan yan zincirlere ve çok çeşitli fikir birliği algoritmalarını çalıştıran temel zincirlere kadar her şeyi içeren alanlarımız mevcuttur: ETH-PoW, Nakamoto-PoW, Tendermint-PoS, Snowball-PoS, PoA ve diğerleri gibi. Bu etki alanlarının her biri, yerel olarak doğrulanmış bir birlikte çalışabilirlik sistemi uygulamak için benzersiz bir strateji gerektirir.
Harici Olarak Doğrulananlar
Harici olarak doğrulanmış protokoller, zincirler arasında veri aktarmak için harici bir doğrulayıcı kümesinin kullanıldığı protokollerdir. Bu tipik olarak bir MPC sistemi, oracle ağı veya eşik multisig olarak temsil edilir (bunların hepsi aynı şeydir).
Örnekler arasında Thorchain, Anyswap, Biconomy, Synapse, PolyNetwork, EvoDeFi ve daha birçokları sayılabilir.
Avantajlar:
- Etki alanları arasında tamamen genelleştirilmiş ileti geçişine izin verir.
- Ethereum ekosistemindeki herhangi bir alana kolayca genişletilebilir.
Dezavantajları:
- Kullanıcılar ve/veya LP’ler, fonları/verileri konusunda harici doğrulayıcılara tamamen güvenir. Bu, modelin temel olarak altta yatan etki alanlarından daha az kriptoekonomik olarak güvenli olduğu anlamına gelir (yukarıdaki Arbitrum to Optimism örneğimize benzer).
Bazı durumlarda ise projeler, kullanıcılar için güvenlik eklemeye çalışmak adına ek stake etme veya bağlama mekanizmaları kullanır. Bununla birlikte, bu genellikle çok ekonomik bir anlam ifade etmez. Sistemin güvenilmez olması için, kullanıcıların maksimum teminat tutarına kadar sigortalı olmaları ve bu sigortanın doğrulayıcılardan gelmesi gerekir. Bu sadece sistemde ihtiyaç duyulan sermayeyi önemli ölçüde arttırmakla kalmaz, aynı zamanda ilk etapta varlık veya likidite havuzlarına sahip olma amacını da ortadan kaldırır.
Yerel Olarak Doğrulananlar
Yerel olarak doğrulanmış protokoller, yalnızca belirli bir etki alanları arasında etkileşime dahil olan tarafların etkileşimi doğruladığı protokollerdir. Yerel olarak doğrulanmış protokoller, karmaşık n-party doğrulama sorununu, her bir tarafın yalnızca kendi karşı tarafını doğruladığı çok daha basit iki taraflı etkileşimler grubuna dönüştürür. Bu model, her iki taraf da ekonomik olarak muhalif olduğu sürece çalışır — yani, her iki tarafın da daha geniş zincirden fon almak için gizli anlaşma yapmasına imkan yoktur.
Örnekler Connext, Hop, Celer ve diğer basit atomik takas sistemlerini içerir.
Avantajlar:
- Yerel olarak doğrulanmış sistemler güvenilir değildir — güvenlikleri, toplamalar tarafından paylaşılan bazı makul garantiler verildiğinde temeldeki zincir tarafından desteklenir (ör. zincir X günden fazla sansürlenemez).
- Ayrıca diğer etki alanlarına genişletmek çok kolaydır.
Not: Yerel olarak doğrulanmış her sistem güvenilir değildir. Bazıları, UX’i geliştirmek veya ekstra işlevsellik eklemek için güven ödünleri alır.
Örneğin, Hop, sistemlerinde hızlı bir rastgele mesajlaşma köprüsüne (AMB) olan ihtiyaçları nedeniyle bazı güven varsayımları ekler: protokol, toplamalardan çıkarken tam 7 gün beklemek yerine, tahvil likiditesini 1 günde açar. Belirli bir etki alanı için AMB yoksa, protokolün ayrıca harici olarak doğrulanmış bir köprüye dayanması gerekir.
Dezavantajları:
- Yerel olarak doğrulanmış sistemler, zincirler arasında genelleştirilmiş veri geçişini destekleyemez.
Yukarıdakilerin anlamı biraz nüanslıdır ve izin vermeye gelir: yerel olarak doğrulanmış bir sistemin etki alanları arası sözleşme çağrılarını etkinleştirmesi mümkündür, ancak yalnızca çağrılan işlevin bir tür mantıksal sahibi varsa. Örneğin, takas işlevi, değiştirilebilir belirteçleri olan herkes tarafından çağrılabileceğinden, zincirler arasında bir Uniswap takas işlevini güvenilir bir şekilde çağırmak mümkündür. Ancak, bir NFT’yi zincirler arasında güvenilir bir şekilde kilitlemek ve darp etmek mümkün değildir — bunun nedeni, hedef zincirdeki basım işlevinin mantıksal sahibinin kaynak zincirdeki kilit sözleşmesi olması ve bunun yerel olarak doğrulanmış bir sistemde temsil edilmesinin mümkün olmamasıdır.
Birlikte Çalışabilirlik Üçlemesi
Şimdi bu makalenin tezine ve köprü seçimi konusunda kullanıcı ve geliştirici kararlarını yönlendirmesi gereken zihinsel modele geçiyoruz.
Ölçeklenebilirlik Trilemmasına benzer şekilde, Ethereum ekosisteminde bir Birlikte Çalışabilirlik Üçlemesi vardır. Birlikte çalışma protokolleri aşağıdaki üç özellikten yalnızca ikisine sahip olabilir:
- Güvensizlik : Temel alanlarla eşdeğer güvenliğe sahip olmak.
- Genişletilebilirlik: Herhangi bir etki alanında desteklenebilir.
- Genelleştirilebilirlik: Etki alanları arası keyfi verileri işleyebilir.
Connext ve NXTP Buna Nasıl Uyuyor?
İstenen üç birlikte çalışabilirlik özelliğinin tümünü elde etmenin kolay bir yolu yok. Bununla birlikte, Birlikte Çalışabilirlik Üçlemesini çözmek için Ethereum’un Ölçeklenebilirlik Üçlemesini çözmek adına yaptığı aynı yaklaşımı kullanabileceğimizi fark ettik.
Ethereum L1, ölçeklenebilirlik pahasına güvenlik ve ademi merkeziyetçiliği optimize eder. Bunun arkasındaki mantık, bu özelliklerin muhtemelen bir blok zincirin uzun ömürlülüğü ve faydası için en önemli özellikler olmasıdır. Daha sonra Ethereum, mevcut güvenli ve merkezi olmayan bir omurganın üzerine bir katman olarak L2/sharding yoluyla ölçeklenebilirlik ekler.
Connext’te, Ethereum ekosisteminde en uzun ömürlü, faydalı ve uyarlanabilir birlikte çalışabilirlik sisteminin, maksimum düzeyde güvenilmez ve genişletilebilir bir sistem olacağına kuvvetle inanıyoruz. Bu nedenle, NXTP, herhangi bir etki alanında hala kullanılabilir durumdayken, temel alan etki alanları kadar güvenli olacak şekilde özel olarak tasarlanmış yerel olarak doğrulanmış bir sistemdir.
Peki genelleştirilebilirlik ne olacak? Ethereum ekosistemindeki ölçeklenebilirliğe benzer şekilde, nxtp’nin üzerine doğal olarak doğrulanmış protokolleri takarak genelleştirilebilirlik ekleyebiliriz (birlikte çalışma ağımızın bir “Katmanı 2” olacak!). Bu şekilde, kullanıcılar ve geliştiriciler herhangi bir etki alanında tutarlı bir arabirim elde eder ve bu işlevselliğin mevcut olduğu durumlarda bağlantılarını genelleştirilmek üzere ”yükseltebilir”.
NXTP’nin birlikte çalışabilirlik ağımızın temel protokolü olduğunu söylememizin nedeni budur. Tam ağ, NXTP’yi, bir çift etki alanına özgü genelleştirilmiş çapraz zincirli köprüleri ve hepsini tek bir kesintisiz sisteme bağlamak için protokolleri içerecek olan bir protokol yığınından oluşacaktır. 🌐
Aramıza katılmak ister misiniz?
- https://xpollinate.io adresinden Connext’i deneyin !
- Sizi işe alıyoruz! Çekirdek ekibe katılmakla ilgileniyorsanız lütfen iş ilanlarımıza göz atın.
- Discord sohbetimize katılın — sizinle tanışmayı çok isteyen süper aktif bir topluluğumuz var!
- Connext’i projenizin bir parçası olarak kullanmak istiyorsanız, belgelerimize gözatın ve/veya Discord kanalımızdan bize ulaşın.
Connext hakkında
Connext, L2 Ethereum’un birlikte çalışabilirlik protokolüdür.
