BOB ve Bitcoin arasındaki prototip BitVM köprüsü başarıyla test edilerek Bitcoin ve Ethereum'un en iyi özelliklerini bir araya getirmeye yönelik Hybrid L2 misyonumuzda önemli bir kilometre taşı oluşturuldu.

Prototip, güven minimize edilmiş bir Bitcoin köprüsünü kolaylaştırmak için BitVM2'nin en son sürümünden yararlanıyor. Önde gelen birBitVM geliştiricisi ve sıfır bilgi altyapısı şirketi olan Fiammaile yakın ortaklık içinde geliştirilmiştir.

Bu gelişme, Babylon'un Bitcoin stake protokolü aracılığıyla BOB Ağına Bitcoin kesinliği getirecek olan Babylon ile yaklaşan entegrasyonumuzun duyurulmasının hemen ardından geldi. Bu iki gelişme birlikte, BOB'un Hybrid L2 yol haritasının 2. Aşamasına geçmeye başlamasına olanak tanıyor.

BOB, hem Bitcoin'in güvenliğini miras alan hem de BitVM tabanlı bir köprü prototipi geliştiren ilk Katman-2 çözümü olacak.

Daha fazlasını öğrenmek için okumaya devam edin.

‍

BitVM nedir?

BitVM, Bitcoin üzerinde iyimser bir şekilde program yürütmek için kullanılan 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. İyimserliği düşünün, ama Bitcoin'de. İki ana kullanım alanı Bitcoin rollup'ları ve güven minimize edilmiş köprülerdir. Her ikisinde de, kullanıcıların 3. bir tarafa güvenmeden bir L2'den BTC yatırmasına ve çekmesine izin vermek istiyoruz.

Mevcut köprüler genellikle Wrapped Bitcoin (wBTC) ve Coinbase Wrapped Bitcoin (cbBTC) gibi merkezi varlıklara ya da güvenliğin katılımcıların çoğunluğunun dürüstlüğüne bağlı olduğu tBTC gibi yarı güvenilir ağlara dayanmaktadır. Buna karşılık, BitVM2 köprüleri üstün bir güvenlik modeli sunmaktadır: Ağda tek bir dürüst ve çevrimiçi düğüm olduğu sürece BTC mevduatları çalınamaz ve bu düğüm mevduat sahibinin kendisi olabilir.

En son ve pratik sürüm BitVM2'dir. Tam protokol spesifikasyonu için lütfen en son makalemize bakın.

BitVM2 teknik tasarımının aktif bir katılımcısı ve ortak yazarı olan BOB'un Kurucu Ortağı Alexei Zamyatin, bugünkü başarının önemini vurguladı:

"Bitcoin güvenliği ve güven minimize edilmiş BTC köprüleme, Bitcoin L2'leri diğer tüm zincirlerden ayıran şeydir. En sağlam ve merkezi olmayan ağdan gelen güvenlik, herhangi bir üçüncü tarafa güvenmeden BTC yatırmanın ve çekmenin bir yolu ile eşleştirilmiştir. Şimdiye kadar bu mümkün değildi, neredeyse tüm BTC köprüleri güvenilir multisig'lerdir. Ancak şimdi, Bitcoin tarihinde ilk kez, BitVM2 ile bunu pratikte başarmak için nihayet bir planımız ve bir prototipimiz var."

‍

BitVM2 Protokol Akışı

  1. Bir programı Bitcoin Script'te uygulanan bir SNARK doğrulayıcısına sıkıştırın. Groth16 ispat sistemini kullanarak yaklaşık 1GB boyut elde ediyoruz.
  2. Doğrulayıcıyı her biri en fazla 4 MB olan alt program parçalarına bölün, böylece her biri bir Bitcoin işleminde çalıştırılabilir.
  3. Operatör kurulum sırasında programı kabul eder.
  4. BitVM2'den para çekmeye çalışırken, Operatöre herhangi biri tarafından itiraz edilebilir, örneğin, paket açma (peg-out) doğru şekilde tamamlanmadıysa.
  5. İtiraz edilmesi halinde, İşletmeci tüm aracı program sonuçlarını açıklamalıdır.
  6. Operatör hile yaparsa, iddia edilen alt program sonuçlarından biri yanlış olacaktır. Herhangi biri, bir Bitcoin işleminde söz konusu alt programı çalıştırarak Operatörün sahte bir hesaplama iddia ettiğini göstererek Operatörü çürütebilir.
  7. Bitti! Hatalı Operatör dışarı atılır ve geçersiz bir harcama işlemi nedeniyle BitVM fonlarına erişemez.

‍

BitVM Köprü Akışı

BitVM Köprüsü, Bitcoin üzerinde bir hafif istemci köprüsü uygulamak için BitVM2'yi kullanır. L2 Bitcoin'i doğrular, Bitcoin de L2'yi doğrular. En ilginç kısım, Bitcoin DeFi protokolleri için uzun zamandır bir zorluk olan peg-out olarak da adlandırılan sargı açma işlemidir.

  1. Operatörler, para çeken kullanıcıya kendi fonlarından BTC ödemekte ve daha sonra BTC'yi BitVM'den geri almaktadır.
  2. BitVM, L2'deki bir un-wrap işlemi için Bitcoin'de doğru bir peg-out olup olmadığını kontrol eder.
  3. Her şey doğruysa, Operatör BTC'yi iade alır.

‍

Doğru çalışma koşullarında köprüleme işlemi her iki yönde de bir saatten daha kısa sürede tamamlanmaktadır ki bu da Bitcoin'e yönelik mevcut Ethereum L1 veya L2 köprülerinden çok daha hızlıdır.

‍

Fiamma ile Stratejik Ortaklık

BitVM2 uygulamasını hızlandırmak için BOB, ilk BitVM köprüsü (Fiamma Bridge) ve Bitcoin'deki ilk BitVM destekli doğrulama katmanı (Fiamma Layer) dahil olmak üzere BitVM2 kullanan ilk ürünlerin arkasındaki öncü Fiamma ile işbirliği yaptı.

Bu ortaklık, BOB'un BitVM köprü prototipinin başarısında etkili oldu. BOB ve Fiamma birlikte temel köprü altyapısını kurdular ve BOB'un mutabakatını doğrulamak için prover yazılımının erken bir sürümünü denediler. BOB'un bu ayın başlarında Fiamma'ya yaptığı stratejik yatırımın ardından Fiamma'nın altyapısı ve uzmanlığı, BitVM köprü prototipinden başlayarak BitVM'in BOB'da hızlı bir şekilde konuşlandırılmasını destekleyebilecek.

Fiamma'nın kurucu ortağı ve BitVM'e katkıda bulunan Cyimon Chen, bugünkü dönüm noktasıyla ilgili olarak şunları söyledi

"BOB ekibiyle ortaklığımızı duyurmaktan heyecan duyuyoruz! Görüşmelerimiz sırasında Alexei ve ekibinin değerli görüşlerini derinden takdir ediyoruz. BitVM Köprüsü'nü BOB'a entegre etmeyi ve onu güven minimize edilmiş bir köprüye sahip ilk Bitcoin Katman 2 haline getirmeyi dört gözle bekliyoruz. BOB'un BitVM köprü prototipinin, stratejik ortaklığımızın sonucunda ortaya çıkan birçok etkileyici duyurunun ilki olmasını umuyoruz."

‍

BOB'un Hibrit L2 Yol Haritasının İlerletilmesi

Bu haftanın başlarında BOB, BOB'u Bitcoin güvenli bir ağ olarak kuracak ve blok zincirine Bitcoin kesinliği sağlayacak olan önde gelen BTC stake protokolü Babylon ile planlanan entegrasyonunu duyurdu.

Güven minimize edilmiş köprüleme ve Bitcoin kesinliği, Bitcoin'in güvenlik ve likiditesini Ethereum'un DeFi inovasyonu ve çok yönlülüğü ile birleştirmeyi amaçlayan BOB'un hibrit tasarımının temel bileşenleridir ve BOB'u BTC DeFi'nin evi olarak kurar.

Bu kombinasyon şunları sağlayacaktır:

  • Geliştirilmiş güvenlik: BOB üzerindeki işlemler Bitcoin'in güvenliğine bağlı olacaktır.
  • Sorunsuz BTC transferleri: Kullanıcılar aracılara güvenmek zorunda kalmadan BTC'yi Bitcoin ve BOB arasında taşıyabilecekler.
  • Daha hızlı para çekme: Bitcoin kesinliği, BOB'un yerel Ethereum köprüsünde para çekme sürelerini hızlandıracaktır.

Bunun ne anlama geldiği hakkında daha fazla bilgi edinmek için lütfen BOB'un Hibrit L2 Vizyon Belgesini okuyun.

‍

Sırada ne var?

Bu prototipin teslim edilmesinin ardından BOB, BitVM köprüsünü 2025'in başlarında BOB test ağında kullanıma sunmayı ve başarılı denetim ve ortak entegrasyonunun ardından ana ağ dağıtımını gerçekleştirmeyi planlıyor.

BOB, Babylon ile entegrasyonunu tamamladığında ve bir Bitcoin Güvenli Ağı (BSN) olduğunda, BitVM köprüsü için birincil güvenlik mekanizması BTC stake etme yoluyla Bitcoin kesinliği olacaktır. Bunu uygulamak için Babylon ile aktif olarak çalışıyoruz.

Bu arada, BitVM köprüsünün lansmanından ve planladığımız diğer tüm heyecan verici gelişmelerden haberdar olmak için sosyal medya hesaplarımızı takip etmeye devam edin.

Geliştiriciler ve teknolojinin derinliklerine inmeyi seven herkes için, sonraki bölümler köprü prototipinin temelini oluşturan belirli gelişmeleri daha fazla açıklamaktadır. Ayrıca prototip test işlemlerine bağlantılar da bulunmaktadır.

‍

BitVM Bridge Teknik Ayrıntılar

Uzmanlaşmış zkVM tabanlı Prover

Fiamma'nın çekirdek altyapısıyla entegre olarak, BOB üzerinde blok yapımını doğrulamak için zkVM tabanlı kanıtlayıcımızın erken bir prototipini geliştirdik. Bu erken sürümde, SNARK prover'ımıza girdi olarak verdik:

  • Ethereum L1 işlemleri, L2OutputOracle sözleşmesine yeni çıktı kökleri gönderir.
  • Bir hedef blok için bu "kontrol noktasına" kadar olan L2 blok başlıkları.
  • Hedef L2 bloğu için yürütme makbuzları.

Burada, onaylanan teklif sahibinin doğru şekilde imzaladığından ve çıktı kökünün en son L2 bloğuyla eşleştiğinden emin olduk. Ayrıca hedef bloğumuza giden tüm blokların doğru sırada olduğunu doğruladık. Ardından, hedef bloğun işlem kayıtları içinde, ilk kurulum sırasında oluşturulan BitVM örneğini benzersiz bir şekilde tanımlayan belirli bir "yanma olayı" olduğunu doğruladık.

Köprü Sözleşmesi ve Bitcoin SPV Tam Röle

Akıllı sözleşme mantığımızın çoğu, ERC20 tokenlerinin BOB üzerinde basılmasını mümkün kılan ve operatörlerin peg-out taleplerini işlemesine olanak tanıyan yeni bir "Bridge" sözleşmesinde tanımlanmıştır.

Dahili olarak, Bitcoin işlemlerinin dahil edildiğinden emin olmak için kontrol ettiğimiz bir Bitcoin SPV "tam röle" de vardır.

Peg-In ve Peg-Out Süreçleri

Alice adlı bir kullanıcının BTC'yi BOB'a köprülemek ve ardından çekmek istediğini varsayarsak, adım adım BitVM köprü protokolü aşağıdaki gibi yürütülür. Not: "peg-in" ve "peg-out", kodda ve BitVM makalesinde kullanılan tanımlara göre, içeri ve dışarı köprüleme anlamına gelir.

Peg-In:

  • Alice, yeni bir BitVM örneği oluşturmak için komite* ile koordinasyon kurar ve benzersiz bir kimlik alır (zincir dışı).
  • Alice, kimliği referans alarak belirlenen Bitcoin adresine BTC gönderir.
  • Komite, Bitcoin tx ve dahil etme kanıtını BOB'daki köprü akıllı sözleşmesine gönderir ve bu sözleşme (SPV rölesini kullanarak) para yatırma işleminin Bitcoin ana zincirine en az 6 onay ile dahil edildiğini doğrular.
  • Her şey kontrol edilirse, akıllı sözleşme Alice'e BTC depozitosuna 1:1 oranında sarılmış bir BTC ERC20 tokenı basar. Alice daha sonra bunu BOB'un DeFi protokollerinden herhangi birinde, tıpkı diğer ERC20 tokenları gibi kullanabilir.

‍

* "Sözleşme emülasyonu" olarak adlandırılan komite, Bitcoin üzerindeki eksik sözleşme op-kodlarını simüle etmek için kullanılır. Bu komite, operatörün BTC mevduatlarını yalnızca itiraz edilebilecek şekilde harcayabilmesini sağlayan ve böylece hırsızlığı önleyen belirli Bitcoin işlemlerini önceden imzalamak için gereklidir. Spesifik olarak bu, m'nin çok büyük olabileceği (rastgele örneklenmiş 100'lerce imzacı) bir m-of-m komitesidir. Bu imzacılardan biri dürüst olduğu sürece kurulum güvenlidir. Alice'in kendisi de bu kuruluma katılabilir. Bitcoin TXHASH veya OP_CAT gibi yeni bir işlem kodu eklerse bu komite eninde sonunda değiştirilebilir.

‍

Peg-Out:

  • Alice, paketlenmiş BTC ERC20'yi BOB üzerindeki köprü akıllı sözleşmesine kilitler ve bir operatörün talebi kabul etmesini bekler.
  • Operatörlerden biri daha sonra ilgili BTC miktarını Alice'in Bitcoin'deki adresine gönderir ve en az 6 onay alındıktan sonra BOB'daki köprü akıllı sözleşmesine bir dahil etme kanıtı sağlar. Akıllı sözleşme bir "yanma" olayı yayınlar.

Not: Bu noktada Alice'e peg-out işlemi tamamlanmıştır. Operatör BTC'yi kendi bakiyesinden "önden" vermektedir. Aşağıdaki adımlarda, operatör işlemi tamamlamak için bu tutarı BitVM mevduatlarından geri alır. Bu mantık Ethereum'daki bir likidite köprüsü ile karşılaştırılabilir.

  • BOB sıralayıcı "yanma" olayını içeren bir blok üretir ve bu blok daha sonra yukarıda açıklanan ZK prover için girdi olarak kullanılır.
  • Operatör, Bitcoin'deki BitVM mevduatlarından bir para çekme işlemi başlatır. Şimdi, 7 gün içinde, herkes peg-out'un doğruluğunu doğrulayabilir ve hata durumunda operatöre itiraz edebilir.
  • Seçenek 1: Her şey doğru. Operatör peg-out işlemini doğru bir şekilde gerçekleştirdiyse (doğru miktar, alıcı, gerekli süre içinde, ...), itiraz edilmeyecek ve 7 gün sonra BitVM mevduatlarından BTC'yi talep edeceklerdir.
  • Seçenek 2: Hata ve meydan okuma. Operatör hile yapmaya çalıştıysa (örneğin, Alice'e BTC göndermediyse ancak yine de geri almaya çalışıyorsa), ağda en az 1 dürüst ve çevrimiçi kullanıcı olduğu sürece onlara meydan okunacaktır. Operatör daha sonra SNARK doğrulayıcısının ("Assert" işlemi) yürütülmesi hakkında ek veriler yayınlamak zorunda kalır, bu da meydan okuyanların Bitcoin ağına operatörün hile yaptığını (1 işlemle daha) kanıtlamasına olanak tanır. Operatör Asset işlemini yayınlamazsa veya gerçekten hile yapmışsa (yani, SNARK doğrulayıcısı doğru şekilde yürütülemezse), para çekme girişimi başarısız olur ve operatör setinden çıkarılır.

‍

Peg-out durumunda, operatörün BitVM örneğinden geri alırken daha fazlasını telafi edebilmesi için akıllı sözleşmede ücretleri çıkarma esnekliğine sahip olduğumuzu unutmayın.

‍

BitVM Köprü Prototipi İş Başında

Prototip köprüyü iş başında göstermek için Bitcoin signet üzerindeki bazı örnek işlemlere bir göz atalım.

İlk olarak, kullanıcının BTC'sini kilitlediği peg-in işlemi:

‍

Mutlu Yol

Optimal durumda (operatörün dürüst olduğu durumda), BTC'yi pegout_tx 'te kullanıcıya sunar ve daha sonra happy_take_tx'te fonları (itirazsız) geri alırlar:

‍

Mutsuz Yol (Başarılı Mücadeleyle)

Bir operatör başarılı bir ZK kanıtı olmadan BTC'yi geri almaya çalıştığında, challenger BitVM'ye assert_tx 'in geçersiz olduğunu kanıtlayan bir disprove_tx sağlayabilir:

‍

Mutsuz Yol (Başarısız Meydan Okuma ile)

Bir operatöre geçerli bir peg-out konusunda itiraz edilirse, çürütülemeyen bir assert_tx sağlarlar. Daha sonra fonları unhappy_take_tx içinde geri alırlar:

‍

Sonraki Geliştirme Adımları

Mevcut prototip hala geliştirme aşamasında olduğundan bazı kısıtlamalara sahiptir. Lansman öncesi testnet sürümüne giden sonraki adımlar:

‍

  • Bitcoin'de bunu doğru bir şekilde doğrulamak için bir ZK light istemcisi de dahil olmak üzere Babylon aracılığıyla Bitcoin kesinlik kontrolleri ekleyin.
  • Kullanıcılardan karmaşıklığı gizleyerek UX'i iyileştirmek için BOB Bridge ve Stake ile entegre edin.
  • Boyut kısıtlamaları nedeniyle bazı taahhütleri zincir üzerinde göndermenin bazı pratik sınırlamaları vardır (yani, şu anda assert tx veri taahhütlerinden yoksundur). Fiamma ile bu konuyu araştırıyoruz.
  • Operatörlere adil ödeme yapılmasını ve BitVM köprüsünü işletmeye teşvik edilmelerini sağlamak için ekonomide ince ayar yapılması.

‍