Giriş
BOB, Bitcoin'in güvenliği ile Ethereum'un programlanabilirliğini birleştirmek için tasarlanmış benzersiz bir Hibrit L2'dir. Hibrit L2'ler, güvenliği en güvenli ve merkezi olmayan ağ olan Bitcoin'den miras alır. Bitcoin güvenliği daha sonra Bitcoin, Ethereum ve diğer L1'lere güven minimize edilmiş köprüler oluşturmak için kullanılır. Sonuç olarak, Hibrit L2 birlikte çalışabilirlik için üçüncü taraf köprülere güvenmeyecek ve parçalanmış BTC çoklu zincir likiditesi sorununu çözecektir.
Bitcoin'in güvenliği ve sermayesini Ethereum'un DeFi inovasyonu ve çok yönlülüğü ile birleştiren BOB, Bitcoin'i DeFi'nin kalbine yerleştirerek yeni kullanım alanlarının ve trilyonlarca likiditenin kilidini açacak. Bu, BOB'u Bitcoin DeFi için ideal bir yuva haline getirecek: Bitcoin'inizden getiri elde etmek için en iyi ve en güvenli yer.
2024 yılında, BOB hibrit L2 için Hibrit vizyonu ve üst düzey tasarımın yanı sıra BOB'u ETH L2'den Hibrit L2'ye yükselten 3 Aşamalı yol haritasını tanıtan Hibrit L2 teknik incelemesini yayınladık.
Bu makalede, BOB'un 2. Aşamaya nasıl ulaşacağını özetliyoruz: Bitcoin kesinliği olan bir ETH toplanması ve BitVM destekli bir BTC köprüsü. Bu yükseltmenin bir parçası olarak, BOB aşağıdaki beş yeni özelliği elde edecektir:
- ZK kanıtları aracılığıyla durum geçerliliği: BOB blokları kriptografik olarak doğrulanır ve güvenlik hatalarını önlemek için kanıtlanabilir şekilde doğrudur. Bu, işlem sıralamasını güvenilmez hale getirerek sıralayıcı merkezsizleşmesini sağlar ve sonuçlandırma sürelerini iyileştirir.
- Bitcoin stake etme yoluyla kesinlik: BOB, BTC stake etme yoluyla Bitcoin kesinliği tarafından uygulanan herhangi bir yerel köprüde tek bir kanonik zincire sahiptir. Kesinlik Sağlayıcılar (FP'ler) rakip zincirleri imzalarsa, BTC hisseleri kesilecektir.
- BitVM aracılığıyla yerel Bitcoin köprüsü: BOB, ortak yazarlı BitVM2 tasarımına dayalı yerel bir Bitcoin köprüsüne sahip olacaktır.
- Hızlı para çekme işlemleri: Geçerlilik kanıtları ve FP'ler kullanılarak, BOB'dan Bitcoin ve Ethereum'a para çekme işlemleri en fazla birkaç saat sürecektir.
- Hibrit veri kullanılabilirliği: BOB kullanıcıları Bitcoin ana ağında bir işlem göndererek BOB'daki işlemleri dahil edebilir. Bu, sıralayıcı işlemleri sansürleyemeden Bitcoin'e geri çekilmeyi sağlar.
2. Aşama Yapı Taşları
1. Aşamada BOB, ana ağını Ethereum'da bir OP Yığın toplaması olarak başlattı ve Ethereum'daki BTC varlıklarını (wBTC, SolvBTC, LBTC, tBTC, ...) destekledi. BOB, Ethereum EIP-4844 bloblarını DA olarak kullanmaya ve OP standart köprü sözleşmeleri aracılığıyla Ethereum'a köprülemeyi desteklemeye devam edecektir.
2. Aşamada BOB, durum geçerliliği ("ZK rollup"), Bitcoin kesinliği ve yerel bir BTC köprüsü eklemek için üç yapı taşı sunuyor.
- Geçerlilik Kanıtları: BOB durum teklifleri üzerinden SNARK'ları kullanarak, herhangi bir üçüncü taraf, hafif istemci veya harici zincir, BOB durum tekliflerinin doğru şekilde oluşturulduğunu kriptografik olarak doğrulayabilir. Geçerlilik kanıtları Ethereum'da yayınlanır ve doğrulanır. Bu, BOB sıralayıcısının geçersiz bloklar üretememesini sağlar ve BOB'u bir geçerlilik toparlaması (bazen "ZK toparlaması" olarak da adlandırılır) haline getirir. Geçerlilik kanıtları aynı zamanda hem Bitcoin (BitVM aracılığıyla) hem de Ethereum için yerel köprülerin temelini oluşturur.
- BTC-Kazıklı Kesinlik Sağlayıcılar (FP'ler): BOB, Babylon tarafından desteklenen BTC stake edilmiş FP'leri tanıttı. FP'ler Bitcoin üzerinde BTC stake eder ve BOB devlet tekliflerini imzalar. FP'ler BOB zincirinin birden fazla versiyonunu imzalarsa, BTC'leri Bitcoin'de kesilir (özel anahtarlar sızdırılır, daha fazlasını buradan okuyun). Eşitlik için kesinti, BOB zincirini çatallama girişimine yüksek bir ekonomik maliyet getirerek daha güçlü kesinlik garantileri sunar. Bu özellik, yerel BTC ve ETH köprülerinin tutarlı çalışmasını sağladığı için hibrit L2 tasarımında kritik bir rol oynamaktadır. Bozuk bir sıralayıcı geçersiz BOB blokları oluşturamazken (geçerlilik kanıtları nedeniyle), BOB zincirinin geçerli ancak çelişkili iki versiyonunu oluşturabilir (örneğin, çift harcama içeren) ve BTC ve ETH köprülerinde tutarsızlık yaratmaya çalışabilir. BTC-staked finality, BOB'un hem Bitcoin hem de Ethereum üzerinde doğrulanmış tek bir kanonik versiyonunu zorlayarak bunu önler.
- BitVM: BitVM, Bitcoin üzerinde keyfi programları iyimser bir şekilde yürütmek için bir mekanizmadır: yürütme zincir dışında gerçekleşir, ancak başarısızlık durumunda anlaşmazlıklar çözülür ve zincir üzerinde uygulanır. BitVM'yi Bitcoin ve BOB arasında güven minimize edilmiş bir köprü oluşturmak için kullanıyoruz. Spesifik olarak, çift yönlü bir hafif istemci köprüsü oluşturuyoruz: BOB, Bitcoin'deki para yatırma işlemlerini zaten doğrulayabilir, BitVM ise BOB'daki para çekme işlemlerini doğrulamamızı ve Bitcoin ana zincirinde doğru işlem yapılmasını sağlamamızı sağlar. Böylece, BitVM'in sahtekarlığa karşı koruma mekanizmasını kullanarak BOB durumu ve BTC kesinliği üzerinden SNARK kanıtını doğruluyoruz.
BOB Hibrit L2 Tasarımı
Şimdi bu üç yapı taşını kullanarak ilk Hibrit L2'yi oluşturuyoruz:
- Toplama Geçerliliği ve Bitcoin Kesinliği: Geçerlilik Kanıtları ve BTC Bahisli FP'leri birleştiren BOB Hybrid L2, işlemlerin güvenliğini ve BTC tarafından güvence altına alınan hızlı kesinliği sağlar. FP'ler, bir geçerlilik kanıtı sunarak ve BTC hisseleri ile ağırlıklandırılmış BOB durum teklifleri üzerinde imzalar sağlayarak BOB durumunun geçerli olduğunu taahhüt eder.
- Yerel Bitcoin Köprüsü: Geçerlilik Kanıtları, BTC-Staked FP'ler ve BitVM'den yararlanan BOB, yerel bir Bitcoin köprüsü ekler. BitVM'de operatörler, köprü işleminin çeşitli kanıtlarının karmaşık bir kombinasyonu ve BOB durumunun sonuçlandırılması yoluyla BitVM örneklerinden BTC talep ederler.
- Yerel Ethereum Köprüsü ve Uzlaşması: Geçerlilik Kanıtları ve BTC-Staked FP'leri entegre eden yerel Ethereum önericileri, BOB'un geçerli olduğunu ve kullanıcılardan Ethereum'a para çekme işlemlerini tamamlamak için FP'ler tarafından sonuçlandırıldığını iddia ediyor.
Toplama Geçerliliği ve Bitcoin Kesinliği
BOB sıralayıcı her 2 saniyede bir blok üretir. Belirli sayıda BOB bloğu oluşturulduktan sonra, BOB'un durumu bir kontrol noktasına benzer şekilde sonlandırılır. Bunun için BOB sıralayıcı, son kontrol noktasından/kanıttan bu yana üretilen tüm blokları içeren bir BOB SNARK geçerlilik kanıtı üretir. Bu kanıt, işlenen tüm işlemlerin geçerli olduğunu kriptografik olarak doğrular.
Sıralayıcı, durum teklifi karmasını, imzasını ve geçerlilik kanıtını BTC stake edilmiş FP'lere gönderir. FP'lerin BOB FP'si olarak nitelendirilebilmeleri için Bitcoin'e BTC yatırmış olmaları ve karşılığında sıralayıcı ücretlerinin bir kısmını yatırma ödülü olarak almaları gerekir. Bir BOB durum teklifini, BTC hissesinin en az ⅔'ü tarafından imzalandıktan sonra nihai olarak kabul ediyoruz. Ayrıca, BOB durumuna yönelik imzalanmış taahhüt düzenli olarak Bitcoin'e kontrol edilir. 100 Bitcoin bloğundan sonra, kontrol noktası kesinleşmiş olarak kabul edilir.
Bu geçerlilik kanıtı ve Bitcoin kesinliği kombinasyonu daha sonra yerel Bitcoin ve Ethereum köprüleri için para yatırma ve çekme işlemlerini doğrulamak ve doğru bir şekilde yürütmek için kullanılır.
Yerel Bitcoin Köprüsü
BitVM'de, sözde operatörler kullanıcıların BOB'a BTC giriş ve çıkışını kolaylaştırır. Operatörler ve kullanıcılar, kullanıcının bir miktar BTC kilitlediği ve BOB'da bobBTC aldığı her para yatırma işlemi için bir BitVM örneği oluşturur. Bir kullanıcı para çekme işlemi başlattığında, operatör önce kendi cüzdanından BTC gönderir (BTC'yi önden gönderir) ve ardından BitVM depozitosundan BTC'yi geri alır. Operatör BTC'yi BitVM'den yalnızca (1) para çeken kullanıcıya cepten BTC sağladığını ve (2) ilgili para çekme talebinin (bobBTC yakan) sonuçlandırıldığını kanıtlayabilirse talep edebilir. Bu süreç iyimserdir: operatör, para çekme talebini doğru bir şekilde işlediğini belirterek BTC talep sürecini (bir SNARK şeklinde) başlatır ve önceden tanımlanmış bir zaman aralığında ("itiraz süresi") gözlemleyen herhangi bir kullanıcı tarafından itiraz edilebilir.
Eğer meydan okunursa, operatör ve meydan okuyan SNARK doğrulayıcı programının küçük bir bölümünü Bitcoin komut dosyasında Bitcoin üzerinde doğrular. Meydan okuyan, operatörün hile yaptığını başarılı bir şekilde kanıtlarsa, BTC BitVM örneğinde kalır ve operatör kesilir ve köprüden çıkarılır. Operatör dürüstse, BTC'yi BitVM örneğinden alır ve meydan okuyan kesilir.
Özellikle BOB için, operatör bir BitVM örneği için aşağıdaki iddiada bulunmaktadır: Çekilen Bitcoin işlemini (= PegOut işlemi), BOB üzerindeki köprülenmiş BTC'nin kesinleşmiş bir blokta, yani kesinleşmiş bir durum teklifinin parçası olan bir BOB bloğunda yakıldığına dair kanıtla birleştiriyorlar. Ayrıca, Bitcoin üzerindeki PegOut işlemi ile BOB kontrol noktası referansının (BTC staker'ları tarafından imzalanan BOB durumunun Bitcoin'e kontrol noktasının bir parçası olarak) aynı zincir üzerinde olduğunu kanıtlarlar.
BitVM hakkında daha derinlemesine bilgi, olası tasarım yaklaşımları arasındaki farklar ve en son ilerleme güncellemeleri için BitVM durum raporu.
Yerel Ethereum Köprüsü ve Yerleşimi
Ethereum'da iki popüler rollup türü vardır: İyimser ve geçerlilik toparlamaları. İyimser toparlamalarda, düzenli durum tekliflerine önceden tanımlanmış bir zaman aralığında itiraz edilebilir. Bir durum teklifi başarılı bir şekilde sorgulanmazsa, kesinleşmiş olarak kabul edilir. Geçerlilik yenilemelerinde, bir durum önerisine, durumun geçerliliğini garanti eden bir ZK kanıtı eşlik eder. İspat Ethereum üzerinde doğrulanır ve geçerliyse, durum hemen sonuçlandırılır.
2. Aşamanın bir parçası olarak, BOB bir geçerlilik toparlaması haline gelecektir. Bu, BitVM için kullanılan aynı kesinleşmiş durumun Ethereum için de kullanılmasını sağlar. BOB için geçerlilik ispatı diğer geçerlilik toparlamalarından farklıdır. İki kanıtı birleştirir: (1) güvenlik hatalarını önleyen BOB bloğunun geçerliliği ve (2) FP'lerin BOB'un kanonik zincirini onayladığına dair bir kanıt. FP'ler üzerindeki kanıt, ⅔ veya daha fazla BTC stake edilmiş FP'nin varlığını, Bitcoin üzerindeki FP imzalarının bir kontrol noktasını ve kontrol noktasının Bitcoin üzerinde en az 100 onaya sahip olduğunu içerir.
Bu birleşik geçerlilik kanıtını sunarak BOB'un Ethereum'daki durumunu sık sık kesinleştirebiliriz. Bu da Ethereum'a para çekme süresini iyimser bir toparlamanın mevcut 7 günlük standardından sadece birkaç saate indirir - geçerlilik toparlamaları için standart olarak.
Hibrit Veri Kullanılabilirliği
Tasarım gereği, kullanıcılar Ethereum'da bir işlem göndererek BOB'a bir işlem dahil edebilir ve bu da onları sıralayıcı sansürüne karşı korur. Ethereum'daki geçerlilik kanıtları ve yerleşimlerin herkese açık olmasıyla birlikte, kullanıcılar acil durumlarda varlıklarını Ethereum'a geri çekmeye zorlayabilirler.
Yakın zamanda BOB, Bitcoin'in bir ETH toplamasının türetme hattına eklendiği yeni Hibrit Veri Kullanılabilirliği kavramını tanıttı. Kullanıcıların Ethereum'daki OptimismPortal sözleşmesinde bir depozitonun yanı sıra rastgele işlemler gönderebilmesine benzer şekilde, kullanıcıların Bitcoin'de BOB'a rastgele işlemler göndermesine izin veriyoruz. Bunun için birincil kullanım durumu, sıralayıcının çevrimdışı olması veya L2'deki kullanıcıları sansürlemesi durumunda BOB'daki para çekme işlemlerini Bitcoin'e dahil etmektir.
Yazının tamamında, Bitcoin'in türetme hattına eklenmesinin L2 işlemleri için Bitcoin sansürüne karşı nasıl direnç sağladığını özetliyoruz.
Aşama 3'e Bakış: Tam Bitcoin Güvenliği
Bitcoin, geçerlilik kanıtlarını yerel olarak Bitcoin komut dosyasında doğrulama işlevselliği eklerse, BOB tam Bitcoin güvenliği ile doğrudan Bitcoin'e yerleşebilir. Bu, Aşama 3'ün ideal durumunu temsil eder: Bitcoin light istemcisi aracılığıyla başka herhangi bir zincire kanıtlanabilen tam Bitcoin güvenliği. Bu, BOB'un Bitcoin'e yerleştiği ve diğer zincirlerdeki sonuçlandırmanın (köprülerin) Bitcoin'i doğrulayarak yapıldığı anlamına gelir. Bu makul bir güven varsayımıdır: Bitcoin başarısız olursa, muhtemelen diğer tüm zincirler de başarısız olacaktır.
Zincir üzerinde ZK doğrulayıcıları etkinleştiren bir Bitcoin çatalının yokluğunda, BOB'un BitVM aracılığıyla iyimser doğrulamadan yararlanması gerekecektir. Bitcoin'de ek güven varsayımları olmadan iyimser toparlamalar elde etmek, Bitcoin ana zincirini bir veri kullanılabilirliği katmanı olarak kullanmayı gerektirir. Bugün itibariyle, Bitcoin DA maliyetleri zahmetlidir(bkz. Galaxy raporu) ve ekonomik açıdan bir zorluk teşkil etmektedir.
Sonuç olarak, Aşama 3'e geçişi tamamlamak için BOB'un aktif kullanıcılar açısından yeterli ölçeğe ulaşması gerekir, öyle ki ek veri kullanılabilirliği ücretlerine maruz kalmak işlem ücretlerini rakip Ethereum L2'lerinin ötesinde artırmasın. Alternatif veri kullanılabilirliği katmanları, Bitcoin'in ötesinde ek güven varsayımları getirdiğinden, maliyet ve güvenlik arasında bir değiş tokuş olarak düşünülebilir.
Toplama kesinliği için BitVM doğrulaması ile alternatif bir DA katmanı kullanmanın Faz 2 tasarımına göre avantaj sağlamadığını vurgulamak önemlidir: DA katmanının güvenliğine (genellikle PoS) güvenilmelidir. Ayrıca, böyle bir yapı, DA'nın BitVM'deki (alternatif PoS) konsensüsü için hafif bir istemci kanıtının doğrulanmasını gerektirir ki bu açık bir araştırma sorusudur.
Sonuç olarak, BOB'un 2. Aşaması, özellikle de BTC hissesinin eşitlik durumunda kesilmesi nedeniyle, bugün BTC DeFi için en güvenli ve pratik olarak uygulanabilir çözümdür.
Sonuç
BOB'u ilk kez Hibrit L2'ye yükseltmek için teknik planı sunduk: Bitcoin kesinliği ve hem BTC hem de ETH varlıkları için yerel, güven minimize edilmiş köprülere sahip bir Ethereum toplanması.
Önümüzdeki birkaç hafta içinde testnet üzerinde Hybrid L2'yi kullanıma sunmaya başlayacağız ve başarılı denetimlerin ardından mainnet'e yükseltmeyi tamamlayacağız. Buna paralel olarak, kısa süre içinde yayınlanacak olan güvenlik kanıtlarını da içeren tam bir teknik şartnameyi tamamlıyoruz. BOB'un BitVM köprüsü testnet üzerinde halihazırda başlatılmış olup, operatör katılımı yakında başlayacaktır.
