Kaspa'nın vProgs'unu Keşfetmek: Ölçeklenebilir, Doğrulanabilir Uygulamalar için Çerçeve

Kaspa ilk taslağını yayınladı vProgs Sarı Kağıt 11 Eylül 2025'te. Bu belge, sıfır bilgi kanıtlarıyla güvence altına alınan ve Kaspa'nın verilerine bağlı, zincir dışı hesaplamaları mümkün kılan doğrulanabilir programlar veya vProgs için bir protokolün ayrıntılarını vermektedir. Katman 1 ağı. 

Çerçeve, ağın yüksek blok üretim oranlarını korurken merkezi olmayan uygulamaları desteklemeyi amaçlıyor. @DailyKaspa'nın X gönderisi, geliştiricilerin ve topluluk üyelerinin projenin yol haritasını tartışacağı Berlin'deki Kaspa Experience konferansından bir gün önce gerçekleşecek.

Kaspa'nın BlockDAG Mimarisi Hakkında Arka Plan

Kaspa, doğrusal blok zincirlerinden farklı şekilde çalışır, örneğin: Bitcoin or EthereumBirden fazla bloğun birbirine paralel olarak referans vermesine olanak tanıyan ve madencilik sırasında blokların yetim kalması ihtiyacını azaltan bir blockDAG kullanır. Bu tasarım, Yonatan Sompolinsky tarafından geliştirilen ve Nakamoto konsensüsünü güvenlikten ödün vermeden daha yüksek blok oranlarına uyum sağlayacak şekilde genişleten GHOSTDAG protokolüne dayanmaktadır.

Şu anda Kaspa saniyede 10 blok işliyor, bunu saniyede 32 bloğa ve uzun vadede potansiyel olarak 100 bloğa çıkarmayı planlıyor. Onaylamalar genellikle bir ila 10 saniye içinde gerçekleşir ve temel sınırlama, zincir içi işlemden ziyade ağ gecikmesidir. Bu, teorik olarak saniyede 10,000'in üzerinde işlem hacmiyle sonuçlanır; bu da Bitcoin'in saniyede 3 ila 7 işlem veya Ethereum'un 15. Katman'da saniyede 30 ila 1 işlem kapasitesini çok aşar.

Ağ, madencilerin blok eklemek için hesaplamalı bulmacaları çözdüğü iş kanıtı mutabakatına dayanır. İşlem ücretleri ve blok ödülleri şu şekilde ödenir: KAS tokenleriKaspa ağının yerel kripto para birimi. Kaspa, 2021 yılında risk sermayesi finansmanından kaçınarak adil bir dağıtım modeliyle piyasaya sürüldü ve bu da topluluk odaklı gelişimine katkıda bulundu. 

Kaspa, öncelikli olarak ödemeler ve veri uzlaşmaları için bir temel katman görevi görmüş ve değiştirilebilir token'lar için KRC-20 gibi standartları benimsemiştir. vProgs önerisi gelene kadar, akıllı sözleşmeler için yerel destekten yoksundu ve temel işlemler için daha basit betiklere güveniyordu.

Umut Vaat Eden Projeleri Keşfedin...

Umut Vadeden Projeler...

(İlan)

Makale devam ediyor...

Kaspa vProgs nedir?

Doğrulanabilir programlar anlamına gelen vProgs, karmaşık mantığı ana zincirden yürütmek ve sonuçların Kaspa'nın 1. Katmanında doğrulanabilmesini sağlamak için bir sistem sunar. Her vProg, programların ana zincirde nasıl çalıştığına benzer şekilde kendi durum ve geçiş kurallarını yöneten, kendi kendine yeten bir birim gibi davranır. Solana ancak sıfır bilgi kanıtı doğrulaması eklenmiştir.

Sıfır bilgi kanıtları, kanıtlayıcının temel verileri ifşa etmeden bir hesaplamanın doğruluğunu göstermesine olanak tanır. vProgs'ta, bu kanıtlar periyodik olarak 1. Katmana gönderilerek zincir dışı faaliyetlerin bütünlüğü doğrulanır. Bu yaklaşım, ana zinciri hafif tutar ve yürütme yerine doğrulamaya odaklanır; bu da Kaspa'nın hız ve verimliliğe verdiği önemle uyumludur.

Sarı Belge taslağı, sürüm 0.0.1, vProg'ları "egemen ancak birleştirilebilir" uygulamalara olanak tanıyan bir araç olarak tanımlıyor. Egemenlik, her vProg'un okuma ve yazma izinleri de dahil olmak üzere kendi iç işlemlerini bağımsız olarak kontrol etmesi anlamına gelir. Birleştirilebilirlik, bir vProg'un diğerinden veri okumasına olanak tanıyarak uygulamalar arası işlemler gibi etkileşimleri kolaylaştırır, ancak çakışmaları önlemek için yazmalar kaynak vProg ile sınırlıdır.

vProgs'un geliştirilmesi, katkıda bulunanların Kaspa'nın araştırma forumunda Ağustos 2025'te gerçekleştirdiği bir tartışma dizisine dayanmaktadır. eşzamanlı birleştirilebilirlikteki zorluklarTaslak, bu oturumların geri bildirimlerini içeriyor, ancak hesap oluşturma süreçleri ve veri temizleme mekanizmaları da dahil olmak üzere birçok unsur hâlâ geliştirilme aşamasında.

vProgs'un Temel Teknik Özellikleri

vProgs'un işlevselliğinin temelinde, yüksek verimli bir ortamda bağımlılıkları ve verimliliği ele almak üzere tasarlanmış çeşitli mekanizmalar vardır:

Prova Dikişi: Kanıt birleştirme, birbirine bağlı vProg'lardan gelen birden fazla sıfır bilgi kanıtını tek bir taahhütte birleştirir ve bu daha sonra Katman 1'e gönderilir. Bu, sonuçların toplama tabanlı sistemlerde yaygın olan ara gecikmeler olmadan aynı anda sonuçlandığı uygulamalar arası atomik işlemleri destekler.

Koşullu Kanıt GruplarıKoşullu kanıt grupları, toplu kanıtlama için ilgili işlemleri gruplandırır ve bu da hesaplama yükünü azaltır. Örneğin, birden fazla takas içeren bir DeFi senaryosunda, gruplama, gereken bireysel kanıt sayısını azaltır.

Hesaplama DAG: Computation DAG, uygulama katmanında Kaspa'nın blockDAG yapısını yansıtan bir bağımlılık grafiği oluşturur. vProg'lar arasındaki veri akışlarını izleyerek, başvurulan bilgilerin erişilebilir kalmasını ve paralel işlem sırasında yürütme sırasının korunmasını sağlar. Bu grafik, bağımlı işlemleri sıralayarak aşırı yüklenmeyi önlemeye yardımcı olur.

Kaynak ÖlçümüKaynak ölçümü, maliyetleri yönetmek için kontroller sunar. Dahili olarak, her vProg hesaplamalar için kendi 2. Katman gaz modelini kullanır. 1. Katmanda, ScopeGas, vProg'lar arası etkileşimleri ölçer ve spam veya aşırı kaynak kullanımını (örneğin, bir uygulamanın diğerinin girdi gereksinimlerini aşması) önlemek için veri bağımlılıklarına göre ücret alır.

Ekonomik modelvProgs için ekonomik model, kullanıcılardan ücret alan, izinsiz kanıtlayıcılara (kanıtları oluşturup gönderen düğümler) dayanır. Canlılık veya zamanında kanıt garantisi, iki modda işler: kanıtlayıcıların iş birliği yaptığı iyimser mod veya uygulamaların bağımsız çalıştığı egemen mod. Bu düzen, merkezi koordinatörlere güvenmeden katılımı teşvik eder.

Gizlilik Özellikleri: Gizlilik özellikleri, gizli işlemler veya kahinler gibi uygulamalarda şifreli durumları mümkün kılan sıfır bilgi kanıtlarından doğal olarak ortaya çıkar. Çerçeve, doğrulanabilir çıktıları Kaspa'nın hızlı onay sürelerine bağlayarak mikro ödemelerden kurumsal veri ödemelerine kadar çeşitli kullanım durumlarını destekler.

Berlin'deki Kaspa Deneyim Konferansı

vProgs duyurusu şu şekildedir: Kaspa Deneyimi13 Eylül 2025'te Berlin'deki Atelier Gardens'ta planlanan bir topluluk konferansı. 500 dolar ve 150 dolar afterparty ücretiyle sınırlı olan bu bir günlük etkinlik, KAS token'larıyla ödeme yapılmasını gerektiriyor ve bu da kripto para biriminin yiyecek, içecek ve ürünler de dahil olmak üzere etkinlik lojistiği için gerçek dünyada erken bir uygulamasını temsil ediyor.

Programda, Sompolinsky'nin GHOSTDAG'deki gelişmeler üzerine konuşmaları, akıllı sözleşme entegrasyonu panelleri ve pratik uygulamalara odaklanan atölyeler yer alıyor. Bir hackathon, prototiplemeyi teşvik edecek ve ağın yaratıcı kullanımlarını sergileyen bir Kaspa Sanat Fuarı düzenlenecek. Programda özel bir vProgs oturumu yer almasa da, etkinliğin basın materyalleri, Kaspa'nın DeFi ve ödeme sistemleri için bir temel olarak programlanabilir katmanını vurgulayarak yeni çerçeve hakkında gayriresmî tartışmalara olanak sağlıyor.

Madenciler, tüccarlar ve geliştiricilerden oluşan katılımcılar, Kaspa'nın merkeziyetsiz ruhunu vurgulayan bir ortamda ağ kuracak. Konferans, projenin ilk büyük yüz yüze buluşması olup, iş birliği için çevrimiçi forumlar ve Telegram kanallarına dayanmaktadır.

Zorluklar ve Uygulama Zaman Çizelgesi

vProg'ların uygulanması, sıfır bilgi sistemlerinde yaygın olan engelleri beraberinde getirir. Kanıt oluşturma, hesaplama açısından yoğun olmaya devam eder ve Kaspa'nın yüksek blok hızına rağmen gecikmeye neden olabilir. Geliştiricilerin, Ethereum Sanal Makinesi gibi ortamlardan taşımayı kolaylaştırmak için sanal makine uyumluluğunu ele almaları gerekir.

Forum katılımcıları, bir vProg'un etkinliğinin diğerlerini etkilediği dışsallıkları azaltmak için gaz paylaşım modellerini simüle ettiler. Computation DAG'daki veri kullanılabilirliği, merkezileşme risklerinden kaçınmak için dikkatli bir tasarım gerektirir.

Ağustos ayındaki görüşmelerin zaman çizelgeleri, taslak hakkındaki topluluk geri bildirimlerinin ardından, test ağının 2025'in dördüncü çeyreğinde kullanıma sunulacağını gösteriyordu. Ana ağın tam entegrasyonu, denetim ve performans kıyaslamalarına bağlı olacak; budama ve hesap mekaniklerinin gelecekteki revizyonları planlanıyor.

Likiditeyi katmanlar arasında parçalayabilen Ethereum'un rollup'ları veya verimlilik sınırlarını test eden Solana'nın zincir içi yürütmesiyle karşılaştırıldığında, vProgs, doğrulanabilir hesaplamayı doğrudan bir iş kanıtı temel katmanına entegre etmeyi amaçlar. Bu, paralel blok üretiminden yararlanırken merkeziyetsizliği korur.

Sonuç

vProgs, Kaspa'yı sıfır bilgi kanıtlarıyla doğrulanan zincir dışı yürütme araçlarıyla donatır; bunlar arasında birleştirilebilirlik için kanıt birleştirme, bağımlılık yönetimi için bir Hesaplama DAG'ı ve kaynak kontrolü için ScopeGas bulunur. 

Bu unsurlar, uygulamaların her birkaç saniyede bir blokları doğrulayan bir ağ üzerinde ölçeklenebilir şekilde çalışmasını sağlayarak, Katman 1 güvenliğinden ödün vermeden DeFi'den veri çözümüne kadar çeşitli kullanım durumlarını destekler.

kaynaklar:

• Kaspa Daily X'in vProgs ile ilgili makalesi: https://x.com/DailyKaspa/status/1966149209968505132  
• vProgs Sarı Kağıt Taslağı v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Kaspa Araştırma Forumu Eşzamanlı Bileşenlenebilirlik Konusu: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Berlin'deki Kaspa Deneyimi: https://experience.kaspa.events/