Bu yazı, Bitcoin miqyaslana bilməsi üçün təklif olunan Ark adlı offchain əməliyyat toplama protokolunu araşdıran akademik bir iş əsasında hazırlanıb. Araşdırılan iş Ark: Offchain Transaction Batching in Bitcoin başlığını daşıyır və arXiv-də preprint kimi yayımlanıb.

İşin əsas mövzusu Bitcoin-in məhdud əməliyyat tutumudur. Bitcoin təhlükəsiz və mərkəzləşdirilməmiş şəbəkə təqdim edir; lakin hər əməliyyatın onchain təsdiqlənməsi şəbəkənin genişmiqyaslı ödəniş sistemi kimi istifadəsini çətinləşdirir. Lightning Network kimi Layer-2 həlləri bu problemə cavab verməyə çalışır. Ancaq bu həllər çox vaxt kanal açma, likvidlik kilidləmə, routing, rebalancing və top-up kimi əlavə mürəkkəbliklər gətirir.

Ark bu nöqtədə fərqli yanaşma təklif edir. İstifadəçilərin Bitcoin üzərində əvvəlcədən kanal açmadan və ya vəsait kilidləmədən offchain ödəniş ala bilməsini hədəfləyir. Bunu VTXO yəni virtual UTXO anlayışı, operator tərəfindən maliyyələşdirilən batch quruluşu və zəncirə kiçik commitment əməliyyatları yazma üsulu ilə edir.

Bu məzmun investisiya məsləhəti deyil. Ark texniki Bitcoin Layer-2 protokoludur. Yazıda izah olunanlar protokol arxitekturası, təhlükəsizlik modeli və miqyaslana bilmə qiymətləndirməsi ilə bağlıdır; hər hansı token, coin və ya investisiya tövsiyəsi ehtiva etmir.

Yeni bir akademik iş Bitcoin üzərində işləyən Ark adlı commit-chain protokolunu təqdim edir. Ark istifadəçilərə virtual UTXO, yəni VTXO adlanan offchain balanslarla əməliyyat aparmağa imkan verir. Operator çoxsaylı offchain yeniləmələri bir kiçik onchain commitment daxilində toplayır. İşə görə Ark, məhdudiyyətsiz sayda VTXO-nu təxminən 197 vB ölçülü sabit onchain commitment ilə təmsil edə bilir. Cooperative exit sabit xərcli qalarkən, operator işləməzsə istifadəçilər worst-case halda \(\lceil \log n\rceil\cdot150+107\) vB miqyaslı unilateral exit yolu ilə vəsaitlərini zəncirə daşıya bilirlər.

Problem Nədir?

Bitcoin-in əsas dizaynı təhlükəsizlik və mərkəzsizliyi önə çıxarır. Lakin bu təhlükəsizlik modeli əməliyyat tutumu baxımından məhduddur. Hər ödəniş birbaşa Bitcoin blokçeyninə yazıldıqda şəbəkənin qlobal miqyasda gündəlik ödəniş sistemi kimi işləməsi çətinləşir.

Buna görə Layer-2 həlləri ortaya çıxıb. Lightning Network ödəniş kanalları ilə zəncirxarici ödəniş etməyə imkan verir. Lakin Lightning istifadə etmək istəyən istifadəçi kanal açmalı, onchain əməliyyat etməli, likvidlik kilidləməli və çox vaxt routing problemləri ilə məşğul olmalıdır. Bu quruluş texniki baxımdan güclü olsa da, adi istifadəçi üçün mürəkkəb ola bilər.

Ark-ın həll etməyə çalışdığı problem budur: Bitcoin üzərində istifadəçilər kanal açmadan, əvvəlcədən vəsait kilidləmədən və mürəkkəb routing proseslərinə girmədən offchain ödəniş ala bilərmi?

İşin cavabı Ark arxitekturasıdır. Ark istifadəçilərin virtual UTXO, yəni VTXO saxlamasına imkan verir. Bu VTXO-lar offchain şəkildə əl dəyişə bilər. Operator isə müəyyən intervallarla bu dəyişiklikləri Bitcoin zəncirinə kiçik commitment əməliyyatları ilə bağlayır.

Metod Nə Təklif Edir?

Ark Bitcoin-uyğun commit-chain kimi dizayn edilib. Commit-chain əməliyyatların çoxunu zəncir xaricində aparır; lakin sistem vəziyyətini müəyyən intervallarla zəncirə bağlayan qısa commitment əməliyyatları yayımlayır.

Ark-da mərkəzi operator var. Bu operator istifadəçi vəsaitlərini birbaşa saxlayan etibarlı bank kimi düşünülməməlidir. İşin təhlükəsizlik modelində operator zərərli ola bilər. Buna baxmayaraq istifadəçilərin vəsaitlərini qoruya bilməsi üçün unilateral exit, batch quruluşu, Taproot script yolları və reset transaction kimi mexanizmlər istifadə olunur.

Ark-ın əsas obyekti VTXO yəni virtual UTXO-dur. Standart Bitcoin UTXO-su onchain çıxış olduğu halda, VTXO zəncir xaricində təmsil olunan, lakin lazım gəldikdə zəncirə daşına bilən virtual çıxışdır. İstifadəçilər bu VTXO-ları offchain xərcləyə, başqa istifadəçilərə göndərə və ya operator işləmədikdə unilateral exit yolu ilə zəncirə çıxara bilərlər.

Sistemin əsas axını belədir: İstifadəçi Ark-a daxil olur, VTXO alır, bu VTXO ilə offchain ödəniş edir, alıcı ödəniş təhlükəsizliyi üçün batch swap ilə yeni VTXO alır, operator bu yeniləmələri onchain commitment daxilində toplayır. Operator əməkdaşlıq edərsə istifadəçilər aşağı xərclə çıxa bilər. Operator cavab verməzsə istifadəçi öz VTXO yolunu zəncirə yayımlayaraq çıxa bilər.

Formullar Nəyi İzah Edir?

Bu iş maliyyə gəlirliliyi modeli deyil, kriptoqrafik və protokol səviyyəsində sistem təklif etdiyi üçün formullar daha çox transaction quruluşu, script şərtləri, təhlükəsizlik hədləri və miqyaslana bilmə xərcləri ilə bağlıdır.

1. Bitcoin transaction quruluşu

İşdə Bitcoin UTXO modelində əməliyyat quruluşu belə ifadə edilir:

Burada \(ins\), xərclənəcək köhnə UTXO-ları; \(wits\), bu UTXO-ları açmaq üçün lazım olan witness məlumatlarını; \(outs\), yeni yaradılan çıxışları ifadə edir. Bu göstərim Ark üçün vacibdir, çünki Ark standart Bitcoin transaction məntiqini zəncirxarici virtual transaction quruluşları ilə genişləndirir.

2. Transaction keçərlilik şərti

Bitcoin əməliyyatı yeni pul yaratmamalıdır. Bu əsas keçərlilik şərti belə yazılır:

Bu formul əməliyyat girişlərindəki ümumi dəyərin çıxışlardakı ümumi dəyərdən kiçik ola bilməyəcəyini bildirir. Aradakı fərq əməliyyat haqqı kimi düşünülə bilər. Ark-ın virtual əməliyyatları da bu UTXO məntiqinə bağlı qalır.

3. Ark sistemində istifadəçi çoxluğu

Ark çoxsaylı istifadəçinin operator vasitəsilə offchain əməliyyat apardığı sistem kimi modelləşdirilir:

Burada \(P_i\), Ark istifadəçisini ifadə edir. Operator isə adətən \(O\) ilə göstərilir. İstifadəçilər VTXO saxlayır, operator isə bu VTXO yeniləmələrini batch şəklində onchain commitment əməliyyatlarına bağlayır.

4. VTXO tərifi

VTXO dəyər və kilidləmə scriptindən ibarət virtual çıxış kimi düşünülə bilər:

Bu quruluş standart UTXO-ya bənzəyir; lakin VTXO normalda zəncirdə görünmür. Yalnız lazım gəldikdə, məsələn unilateral exit zamanı, müvafiq virtual transaction yolu zəncirə daşınır.

5. Sadə VTXO kilidləmə scripti

İşdə ən sadə VTXO nümunəsi Taproot script yolu ilə göstərilir:

Bu ifadə iki yolu izah edir. Birinci yol collaborative spend yoludur; operator \(O\) və istifadəçi Alice birlikdə xərcləmə edir. İkinci yol unilateral spend yoludur; Alice operator olmadan, \(t_u\) nisbi zaman kilidi keçdikdən sonra öz VTXO-sunu zəncirə daşıya bilər.

6. Virtual transaction tree

Ark batch quruluşu virtual transaction tree, yəni VTXT ilə modelləşdirilir:

Burada \(V\), virtual transaction düyünlərini; \(A\), bu əməliyyatlar arasındakı istiqamətli əlaqələri ifadə edir. İstifadəçi unilateral exit etmək istəsə, öz VTXO-suna gedən path üzərindəki virtual transaction-ları zəncirə yayımlaya bilər.

7. VTXO yol göstərimi

Virtual transaction düyününə gedən yol işdə belə təsvir edilir:

Bu yol root transaction-dan müvafiq VTXO-ya qədər yayımlanmalı virtual əməliyyat ardıcıllığını təmsil edir. Worst-case unilateral exit xərci bu yolun uzunluğu ilə əlaqəlidir.

8. Batch expiry zaman həddi

İşdəki transaction asılılıq sxemində batch expiry üçün bu göstərim istifadə olunur:

Burada \(h\), commitment əməliyyatının operator tərəfindən göndərildiyi blok hündürlüyünü; \(k\), Bitcoin təsdiq dərinliyi təhlükəsizlik parametrini; \(t_e\), batch-in keçərlilik müddəti ilə bağlı zaman parametrini ifadə edir.

9. Commitment onchain izi

İşin eksperimental nəticəsinə görə Ark commitment əməliyyatı batch ölçüsündən asılı olmayaraq təxminən sabit ölçüdədir:

Bu nəticə Ark-ın miqyaslana bilmə iddiası baxımından mərkəzidir. Çünki çoxsaylı VTXO zəncir xaricində təmsil edilərkən, zəncirə yazılan commitment əməliyyatı batch-dəki VTXO sayı ilə böyümür.

10. Worst-case unilateral exit xərci

Operator cavab verməzsə istifadəçi öz VTXO-sunu zəncirə çıxarmaq məcburiyyətində qala bilər. İşdə worst-case unilateral exit xərci belə verilir:

Burada \(n\), batch daxilindəki VTXO sayını ifadə edir. Xərc xətti deyil, loqarifmik miqyaslanır. Bu, istifadəçi sayı artdıqda worst-case exit xərcinin birbaşa \(n\) qədər böyümədiyi deməkdir.

11. Nümunə exit haqqı

İşdə \(n=128\) və 6 sat/vB haqq nisbəti üçün bu nümunə hesab verilir:

Bu nümunə bir VTXO-nun unilateral exit xərcinin müəyyən şərtlərdə təxminən neçə satoshi ola biləcəyini göstərir. Lakin bu dəyər Bitcoin fee bazarına görə dəyişir.

12. Fast finality üçün təminat şərti

Ark-da normal finality onchain commitment ilə güclənir. Lakin istifadəçilər əlavə fərziyyələri qəbul edərlərsə fast finality seçiminə qoşula bilərlər. Bunun üçün operatorun kilidlədiyi təminat, sürətli finality istifadə edənlərin ümumi VTXO dəyərindən böyük olmalıdır:

Burada \(c\), operatorun yandırıla bilən collateral dəyərini; \(v\), fast finality istifadəçilərinin ümumi VTXO dəyərini ifadə edir. Məqsəd operatorun ikiqat imza atmaqla qazana biləcəyindən daha çox təminat itirməsini təmin etməkdir.

13. Fast finality istifadəçi çoxluğu

Fast finality sisteminə qoşulan istifadəçilər bu çoxluqla göstərilir:

Bu istifadəçilər əməliyyatı onchain commitment gözləmədən daha sürətli qəbul etmək istəyirlər. Lakin bunun üçün rational operator və ən azı bir dürüst committee signer kimi əlavə təhlükəsizlik fərziyyələri işə düşür.

14. Schnorr nonce reuse və özəl açarın çıxarılması

İş operatorun eyni nonce ilə iki fərqli Schnorr imzası yaratdığı halda özəl açarın çıxarıla bilməsi fikrindən fast finality cəza mexanizmində istifadə edir. Schnorr imzası sadə şəkildə belə düşünülə bilər:

Eyni \(r\) dəyəri ilə iki fərqli mesaj imzalansa:

Bu iki tənlikdən özəl açar belə əldə edilə bilər:

Bu mexanizmin məqsədi operatorun ikiqat imza atmasını iqtisadi baxımdan çəkindirici etməkdir. Operator ikiqat imza atarsa özəl açarı çıxarıla bilər və əvvəlcədən kilidlədiyi collateral yandırıla bilər.

15. Commitment yaratma müddəti

İşdə commitment yaratma müddətinin istifadəçi sayı ilə xətti böyüdüyü bildirilir:

Eksperimental ölçmədə 200 istifadəçi üçün proses təxminən 2,7 saniyə çəkib. Bu nəticə Ark-ın kiçik və orta miqyaslı batch yeniləmələrində praktik işləyə biləcəyini düşündürür; lakin real şəbəkə gecikmələri bu müddəti artıra bilər.

Qrafik, Cədvəl və Sxemin Əsas Mesajı

PDF-dəki Şəkil 1, Ark protokolunun başdan sona axınını göstərir. Alice əvvəlcə boarding əməliyyatı ilə Ark-a daxil olur və VTXO alır. Daha sonra Bob-a offchain ödəniş edir. Bob aldığı VTXO-nu batch swap ilə yeni və daha təhlükəsiz VTXO-ya çevirir. Alice istəsə cooperative exit ilə zəncirə qayıda bilər. Operator işləməzsə Bob unilateral exit yolu ilə öz VTXO-sunu zəncirə daşıya bilər.

Cədvəl 1, Ark-ı Lightning, statechain, payment pool, sidechain, commit-chain, Bitcoin Clique və rollup kimi həllərlə müqayisə edir. Ark-ın önə çıxan tərəfi Bitcoin-compatible olması, unilateral exit təqdim etməsi, external fungibility təmin etməsi və state update üçün yalnız operatorla müvafiq istifadəçilərin iştirakını tələb etməsidir.

Şəkil 2, Ark daxilindəki transaction asılılıqlarını ətraflı göstərir. Solid qutular onchain görünən əməliyyatları, dashed qutular isə normal şəraitdə zəncirə çıxması gözlənilməyən virtual transaction-ları təmsil edir. Bu sxem Ark-ın zəncirdə kiçik commitment buraxıb mürəkkəb paylanmanı offchain transaction tree daxilində saxladığını göstərir.

Şəkil 3, Alice-in Bob-a Ark transaction ilə ödəniş göndərmə prosesini və reset transaction imzalama axınını göstərir. Bu axın testnet tətbiqində aşkarlanan hostage attack və spam attack problemlərinə qarşı gətirilən təhlükəsizlik düzəlişinin protokol səviyyəsində necə işlədiyini anlamaq baxımından vacibdir.

Eksperimental qiymətləndirmə bölməsinin əsas mesajı isə budur: Ark-ın commitment əməliyyatı batch daxilindəki VTXO sayından asılı olmayaraq təxminən 197 vB qalır. Unilateral exit isə sabit deyil, batch ölçüsünə görə loqarifmik artır. Bu, Ark-ın əsas üstünlüyünü və əsas xərc sahəsini eyni anda göstərir.

Təcrübələr Necə Aparılıb?

İşdə Ark protokolunun təhlükəsizliyi formal şəkildə müəyyənləşdirilib və VTXO security, user balance security, atomicity, operator balance security və fast finality balance security kimi xüsusiyyətlər müzakirə edilib.

Müəlliflər testnet tətbiqində iki vacib hücum aşkar etdiklərini bildirirlər: hostage attack və spam attack. Hostage attack müxtəlif expiry müddətlərinə malik batch-lərdən gələn VTXO-ların eyni Ark transaction daxilində xərclənməsi ilə operator vəsaitlərinin uzun müddət kilidli qalmasına səbəb ola bilər. Spam attack isə zərərli istifadəçinin zəncirə çoxsaylı əməliyyat yayımlatmağa çalışaraq operatoru iqtisadi baxımdan çətin vəziyyətə salmasına əsaslanır.

Bu hücumlara qarşı reset transactions adlı əlavə virtual transaction quruluşu təklif edilib. Reset transaction operatorun xərclənmiş VTXO-ları müəyyən şərtlərdə geri ala bilməsini və zərərli istifadəçinin xərci operatorun üzərinə atmasını çətinləşdirir.

Performans baxımından commitment yaratma müddəti və onchain footprint ölçülüb. Təcrübələrə görə commitment transaction təxminən 197 vB ölçüsündədir. Leaf transaction təxminən 107 vB, intermediate virtual transaction isə təxminən 150 vB kimi hesabatlanıb. 200 istifadəçi üçün commitment yaratma prosesi təxminən 2,7 saniyə çəkib.

Nəticələr Nəyi Göstərir?

İşin birinci nəticəsi Ark-ın Bitcoin-uyğun commit-chain kimi dizayn edilə bilməsidir. Ark Bitcoin-ə yeni opcode əlavə edilməsini şərt qoymadan, Taproot və imza əsaslı strukturlarla işləməyi hədəfləyir.

İkinci nəticə Ark-ın onboarding asanlığıdır. Lightning-də istifadəçi adətən kanal açmalı və likvidlik kilidləməlidir. Ark-da isə istifadəçi offchain ödəniş ala və vəsaitləri daha sonra Ark daxilində istifadə edə və ya zəncirə çıxara bilər.

Üçüncü nəticə onchain footprint baxımından vacibdir. Ark commitment əməliyyatı batch daxilindəki VTXO sayından asılı olmayaraq təxminən 197 vB qalır. Bu, çoxsaylı offchain istifadəçi yeniləməsini kiçik zəncir izi ilə təmsil etməyi mümkün edir.

Dördüncü nəticə unilateral exit xərcinin tamamilə pulsuz olmamasıdır. Operator əməkdaşlıq edərsə cooperative exit daha səmərəli olur. Lakin operator bağlanar və ya pis davranarsa istifadəçi öz VTXO path-ini zəncirə yayımlamaq məcburiyyətində qalır. Bu halda worst-case xərc \(\lceil \log n\rceil\cdot150+107\) vB formasında artır.

Beşinci nəticə təhlükəsizlik təhlilinin praktik təsiridir. İş yalnız protokol təklif etməklə kifayətlənməyib, testnet tətbiqində iki hücum aşkarlayıb və bunlara reset transaction həllini əlavə edib. Bu baxımdan iş nəzəri protokol dizaynı ilə tətbiq təhlükəsizliyi arasındakı fərqi də göstərir.

Bu Niyə Vacibdir?

Bitcoin miqyaslana bilməsi müzakirələrində adətən iki kənar yanaşma görünür. Bir tərəfdə birbaşa onchain əməliyyatlar var; təhlükəsizdir, lakin miqyaslanması məhduddur. Digər tərəfdə daha mürəkkəb Layer-2 həlləri var; daha sürətlidir, lakin istifadəçi təcrübəsi, likvidlik və təhlükəsizlik fərziyyələri baxımından əlavə çətinliklər gətirir.

Ark bu müzakirəyə üçüncü perspektiv əlavə edir. İstifadəçilərin birbaşa kanal açmasını şərt qoymadan, offchain VTXO balansları ilə ödəniş almasını və bu balansları batch commitment quruluşu ilə Bitcoin-ə bağlamasını hədəfləyir.

Xüsusilə “alıcı əvvəlcədən vəsait kilidləmədən ödəniş ala bilsin” fikri istifadəçi təcrübəsi baxımından vacibdir. Bu, Bitcoin Layer-2 sistemlərinin daha geniş istifadəçi kütləsinə çatması üçün kritik ola bilər.

Lakin Ark-ın da pulsuz həll olmadığı görünür. Operator likvidliyi, VTXO refresh məcburiyyəti, unilateral exit xərci, fast finality üçün əlavə təhlükəsizlik fərziyyələri, committee quruluşu və bank run ssenariləri hələ də vacib tədqiqat mövzularıdır.

Diqqət Edilməli Məqamlar

Bu iş texniki protokol təhlilidir; investisiya məsləhəti deyil.

Ark operator tələb edən arxitekturadır. Operator istifadəçi vəsaitlərini özbaşına oğurlaya bilməyəcək şəkildə məhdudlaşdırılmağa çalışılsa da, operatorun onlayn qalması, batch yaratması və likvidlik təmin etməsi sistemin praktik işləməsi üçün vacibdir.

Fast finality fərziyyələri normal Ark təhlükəsizlik modelindən daha güclüdür. Bu rejimdə rational operator, collateral və ən azı bir dürüst committee signer kimi əlavə qəbullar tələb olunur.

Unilateral exit nəzəri təhlükəsizlik təmin edir; lakin fee bazarı sıx olduqda kiçik VTXO sahibləri üçün bahalı ola bilər. Buna görə VTXO ölçüsü, batch dizaynı və fee mühiti praktik istifadədə vacibdir.

Bank run ssenarisində çoxsaylı istifadəçinin eyni anda unilateral exit etmək istəməsi Bitcoin blok sahəsinə təzyiq göstərə bilər. İş bu mövzunu gələcəkdə daha ətraflı modelləşdirilməli sahə kimi göstərir.

Reset transactions hostage və spam attack problemlərini azaldır; lakin protokol mürəkkəbliyini artırır. İstifadəçilərin müvafiq transaction tarixçəsini saxlaması və lazım gəldikdə düzgün path-i yayımlaya bilməsi vacibdir.

Nəticə

Bu akademik iş Bitcoin üzərində Ark adlı commit-chain protokolunun necə işləyə biləcəyini ətraflı ortaya qoyur. Ark-ın əsas fikri istifadəçilərin VTXO adlanan virtual çıxışlarla zəncir xaricində əməliyyat aparması və operatorun bu əməliyyatları kiçik onchain commitment-larla Bitcoin-ə bağlamasıdır.

İşin ən güclü tərəfi Bitcoin uyğunluğunu qoruyaraq external fungibility, unilateral exit və kiçik onchain footprint hədəflərini bir araya gətirməsidir. Təxminən 197 vB sabit commitment ölçüsü Ark-ın miqyaslana bilmə iddiasını dəstəkləyən vacib eksperimental nəticədir.

Bununla belə, Ark Lightning-i birbaşa əvəz edən sadə həll kimi oxunmamalıdır. Daha çox fərqli istifadə ehtiyaclarına cavab verən ayrıca Layer-2 arxitekturası kimi qiymətləndirilməlidir. Lightning sürətli kanal ödənişləri üçün güclüdür; Ark isə offchain onboarding, batch commitment və VTXO əsaslı vəsait daşına bilməsi baxımından fərqli üstünlüklər təqdim edə bilər.

Verianla baxımından bu işin əsas mesajı budur: Bitcoin miqyaslana bilməsi yalnız blok ölçüsü və ya əməliyyat sürəti məsələsi deyil. İstifadəçilərin zəncirə nə vaxt toxunduğu, vəsaitlərin necə təmsil edildiyi, zərərli operatora qarşı necə çıxış edilə bildiyi və onchain izin necə kiçildildiyi ən az sürət qədər vacibdir.

Mənbə və Metod Qeydi

Bu məzmun Ark: Offchain Transaction Batching in Bitcoin başlıqlı akademik PDF araşdırılaraq hazırlanıb. Mətn sözbəsöz tərcümə deyil. İşin məqsədi, protokol quruluşu, əsas formulları, təhlükəsizlik modeli, hücum təhlilləri, eksperimental tapıntıları və məhdudiyyətləri Verianla oxucuları üçün sadələşdirilmiş, orijinal və redaktə edilmiş Azərbaycan dili ilə yenidən izah edilib.

Formullar işdəki texniki quruluşa sadiq qalınaraq MathJax uyğun LaTeX formatında verilib. Yazı investisiya məsləhəti, coin tövsiyəsi və ya texniki quraşdırma təlimatı deyil.