Bu yazı, Bitcoin ölçeklenebilirliği için önerilen Ark adlı offchain işlem toplama protokolünü inceleyen akademik bir çalışmadan hazırlanmıştır. İncelenen çalışma, Ark: Offchain Transaction Batching in Bitcoin başlığını taşımaktadır ve arXiv üzerinde ön baskı olarak yayımlanmıştır.

Çalışmanın temel konusu Bitcoin’in sınırlı işlem kapasitesidir. Bitcoin güvenli ve merkeziyetsiz bir ağ sunar; ancak her işlemin onchain onaylanması, ağın yaygın ödeme sistemi olarak kullanılmasını zorlaştırır. Lightning Network gibi Layer-2 çözümleri bu soruna cevap vermeye çalışır. Fakat bu çözümler çoğu zaman kanal açma, likidite kilitleme, routing, rebalancing ve top-up gibi ek karmaşıklıklar getirir.

Ark, bu noktada farklı bir yaklaşım önerir. Kullanıcıların Bitcoin üzerinde önceden kanal açmadan veya fon kilitlemeden offchain ödeme alabilmesini hedefler. Bunu VTXO yani virtual UTXO kavramı, operatör tarafından fonlanan batch yapısı ve zincire küçük commitment işlemleri yazma yöntemiyle yapar.

Bu içerik yatırım tavsiyesi değildir. Ark, teknik bir Bitcoin Layer-2 protokolüdür. Yazıda anlatılanlar protokol mimarisi, güvenlik modeli ve ölçeklenebilirlik değerlendirmesiyle ilgilidir; herhangi bir token, coin veya yatırım önerisi içermez.

Yeni bir akademik çalışma, Bitcoin üzerinde çalışan Ark adlı commit-chain protokolünü tanıtıyor. Ark, kullanıcıların virtual UTXO yani VTXO adı verilen offchain bakiyelerle işlem yapmasına izin veriyor. Operatör, çok sayıda offchain güncellemeyi tek bir küçük onchain commitment içine topluyor. Çalışmaya göre Ark, sınırsız sayıda VTXO’yu yaklaşık 197 vB büyüklüğünde sabit bir onchain commitment ile temsil edebiliyor. Cooperative exit sabit maliyetli kalırken, operator çalışmazsa kullanıcılar worst-case durumda \(\lceil \log n\rceil\cdot150+107\) vB ölçekli unilateral exit yoluyla fonlarını zincire taşıyabiliyor.

Problem Ne?

Bitcoin’in temel tasarımı, güvenlik ve merkeziyetsizliği öne çıkarır. Fakat bu güvenlik modeli, işlem kapasitesi açısından sınırlıdır. Her ödeme doğrudan Bitcoin blokzincirine yazıldığında, ağın küresel ölçekte günlük ödeme sistemi gibi çalışması zorlaşır.

Bu yüzden Layer-2 çözümler ortaya çıkmıştır. Lightning Network, ödeme kanallarıyla zincir dışı ödeme yapmayı sağlar. Ancak Lightning kullanmak isteyen bir kullanıcının kanal açması, onchain işlem yapması, likidite kilitlemesi ve çoğu zaman routing sorunlarıyla uğraşması gerekir. Bu yapı teknik olarak güçlü olsa da, sıradan kullanıcı için karmaşık olabilir.

Ark’ın çözmeye çalıştığı sorun şudur: Bitcoin üzerinde kullanıcılar kanal açmadan, önceden fon kilitlemeden ve karmaşık routing süreçlerine girmeden offchain ödeme alabilir mi?

Çalışmanın cevabı Ark mimarisidir. Ark, kullanıcıların virtual UTXO yani VTXO tutmasını sağlar. Bu VTXO’lar offchain olarak el değiştirebilir. Operatör ise belirli aralıklarla bu değişiklikleri Bitcoin zincirine küçük commitment işlemleriyle bağlar.

Yöntem Ne Öneriyor?

Ark, Bitcoin uyumlu bir commit-chain olarak tasarlanmıştır. Commit-chain, işlemlerin çoğunu zincir dışında yürütür; fakat sistem durumunu belirli aralıklarla zincire bağlayan kısa commitment işlemleri yayınlar.

Ark’ta merkezi bir operatör vardır. Bu operatör kullanıcı fonlarını doğrudan emanet eden güvenilir bir banka gibi düşünülmemelidir. Çalışmanın güvenlik modelinde operatör kötü niyetli olabilir. Buna rağmen kullanıcıların fonlarını koruyabilmesi için unilateral exit, batch yapısı, Taproot script yolları ve reset transaction gibi mekanizmalar kullanılır.

Ark’ın ana nesnesi VTXO yani virtual UTXO’dur. Standart Bitcoin UTXO’su onchain bir çıktı iken, VTXO zincir dışı temsil edilen ama gerektiğinde zincire taşınabilen sanal bir çıktıdır. Kullanıcılar bu VTXO’ları offchain harcayabilir, başka kullanıcılara gönderebilir veya operatör çalışmadığında unilateral exit yoluyla zincire çıkarabilir.

Sistemin temel akışı şöyledir: Kullanıcı Ark’a girer, VTXO alır, bu VTXO ile offchain ödeme yapar, alıcı ödeme güvenliği için batch swap ile yeni bir VTXO alır, operatör bu güncellemeleri onchain commitment içinde toplar. Operatör işbirliği yaparsa kullanıcılar düşük maliyetle çıkabilir. Operatör yanıt vermezse kullanıcı kendi VTXO yolunu zincire yayınlayarak çıkış yapabilir.

Formüller Ne Anlatıyor?

Bu çalışma finansal getiri modeli değil, kriptografik ve protokol düzeyinde bir sistem önerdiği için formüller daha çok transaction yapısı, script koşulları, güvenlik eşikleri ve ölçeklenebilirlik maliyetleriyle ilgilidir.

1. Bitcoin transaction yapısı

Çalışmada Bitcoin UTXO modelindeki işlem yapısı şu şekilde ifade edilir:

Burada \(ins\), harcanacak eski UTXO’ları; \(wits\), bu UTXO’ları açmak için gereken witness verilerini; \(outs\), yeni oluşturulan çıktıları ifade eder. Bu gösterim Ark için önemlidir çünkü Ark, standart Bitcoin transaction mantığını zincir dışı virtual transaction yapılarıyla genişletir.

2. Transaction geçerlilik koşulu

Bir Bitcoin işlemi yeni para yaratmamalıdır. Bu temel geçerlilik koşulu şöyle yazılır:

Bu formül, işlem girdilerindeki toplam değerin çıktılardaki toplam değerden küçük olamayacağını söyler. Aradaki fark işlem ücreti olarak düşünülebilir. Ark’ın sanal işlemleri de bu UTXO mantığına bağlı kalır.

3. Ark sistemindeki kullanıcı kümesi

Ark, çok sayıda kullanıcının operatör üzerinden offchain işlem yaptığı bir sistem olarak modellenir:

Burada \(P_i\), Ark kullanıcısını ifade eder. Operatör ise genellikle \(O\) ile gösterilir. Kullanıcılar VTXO tutar, operatör ise bu VTXO güncellemelerini batch halinde onchain commitment işlemlerine bağlar.

4. VTXO tanımı

VTXO, değer ve kilitleme scriptinden oluşan sanal çıktı olarak düşünülebilir:

Bu yapı standart UTXO’ya benzer; ancak VTXO normalde zincirde görünmez. Yalnızca gerektiğinde, örneğin unilateral exit sırasında, ilgili virtual transaction yolu zincire taşınır.

5. Basit VTXO kilitleme scripti

Çalışmada en basit VTXO örneği Taproot script yolu ile gösterilir:

Bu ifade iki yol anlatır. İlk yol collaborative spend yoludur; operatör \(O\) ve kullanıcı Alice birlikte harcama yapar. İkinci yol unilateral spend yoludur; Alice operatör olmadan, \(t_u\) göreli zaman kilidi geçtikten sonra kendi VTXO’sunu zincire taşıyabilir.

6. Virtual transaction tree

Ark batch yapısı, virtual transaction tree yani VTXT ile modellenir:

Burada \(V\), virtual transaction düğümlerini; \(A\), bu işlemler arasındaki yönlü bağlantıları ifade eder. Kullanıcı unilateral exit yapmak isterse, kendi VTXO’suna giden path üzerindeki virtual transaction’ları zincire yayınlayabilir.

7. VTXO yol gösterimi

Bir virtual transaction düğümüne giden yol çalışmada şu şekilde anlatılır:

Bu yol, root transaction’dan ilgili VTXO’ya kadar yayınlanması gereken sanal işlem dizisini temsil eder. Worst-case unilateral exit maliyeti bu yolun uzunluğuyla ilişkilidir.

8. Batch expiry zaman eşiği

Çalışmadaki transaction bağımlılık şemasında batch expiry için şu gösterim kullanılır:

Burada \(h\), commitment işleminin operatör tarafından gönderildiği blok yüksekliğini; \(k\), Bitcoin onay derinliği güvenlik parametresini; \(t_e\), batch’in geçerlilik süresiyle ilişkili zaman parametresini ifade eder.

9. Commitment onchain ayak izi

Çalışmanın deneysel sonucuna göre Ark commitment işlemi, batch boyutundan bağımsız olarak yaklaşık sabit büyüklüktedir:

Bu sonuç Ark’ın ölçeklenebilirlik iddiası açısından merkezidir. Çünkü birçok VTXO zincir dışında temsil edilirken, zincire yazılan commitment işlemi batch’teki VTXO sayısıyla büyümez.

10. Worst-case unilateral exit maliyeti

Operatör yanıt vermezse kullanıcı kendi VTXO’sunu zincire çıkarmak zorunda kalabilir. Çalışmada worst-case unilateral exit maliyeti şu şekilde verilir:

Burada \(n\), batch içindeki VTXO sayısını ifade eder. Maliyet lineer değil, logaritmik ölçeklenir. Bu, kullanıcı sayısı büyüdüğünde worst-case exit maliyetinin doğrudan \(n\) kadar büyümediği anlamına gelir.

11. Örnek exit ücreti

Çalışmada \(n=128\) ve 6 sat/vB ücret oranı için şu örnek hesap verilir:

Bu örnek, bir VTXO’nun unilateral exit maliyetinin belirli koşullarda yaklaşık kaç satoshi olabileceğini gösterir. Ancak bu değer Bitcoin fee piyasasına göre değişir.

12. Fast finality için teminat koşulu

Ark’ta normal finality onchain commitment ile güçlenir. Ancak kullanıcılar ek varsayımları kabul ederse fast finality seçeneğine katılabilir. Bunun için operatörün kilitlediği teminat, hızlı finality kullanan kullanıcıların toplam VTXO değerinden büyük olmalıdır:

Burada \(c\), operatörün yakılabilir collateral değerini; \(v\), fast finality kullanıcılarının toplam VTXO değerini ifade eder. Amaç, operatörün çift imza atarak kazanabileceğinden daha fazla teminat kaybetmesini sağlamaktır.

13. Fast finality kullanıcı kümesi

Fast finality sistemine katılan kullanıcılar şu küme ile gösterilir:

Bu kullanıcılar, işlemi onchain commitment beklemeden daha hızlı kabul etmek ister. Ancak bunun için rational operator ve en az bir dürüst committee signer gibi ek güvenlik varsayımları devreye girer.

14. Schnorr nonce reuse ve özel anahtar çıkarımı

Çalışma, operatörün aynı nonce ile iki farklı Schnorr imzası üretmesi halinde özel anahtarın çıkarılabileceği fikrini fast finality ceza mekanizmasında kullanır. Schnorr imzası sade biçimde şöyle düşünülebilir:

Aynı \(r\) değeriyle iki farklı mesaj imzalanırsa:

Bu iki denklemden özel anahtar şu şekilde elde edilebilir:

Bu mekanizmanın amacı, operatörün çifte imza atmasını ekonomik olarak caydırmaktır. Operatör çifte imza atarsa özel anahtarı çıkarılabilir ve önceden kilitlediği collateral yakılabilir.

15. Commitment üretim süresi

Çalışmada commitment üretim süresinin kullanıcı sayısıyla lineer büyüdüğü belirtilir:

Deneysel ölçümde 200 kullanıcı için süreç yaklaşık 2,7 saniye sürmüştür. Bu sonuç, Ark’ın küçük ve orta ölçekli batch güncellemelerinde pratik çalışabileceğini düşündürür; ancak gerçek ağ gecikmeleri bu süreyi artırabilir.

Grafik, Tablo ve Şema Ana Mesajı

PDF’teki Şekil 1, Ark protokolünün uçtan uca akışını gösterir. Alice önce boarding işlemiyle Ark’a girer ve VTXO alır. Daha sonra Bob’a offchain ödeme yapar. Bob, aldığı VTXO’yu batch swap ile yeni ve daha güvenli bir VTXO’ya dönüştürür. Alice isterse cooperative exit ile zincire dönebilir. Operatör çalışmazsa Bob unilateral exit yoluyla kendi VTXO’sunu zincire taşıyabilir.

Tablo 1, Ark’ı Lightning, statechain, payment pool, sidechain, commit-chain, Bitcoin Clique ve rollup gibi çözümlerle karşılaştırır. Ark’ın öne çıkan tarafı Bitcoin-compatible olması, unilateral exit sunması, external fungibility sağlaması ve state update için yalnızca operatör ile ilgili kullanıcıların katılımını gerektirmesidir.

Şekil 2, Ark içindeki transaction bağımlılıklarını ayrıntılı biçimde gösterir. Solid kutular onchain görünen işlemleri, dashed kutular ise normal şartlarda zincire çıkmaması beklenen virtual transaction’ları temsil eder. Bu şema, Ark’ın zincirde küçük bir commitment bırakıp karmaşık dağılımı offchain transaction tree içinde tuttuğunu gösterir.

Şekil 3, Alice’in Bob’a Ark transaction ile ödeme gönderme sürecini ve reset transaction imzalama akışını gösterir. Bu akış, testnet uygulamasında tespit edilen hostage attack ve spam attack sorunlarına karşı getirilen güvenlik düzeltmesinin protokol düzeyinde nasıl çalıştığını anlamak açısından önemlidir.

Deneysel değerlendirme bölümünün ana mesajı ise şudur: Ark’ın commitment işlemi batch içindeki VTXO sayısından bağımsız olarak yaklaşık 197 vB kalır. Unilateral exit ise sabit değil, batch büyüklüğüne göre logaritmik artar. Bu, Ark’ın ana avantajını ve ana maliyet alanını aynı anda gösterir.

Deneyler Nasıl Yapılmış?

Çalışmada Ark protokolünün güvenliği biçimsel olarak tanımlanmış ve VTXO security, user balance security, atomicity, operator balance security ve fast finality balance security gibi özellikler tartışılmıştır.

Yazarlar, testnet uygulamasında iki önemli saldırı tespit ettiklerini belirtir: hostage attack ve spam attack. Hostage attack, farklı expiry sürelerine sahip batch’lerden gelen VTXO’ların aynı Ark transaction içinde harcanmasıyla operatör fonlarının uzun süre kilitli kalmasına yol açabilir. Spam attack ise kötü niyetli kullanıcının zincire çok sayıda işlem yayınlatmaya çalışarak operatörü ekonomik olarak zorlamasına dayanır.

Bu saldırılara karşı reset transactions adı verilen ek virtual transaction yapısı önerilmiştir. Reset transaction, operatörün harcanmış VTXO’ları belirli koşullarda geri alabilmesini ve kötü niyetli kullanıcının maliyeti operatöre yıkmasını zorlaştırır.

Performans tarafında, commitment üretim süresi ve onchain footprint ölçülmüştür. Deneylere göre commitment transaction yaklaşık 197 vB büyüklüğündedir. Leaf transaction yaklaşık 107 vB, intermediate virtual transaction ise yaklaşık 150 vB olarak raporlanmıştır. 200 kullanıcı için commitment oluşturma süreci yaklaşık 2,7 saniye sürmüştür.

Sonuçlar Ne Gösteriyor?

Çalışmanın ilk sonucu, Ark’ın Bitcoin uyumlu bir commit-chain olarak tasarlanabildiğidir. Ark, Bitcoin’e yeni opcode eklenmesini şart koşmadan, Taproot ve imza tabanlı yapılarla çalışmayı hedefler.

İkinci sonuç, Ark’ın onboarding kolaylığıdır. Lightning’de kullanıcı genellikle kanal açmak ve likidite kilitlemek zorundadır. Ark’ta ise bir kullanıcı offchain ödeme alabilir ve fonları daha sonra Ark içinde kullanabilir veya zincire çıkarabilir.

Üçüncü sonuç, onchain footprint açısından önemlidir. Ark commitment işlemi batch içindeki VTXO sayısından bağımsız olarak yaklaşık 197 vB kalır. Bu, çok sayıda offchain kullanıcı güncellemesini küçük bir zincir iziyle temsil etmeyi mümkün kılar.

Dördüncü sonuç, unilateral exit maliyetinin tamamen ücretsiz olmadığıdır. Operatör işbirliği yaparsa cooperative exit daha verimli olur. Fakat operator kapanır veya kötü davranırsa kullanıcı kendi VTXO path’ini zincire yayınlamak zorunda kalır. Bu durumda worst-case maliyet \(\lceil \log n\rceil\cdot150+107\) vB biçiminde artar.

Beşinci sonuç, güvenlik analizinin pratik etkisidir. Çalışma yalnızca protokol önermekle kalmamış, testnet uygulamasında iki saldırı tespit etmiş ve bunlara reset transaction çözümünü eklemiştir. Bu açıdan çalışma, teorik protokol tasarımı ile uygulama güvenliği arasındaki farkı da gösterir.

Bu Neden Önemli?

Bitcoin ölçeklenebilirliği tartışmalarında genellikle iki uç yaklaşım görülür. Bir yanda doğrudan onchain işlemler vardır; güvenlidir ama ölçeklenmesi sınırlıdır. Diğer yanda daha karmaşık Layer-2 çözümleri vardır; daha hızlıdır ama kullanıcı deneyimi, likidite ve güvenlik varsayımları açısından ek zorluklar getirir.

Ark bu tartışmaya üçüncü bir perspektif ekliyor. Kullanıcıların doğrudan kanal açmasını şart koşmadan, offchain VTXO bakiyeleriyle ödeme almasını ve bu bakiyeleri batch commitment yapısıyla Bitcoin’e bağlamasını hedefliyor.

Özellikle “alıcı önceden fon kilitlemeden ödeme alabilsin” fikri kullanıcı deneyimi açısından önemlidir. Bu, Bitcoin Layer-2 sistemlerinin daha geniş kullanıcı kitlesine ulaşması için kritik olabilir.

Ancak Ark’ın da bedelsiz bir çözüm olmadığı görülüyor. Operatör likiditesi, VTXO refresh zorunluluğu, unilateral exit maliyeti, fast finality için ek güvenlik varsayımları, committee yapısı ve bank run senaryoları hâlâ önemli araştırma konularıdır.

Dikkat Noktaları

Bu çalışma teknik bir protokol analizidir; yatırım tavsiyesi değildir.

Ark, operatör gerektiren bir mimaridir. Operatör kullanıcı fonlarını keyfi biçimde çalamayacak şekilde sınırlandırılmaya çalışılsa da, operatörün çevrim içi kalması, batch üretmesi ve likidite sağlaması sistemin pratik çalışması için önemlidir.

Fast finality varsayımları normal Ark güvenlik modelinden daha güçlüdür. Bu modda rational operator, collateral ve en az bir dürüst committee signer gibi ek kabuller gerekir.

Unilateral exit teorik güvenlik sağlar; fakat fee piyasası yoğun olduğunda küçük VTXO sahipleri için maliyetli olabilir. Bu yüzden VTXO boyutu, batch tasarımı ve fee ortamı pratik kullanımda önemlidir.

Bank run senaryosunda çok sayıda kullanıcının aynı anda unilateral exit yapmak istemesi Bitcoin blok alanı üzerinde baskı yaratabilir. Çalışma bu konuyu gelecekte daha ayrıntılı modellenmesi gereken bir alan olarak işaret eder.

Reset transactions, hostage ve spam attack sorunlarını azaltır; fakat protokol karmaşıklığını artırır. Kullanıcıların ilgili transaction geçmişini saklaması ve gerektiğinde doğru path’i yayınlayabilmesi önemlidir.

Sonuç

Bu akademik çalışma, Bitcoin üzerinde Ark adlı commit-chain protokolünün nasıl çalışabileceğini ayrıntılı biçimde ortaya koyuyor. Ark’ın temel fikri, kullanıcıların VTXO adı verilen sanal çıktılarla zincir dışında işlem yapması ve operatörün bu işlemleri küçük onchain commitment’larla Bitcoin’e bağlamasıdır.

Çalışmanın en güçlü tarafı, Bitcoin uyumluluğunu koruyarak external fungibility, unilateral exit ve küçük onchain footprint hedeflerini bir araya getirmesidir. Yaklaşık 197 vB sabit commitment boyutu, Ark’ın ölçeklenebilirlik iddiasını destekleyen önemli bir deneysel sonuçtur.

Bununla birlikte Ark, Lightning’in yerini doğrudan alan basit bir çözüm gibi okunmamalıdır. Daha çok farklı kullanım ihtiyaçlarına cevap veren ayrı bir Layer-2 mimarisi olarak değerlendirilmelidir. Lightning hızlı kanal ödemeleri için güçlüdür; Ark ise offchain onboarding, batch commitment ve VTXO tabanlı fon taşınabilirliği tarafında farklı avantajlar sunabilir.

Verianla açısından bu çalışmanın ana mesajı şudur: Bitcoin ölçeklenebilirliği yalnızca blok boyutu veya işlem hızı meselesi değildir. Kullanıcıların zincire ne zaman dokunduğu, fonların nasıl temsil edildiği, kötü niyetli operatöre karşı nasıl çıkış yapılabildiği ve onchain ayak izinin nasıl küçültüldüğü en az hız kadar önemlidir.

Kaynak ve Yöntem Notu

Bu içerik, Ark: Offchain Transaction Batching in Bitcoin başlıklı akademik PDF incelenerek hazırlanmıştır. Metin birebir çeviri değildir. Çalışmanın amacı, protokol yapısı, temel formülleri, güvenlik modeli, saldırı analizleri, deneysel bulguları ve sınırlılıkları Verianla okurları için sadeleştirilmiş, özgün ve editoryal Türkçe ile yeniden anlatılmıştır.

Formüller, çalışmadaki teknik yapıya sadık kalınarak MathJax uyumlu LaTeX formatında verilmiştir. Yazı yatırım tavsiyesi, coin önerisi veya teknik kurulum talimatı değildir.