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

Kaspa, 11 Eylül 2025 tarihinde vProgs Sarı Kağıdı'nın ilk taslağını yayımladı. Bu belge, off-chain hesaplamalarını sıfır bilgi kanıtlarıyla güvence altına alan ve Kaspa'nın Layer 1 ağına bağlanan doğrulanabilir programlar veya vProgs için bir protokolü detaylandırmaktadır.

Çerçeve, ağın yüksek blok üretim oranlarını korurken merkeziyetsiz uygulamaları desteklemeyi amaçlıyor. @DailyKaspa tarafından X üzerinden paylaşılan duyuru, Berlin'deki Kaspa Deneyimi konferansından bir gün önce gerçekleşiyor; burada geliştiriciler ve topluluk üyeleri projenin yol haritasını tartışacak.

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

Kaspa, Bitcoin veya Ethereum gibi lineer blok zincirlerinden farklı çalışır. Birden fazla bloğun paralel olarak birbirini referans almasına izin veren bir blockDAG kullanır; bu, madencilik sırasında blokların yetim kalma ihtiyacını azaltır. Bu tasarım, Yonatan Sompolinsky tarafından geliştirilen GHOSTDAG protokolüne dayanmakta olup, Nakamoto konsensüsünü daha yüksek blok oranlarını güvenlikten ödün vermeden karşılayacak şekilde genişletmektedir.

Şu anda, Kaspa saniyede 10 blok işliyor, bunu 32 bloğa ve muhtemelen uzun vadede 100 bloğa çıkarmayı planlıyor. Onaylar genellikle 1 ila 10 saniye içinde gerçekleşiyor, temel sınırlama ağ gecikmesi olup, on-chain işleme değil. Bu, 10.000'in üzerinde işlem teorik bir çıktısına yol açıyor, bu da Bitcoin'in saniyede 3 ila 7 işlem veya Ethereum'un Layer 1 üzerinde shard uygulamaları öncesinde saniyede 15 ila 30 işlem yapmasına göre çok daha fazladır.

Ağ, madencilerin blok eklemek için hesaplama bulmacalarını çözdüğü iş kanıtı konsensüsüne dayanıyor. İşlem ücretleri ve blok ödülleri, Kaspa ağının yerel kripto para birimi olan KAS token'ları ile ödenir. Kaspa, 2021 yılında, girişim sermayesi finansmanından kaçınarak adil bir dağıtım modeli ile başlatıldı ve bu da topluluk odaklı gelişimine katkıda bulundu.

Kaspa, temel olarak ödemeler ve veri uzlaşması için bir temel katman olarak hizmet vermektedir ve KRC-20 gibi fungible tokenlar için standartlar içermektedir. vProgs önerisine kadar, akıllı sözleşmeler için yerel destekten yoksundu ve temel işlemler için daha basit bir betimleme kullanıyordu.

Kaspa vProgs Nedir?

vProgs, doğrulanabilir programların kısaltmasıdır, ana zincir dışında karmaşık mantığı yürütmek için bir sistem tanıtırken sonuçların Kaspa'nın Katman 1'de doğrulanabilir olmasını sağlar. Her vProg, kendi durumunu ve geçiş kurallarını yöneten, Solana'da programların işleyişine benzer şekilde, kendine yeten bir birim olarak hareket eder ancak ek olarak sıfır bilgi kanıtı doğrulaması ile.

Sıfır bilgi kanıtları, bir ispatlayıcının temel verileri açıklamadan bir hesaplamanın doğruluğunu göstermesine olanak tanır. vProgs'ta, bu kanıtlar belirli aralıklarla Layer 1'e sunulur, off-chain faaliyetlerin bütünlüğünü onaylar. Bu yaklaşım, ana zinciri hafif tutarak, yürütme yerine doğrulama üzerine odaklanır ve bu da Kaspa'nın hız ve verimlilik vurgusuyla uyumludur.

Sarı Kağıt taslağı, sürüm 0.0.1, vProg'ları "egemen ama bileşenli" uygulamalar olarak tanımlamaktadır. Egemenlik, her vProg'un iç operasyonlarını bağımsız olarak, okuma ve yazma izinleri de dahil olmak üzere kontrol etmesi anlamına gelir. Bileşenlik, bir vProg'un başka birinden veri okumasına olanak tanır ve bu da çapraz uygulama işlemleri gibi etkileşimleri kolaylaştırır, ancak yazma işlemleri, çatışmaları önlemek için yalnızca kaynak vProg ile sınırlıdır.

vProgs'un geliştirilmesi, katkıda bulunanların senkronize bileşimdeki zorlukları, kanıt gecikmesi ve kaynak paylaşımı gibi konuları ele aldığı Kaspa'nın araştırma forumundaki Ağustos 2025 tarihli bir tartışma dizisine dayanmaktadır. Taslak, bu oturumlardan gelen geri bildirimleri içermektedir, ancak hesap oluşturma süreçleri ve veri budama mekanizmaları da dahil olmak üzere birçok unsur hâlâ geliştirilme aşamasındadır.

vProgs'un Temel Teknik Özellikleri

vProgs'un işlevselliğini destekleyen birkaç mekanizma, yüksek verimlilik ortamında bağımlılıkları ve verimliliği yönetmek için tasarlanmıştır:

Kanıt Dikişi: Kanıt dikişi, birden fazla sıfır bilgi kanıtını birbirine bağlı vProg'lardan tek bir taahhütte birleştirir ve bu taahhüt Layer 1'e sunulur. Bu, uygulamalar arasında atomik işlemleri destekler ve sonuçların, rollup tabanlı sistemlerde yaygın olan ara gecikmeler olmadan aynı anda gerçekleşmesini sağlar.

Koşullu Kanıt Grupları: Koşullu kanıt grupları, ilgili işlemleri toplu kanıtlamak için bir araya getirir, 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'ı: Hesaplama DAG'ı, uygulama katmanında bir bağımlılık grafiği oluşturur ve Kaspa'nın blockDAG yapısını yansıtır. vProg'lar arasındaki veri akışlarını izler, referans alınan bilgilerin mevcut 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 getirir. İçeride, her vProg hesaplamalar için kendi Layer 2 gaz modelini kullanır. Layer 1'de, ScopeGas, çapraz vProg etkileşimlerini ölçer, veri bağımlılıklarına dayalı olarak ücretler alır ve spam veya aşırı kaynak kullanımını engellemek için, bir uygulamanın diğerinin girdi gereksinimlerini aşırı yüklemesini önler.

Ekonomik Model: vProgs için ekonomik model, kullanıcıların ödediği ücretlerden kazanç sağlayan izin gerektirmeyen kanıtlayıcılara—kanıtları üreten ve sunan düğümlere—dayanmaktadır. Canlılık, yani zamanında kanıtların sağlanması garantisi, iki modda çalışır: kanıtlayıcıların işbirliği yaptığı iyimser mod ve uygulamaların bağımsız olarak çalıştığı egemen mod. Bu yapı, merkezi koordinatörlere bağlı kalmadan katılımı teşvik eder.

Gizlilik Özellikleri: Gizlilik özellikleri, gizli işlemler veya oracle'lar gibi uygulamalarda şifreli durumlar sağlayan 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 uzlaşmasına kadar geniş bir kullanım alanını destekler.

Berlin'deki Kaspa Deneyimi Konferansı

vProgs duyurusu, 13 Eylül 2025 tarihinde Berlin'deki Atelier Gardens'da yapılacak olan Kaspa Deneyimi ile uyumlu. 500 biletle sınırlı olan bu tek günlük etkinliğin fiyatı 150 $ artı 50 $'lık bir afterparty ücreti olup, KAS tokenleri ile ödeme gerektiriyor; bu da etkinlik lojistiği için kripto paranın erken bir gerçek dünya uygulamasını işaret ediyor, bu lojistik gıda, içecekler ve ürünleri içeriyor.

Gündem, Sompolinsky'nin GHOSTDAG'daki ilerlemeleri üzerine konuşmalarının da bulunduğu, ana geliştiricilerden anahtar konuşmalar, akıllı sözleşme entegrasyonu konulu paneller ve pratik uygulamalara odaklanan atölyeler içermektedir. Bir hackathon, prototiplemeyi teşvik ederken, ağın yaratıcı kullanımlarını sergileyen bir Kaspa Sanat Expo'su da olacaktır. Programda özel bir vProgs oturumu görünmemekle birlikte, etkinliğin basın materyalleri, Kaspa'nın programlanabilir katmanını DeFi ve ödeme sistemleri için bir temel olarak vurgulayarak yeni çerçeve hakkında gayri resmi tartışmaların olabileceğini öne sürmektedir.

Katılımcılar, madenciler, tüccarlar ve geliştiricilerden oluşarak, Kaspa'nın merkeziyetsiz felsefesini vurgulayan bir ortamda ağ oluşturacaklar. Konferans, projenin ilk büyük yüz yüze toplantısını temsil ediyor ve çevrimiçi forumlar ile Telegram kanallarındaki işbirliğini geliştirmeye yönelik bir adım.

Zorluklar ve Uygulama Zaman Çizelgesi

vProgs'un uygulanması, sıfır bilgi sistemlerine özgü zorluklarla doludur. Kanıt üretimi, Kaspa'nın yüksek blok hızına rağmen gecikmeye neden olabilecek şekilde hesaplama açısından yoğun kalmaktadır. Geliştiriciler, Ethereum Sanal Makinesi gibi ortamlardan geçişi kolaylaştırmak için sanal makine uyumluluğunu ele almalıdır.

Forum katkıda bulunanları, bir vProg'un etkinliğinin diğerlerini etkilediği dışsal etkileri azaltmak için gaz paylaşım modellerini simüle ettiler. Hesaplama DAG'ında veri erişilebilirliği, merkezileşme risklerini önlemek için dikkatli bir tasarım gerektirir.

Ağustos tartışmalarından elde edilen zaman çizelgeleri, taslak üzerindeki topluluk geri bildirimlerinin ardından 2025'in dördüncü çeyreğinde bir testnet dağıtımını göstermektedir. Tam ana ağ entegrasyonu, denetim ve performans ölçütlerine bağlı olacak, budama ve hesap mekanikleri ise gelecekteki revizyonlar için planlanmıştır.

Ethereum'un rolluplarına kıyasla, katmanlar arasında likiditeyi parçalayabilen veya Solana'nın on-chain uygulamasının throughput sınırlarını test eden yapısı, vProgs'ı doğrudan bir proof-of-work temel katmanına doğrulanabilir hesaplama entegre etmeyi amaçlamaktadır. Bu, merkeziyetsizliği korurken paralel blok üretimini kullanır.

Sonuç

vProgs, Kaspa'yı, bileşenler arası uyumluluk için kanıt dikişi, bağımlılık yönetimi için bir Hesaplama DAG'ı ve kaynak kontrolü için ScopeGas dahil olmak üzere, sıfır bilgi kanıtları tarafından doğrulanan off-chain yürütme araçlarıyla donatır.

Bu unsurlar, blokları birkaç saniyede bir onaylayan bir ağda uygulamaların ölçeklenebilir şekilde çalışmasına olanak tanır ve DeFi'den veri uzlaşmasına kadar çeşitli kullanım senaryolarını desteklerken Layer 1 güvenliğinden ödün vermez.

Kaynaklar:

• Kaspa Günlük X Makalesi vProgs hakkında:
• vProgs Sarı Kağıt Taslağı v0.0.1:
• Kaspa Araştırma Forumu Konusu: Senkron Kompozitlik:
• Kaspa Deneyimi Berlin'de: