Kaspa'nın Yakında Çıkacak Olan Sözleşme Odaklı Hardfork'u: Bildiklerimiz

Kaspa'nın Sözleşme Merkezli Çıkmazı Nedir?

Göre Terah'ın açtığı konu, Kaspa Sözleşme odaklı bir hardfork'u hazırlıyor, planlanan tarih şu şekilde: ana ağ aktivasyonu 5 Mayıs 2026'da. Bu yükseltme genişletiyor. Katman 1 (L1) Yerel varlıklar ve genişletilmiş sözleşme işlevselliği sunarak programlanabilirliği artırır. Ayrıca, bunun için de temel oluşturur. doğrulanabilir programlar (vProgs) ve sıfır bilgi (ZK) entegrasyonları.

Kaspa, blockDAG mimarisi kullanan bir iş ispatı blok zinciri olarak çalışır. Crescendo yükseltmesi Mayıs 2025'te işlem hızı saniyede 10 bloğa (BPS) çıkarıldı. Dolayısıyla, yaklaşan hardfork, düğüm gereksinimlerini veya konsensüs temellerini değiştirmeden bu temel üzerine inşa ediliyor.

Çekirdek geliştiriciler, bu sürümü kapsamlı bir yükseltme olarak tanımlıyor. Yerel token ihracını, programlanabilir harcama kurallarını ve L1 katmanında ZK doğrulamasını etkinleştirmeye odaklanıyor. 

5 Mayıs 2026'daki Hardfork'un Zaman Çizelgesi Nedir?

Terah'ın paylaştığı konuya göre, ana ağın etkinleştirilmesinden önce birkaç önemli aşama daha var:

• Test Ağı 12 (TN12) Sıfırlama: Sözleşme ve yerel varlık testlerini desteklemek amacıyla Şubat 2026 başlarında başlatılması planlanmaktadır.
   
• Sıralayıcı Taahhüdü KIP: Yaklaşık olarak 12 Şubat 2026'da sunulması bekleniyor. Bu öneri, gerçek zamanlı merkeziyetsizliği güçlendirmek için madenci yükü taahhütlerini getiriyor.
   
• SilverScript Sürümü: Kaspa üzerinde program yazmak için kullanılan üst düzey bir programlama dili. Ori Newman ve katkıda bulunanlar tarafından geliştirilen bu dil, sözleşme geliştirme sürecini basitleştirir.
   
• Ana ağ hardfork'u: , 5 2026 olabilir.

Hardfork sonrası yükseltmeler arasında, uyarlanabilir konsensüs ve 100 BPS'nin üzerinde işlem hacmini hedefleyen DAGKnight ve vProgs'un tam olarak devreye alınması yer alıyor.

Kaspa'da Yerli Varlıkları ve Sözleşmeleri Nasıl İşliyor?

Katman 1'deki Yerel Varlıklar

Bu hardfork, yerel varlıkları da beraberinde getiriyor ve bunlara destek de dahil. KRC20 jetonlarıBu varlıklar doğrudan L1 katmanında bulunur ve atomik olarak aktarılabilir.

Atomik transferler şunlar için geçerlidir:

• Düzenli satır içi sözleşmeler
• ZK ve ZK dışı sözleşme infazları
• KRC20 token transferleri

Satır içi sözleşmeler, cüzdan içinde anında kanıtlar oluşturur. İşlem verileri ve durum geçişi arasında bir ayrışma yoktur. Bu tasarım, atomikliği ve deterministik yürütmeyi destekler.

Genişletilmiş Sözleşmeler (Sözleşmeler++)

Kaspa'nın sözleşme sistemi, Bitcoin'in programlanabilir UTXO harcama koşulları üzerine yaptığı araştırmalardan esinlenmiştir. Covenants++, daha açıklayıcı işlem kurallarına olanak sağlamak için bu sistemi genişletir.

Umut Vaat Eden Projeleri Keşfedin...

Umut Vadeden Projeler...

(İlan)

Makale devam ediyor...

Kullanım durumları şunları içerir:

• Kasa tipi güvenlik kontrolleri
• Emanet mekanizmaları
• Şartlı transferler
• Yapılandırılmış belirteç mantığı

Sistem, tam hesap tabanlı akıllı sözleşmeler yerine UTXO modelini kullanmaktadır.

Hesaplamalı Yönlendirilmiş Asitli Grafik (CDAG) Nedir?

Bu hardfork, Hesaplamalı Yönlendirilmiş Aktivasyon Grafiği'ni (CDAG) tanıtıyor.). CDAG, programlar tarafından yapılan tüm okuma ve yazma bildirimlerini kaydeder.

Bu yapı:

• Kaynak kullanımını izler.
• Programlar arasındaki bağımlılıkları düzenler.
• Doğalgaz taahhütlerini uygular.

Tasarım, Solana ve Sui gibi blok zincirlerindeki yürütme modellerine benzer, ancak Kaspa'nın blockDAG ortamında tam olarak uygulanmıştır.

CDAG, vProgs'un egemenliğini sağlamada merkezi bir rol oynamaktadır.

vProgs nedir ve akıllı sözleşmelerden farkı nedir?

vProgs, L1 dışında çalışan ve sonuçları kanıtlar yoluyla L1 üzerinde belirleyen bağımsız programlardır.

Anahtar özellikler:

• Egemen infaz: Her bir vProg, kendi işlem hacmi ve bağımlılık kurallarını tanımlar.
• Gaz bazlı bağımlılık kontrolü: Bir vProg, kaynak tüketimi için gaz ücreti ödemedikçe başka bir vProg'un durumunu okuyamaz.
• Atom dışı transferler: vProgs, yerel varlıklar gibi L1 katmanına şeffaf değildir. Aktarımlar eşzamansız ve atomik değildir.
• Kapsüllenmiş KAS gereksinimi: Satır içi olmayan herhangi bir sözleşme, kanonik bir köprü aracılığıyla sarmalanmış KAS kullanmalıdır. Yerel L1 KAS doğrudan kullanılamaz.

Bu tasarım, paylaşılan sıralama ve uzlaşmayı korurken, hesaplama ve durumu L1 katmanından ayırır.

vProg'ları Kim Geliştirmeli?

Topluluk tartışmalarına göre, çoğu sıradan uygulama geliştiricisinin vProgs'a ihtiyacı olmayabilir.

Ancak vProgs şu kesimlere hitap edebilir:

• Uygulama zinciri mimarları
• Toplama tarzı sistemleri değerlendiren ekipler
• Büyük miktarda zincir içi duruma sahip yapay zeka ajanları geliştiren projeler
• Sistem tasarımcıları L1 sözleşmelerini, L2 birleştirmelerini ve hibrit modelleri karşılaştırıyor.

vProgs, birleşik L1 dizilemeyi dışsallaştırılmış durum ve hesaplama ile birleştirir.

Sıfır Bilgi (ZK) Ne Gibi Bir Rol Oynuyor?

Bu hardfork, L1 üzerinde ZK doğrulamasını entegre ederek, daha önceki önerileri genişletiyor. KIP-16.

Desteklenen özellikler şunlardır:

• Groth16 doğrulama kanıtı
• L2 sistemlerine güven gerektirmeyen köprüler
• Potansiyel gizlilik odaklı uygulamalar

İlk uygulamaların, cüzdanların doğrudan kanıt ürettiği şekilde, doğrudan çalışması bekleniyor. Hans ve Maxim gibi katkıda bulunanlar tarafından geliştirilen sözleşme tabanlı ZK uygulamalarının bile standart donanım üzerinde çalışması bekleniyor. İlk dağıtımlar için özel bir kanıtlayıcı altyapısına gerek yok.

Mevcut varsayımlar altında standart bir dizüstü bilgisayar ispat üretebilir.

Gizlilik odaklı programlar, hardfork sonrasında teknik olarak mümkün. Ancak gizlilik, yol haritasının öncelikli odak noktası olarak belirtilmemiş.

Sparkle ile vProgs arasında nasıl bir ilişki var?

Sparkle, Anton tarafından hesaplamalı yönlendirilmiş döngüsüz grafikler (DAG'ler) ve Zero Knight (ZK) ispatlarını birleştirmek için önerilen bir mimaridir. Hem Sparkle hem de vProgs, CDAG ve ZK bileşenlerini kullanırken, farklı tasarım sorunlarına çözüm üretmektedirler.

vProgs'un en belirleyici özelliği bağımlılık düzenlemesidir. Her program kendi işlem hacmini kontrol eder ve keyfi dış bağımlılıklardan kaçınır. Bu model, izolasyonu korurken birleştirilebilirliği de destekler.

Hardfork, güvenlik, MEV veya düğüm gereksinimlerini etkileyecek mi?

• Güvenlik Bütçesi: Kısa vadede doğrudan bir etki beklenmiyor. Gelişmeler, altyapı değişikliklerinden ziyade ürünün gerçek anlamda benimsenmesine bağlıdır.
   
• Düğüm Gereksinimleri: Değişiklik yok.
   
• MEV Geri Ödemeli Müzayedeler: Ekosistem gelişiminin mevcut aşaması göz önüne alındığında, bunun erken olduğu düşünülmektedir.
   
• Starklar için Savaş Esiri Kasma: Tartışmalarda, Ethereum'un ilk dönemlerindeki tarihsel davranışlara atıfta bulunuluyor; bu dönemde adreslerin başında sıfır bulunması gas maliyetlerini düşürmüş ve bu da proof-of-work (iş ispatı) tabanlı piyasaların oluşmasına yol açmıştır. Bu bahsetme, mevcut bir özellikten ziyade bağlamsal bir husustur.

SilverScript ne ekler?

SilverScript, Kaspa programları için tasarlanmış yüksek seviyeli bir dildir. Amacı, sözleşme ve program geliştirmeyi basitleştirmektir.

Tasarım hedefleri şunlardır:

• Okunabilir sözdizimi
• Yeni geliştiriciler için erişilebilirlik
• Otomatik takım tezgahlarıyla uyumluluk

SilverScript'in, yerel varlıklar kullanıma sunulduktan sonra sözleşmeye dayalı uygulamalar yazma engelini düşürmesi bekleniyor.

Sonuç

Kaspa'nın sözleşme odaklı hardfork'u, yerel varlıklar, genişletilmiş sözleşmeler ve ZK doğrulaması yoluyla Katman 1 işlevselliğini genişletiyor. Yapılandırılmış bağımlılık takibi için CDAG'ı tanıtıyor ve egemen vProg'lar için temel oluşturuyor. Yükseltme, mevcut düğüm gereksinimlerini ve iş ispatı mutabakatını korurken, programlanabilir token ihracını ve atomik transferleri mümkün kılıyor.

5 Mayıs 2026'daki aktivasyon, Kaspa'nın yol haritasında teknik bir adımı işaret ediyor. Protokol düzeyinde yapılandırılmış programlanabilirlik ekliyor ve ağı DAGKnight ve tam vProgs dağıtımı da dahil olmak üzere daha fazla yükseltmeye hazırlıyor.

kaynaklar:

• Kaspa Convenant merkezli Sert ÇatalKas.live'da geri sayım başladı!
• Terah X KonusuYaklaşan Önemli Gelişmeler ve Sözleşme Odaklı Zorlu Çatal
• Kaspa Araştırması: vProg hesaplama DAG'ı için resmi bir temel model