Menjelajahi vProgs Kaspa: Kerangka Kerja untuk Aplikasi yang Skalabel dan Terverifikasi

kaspa merilis draft pertama Makalah Kuning vProgs pada tanggal 11 September 2025. Dokumen ini merinci protokol untuk program yang dapat diverifikasi, atau vProgs, yang memungkinkan komputasi off-chain yang diamankan oleh bukti tanpa pengetahuan dan berlabuh ke Kaspa Jaringan lapisan 1. 

Kerangka kerja ini bertujuan untuk mendukung aplikasi terdesentralisasi sambil mempertahankan tingkat produksi blok jaringan yang tinggi. Pengumuman tersebut, yang dibagikan melalui Postingan X oleh @DailyKaspa, hadir satu hari sebelum konferensi Kaspa Experience di Berlin, di mana pengembang dan anggota komunitas akan membahas peta jalan proyek.

Latar Belakang Arsitektur BlockDAG Kaspa

Kaspa beroperasi secara berbeda dari blockchain linier, seperti Bitcoin or Ethereum. Sistem ini menggunakan blockDAG, yang memungkinkan beberapa blok untuk saling merujuk secara paralel, sehingga mengurangi kebutuhan untuk membuat blok menjadi yatim piatu selama penambangan. Desain ini didasarkan pada protokol GHOSTDAG, yang dikembangkan oleh Yonatan Sompolinsky, yang memperluas konsensus Nakamoto untuk mengakomodasi laju blok yang lebih tinggi tanpa mengorbankan keamanan.

Saat ini, Kaspa memproses 10 blok per detik, dengan rencana untuk meningkatkannya menjadi 32 blok per detik dan berpotensi 100 dalam jangka panjang. Konfirmasi biasanya terjadi dalam satu hingga 10 detik, dengan batasan utama adalah latensi jaringan, bukan pemrosesan on-chain. Hal ini menghasilkan throughput teoretis lebih dari 10,000 transaksi per detik, jauh melampaui Bitcoin yang hanya 3 hingga 7 transaksi per detik atau Ethereum yang hanya 15 hingga 30 transaksi per detik pada Lapisan 1 sebelum implementasi sharding.

Jaringan ini bergantung pada konsensus proof-of-work, di mana para penambang memecahkan teka-teki komputasi untuk menambahkan blok. Biaya transaksi dan imbalan blok dibayarkan dalam Token KAS, mata uang kripto asli jaringan Kaspa. Kaspa diluncurkan pada tahun 2021 dengan model distribusi yang adil, menghindari pendanaan modal ventura, yang telah berkontribusi pada pengembangannya yang berbasis komunitas. 

Kaspa terutama berfungsi sebagai lapisan dasar untuk pembayaran dan penyelesaian data, menggabungkan standar seperti KRC-20 untuk token yang dapat dipertukarkan. Hingga proposal vProgs, Kaspa tidak memiliki dukungan asli untuk kontrak pintar, dan mengandalkan skrip yang lebih sederhana untuk operasi dasar.

Temukan Proyek yang Menjanjikan...

Proyek yang Menjanjikan...

(Iklan)

Artikel berlanjut...

Apa itu Kaspa vProgs?

vProgs, singkatan dari program yang dapat diverifikasi, memperkenalkan sistem untuk mengeksekusi logika kompleks di luar rantai utama sambil memastikan hasil dapat diverifikasi pada Lapisan 1 Kaspa. Setiap vProg bertindak sebagai unit mandiri, mengelola status dan aturan transisinya sendiri, mirip dengan cara kerja program di beranda tetapi dengan tambahan verifikasi bukti tanpa pengetahuan.

Bukti tanpa pengetahuan memungkinkan pembuktian untuk menunjukkan kebenaran suatu komputasi tanpa mengungkapkan data yang mendasarinya. Dalam vProgs, bukti-bukti ini dikirimkan secara berkala ke Lapisan 1, yang mengonfirmasi integritas aktivitas di luar rantai. Pendekatan ini menjaga rantai utama tetap ringan, berfokus pada validasi alih-alih eksekusi, yang sejalan dengan penekanan Kaspa pada kecepatan dan efisiensi.

Draf Yellow Paper, versi 0.0.1, menjelaskan vProg sebagai aplikasi yang memungkinkan "berdaulat namun dapat dikomposisi". Kedaulatan berarti setiap vProg mengendalikan operasi internalnya secara independen, termasuk izin baca dan tulis. Komposabilitas memungkinkan satu vProg untuk membaca data dari vProg lain, memfasilitasi interaksi seperti transaksi lintas aplikasi, tetapi penulisan dibatasi pada vProg asal untuk menghindari konflik.

Pengembangan vProgs berawal dari diskusi pada forum penelitian Kaspa pada bulan Agustus 2025, di mana para kontributor membahas tantangan dalam komposisi sinkron, termasuk latensi pembuktian dan pembagian sumber daya. Draf ini menggabungkan masukan dari sesi-sesi tersebut, meskipun banyak elemen yang masih dalam penyempurnaan, termasuk proses pembuatan akun dan mekanisme pemangkasan data.

Fitur Teknis Inti vProgs

Beberapa mekanisme mendukung fungsionalitas vProgs, yang dirancang untuk menangani dependensi dan efisiensi dalam lingkungan throughput tinggi:

Jahitan Bukti: Penjahitan bukti menggabungkan beberapa bukti tanpa pengetahuan dari vProg yang saling terhubung menjadi satu komitmen, yang kemudian diserahkan ke Lapisan 1. Hal ini mendukung transaksi atom di seluruh aplikasi, di mana hasilnya diselesaikan secara bersamaan tanpa penundaan perantara yang umum terjadi dalam sistem berbasis rollup.

Batch Bukti BersyaratBukti bersyarat mengelompokkan transaksi terkait untuk pembuktian kolektif, yang mengurangi overhead komputasi. Misalnya, dalam skenario DeFi yang melibatkan beberapa pertukaran, pengelompokan mengurangi jumlah bukti individual yang dibutuhkan.

Perhitungan DAGDAG Komputasi membentuk grafik dependensi pada lapisan aplikasi, mencerminkan struktur blockDAG Kaspa. Grafik ini melacak aliran data antar vProg, memastikan informasi yang direferensikan tetap tersedia dan urutan eksekusi tetap terjaga selama pemrosesan paralel. Grafik ini membantu mencegah kelebihan beban dengan mengurutkan operasi yang dependen.

Pengukuran Sumber DayaPengukuran sumber daya memperkenalkan kontrol untuk mengelola biaya. Secara internal, setiap vProg menggunakan model gas Lapisan 2-nya sendiri untuk komputasi. Pada Lapisan 1, ScopeGas mengukur interaksi lintas-vProg, mengenakan biaya berdasarkan dependensi data untuk mencegah spam atau penggunaan sumber daya yang berlebihan, seperti satu aplikasi yang membanjiri persyaratan input aplikasi lain.

Model EkonomiModel ekonomi untuk vProg bergantung pada pembuktian tanpa izin—node yang menghasilkan dan mengirimkan bukti—yang mendapatkan bayaran dari pengguna. Liveness, atau jaminan bukti tepat waktu, beroperasi melalui dua mode: optimis, di mana pembuktian bekerja sama, atau berdaulat, di mana aplikasi berjalan secara independen. Pengaturan ini mendorong partisipasi tanpa bergantung pada koordinator terpusat.

Fitur PrivasiFitur privasi muncul secara alami dari bukti tanpa pengetahuan, yang memungkinkan status terenkripsi dalam aplikasi seperti transaksi rahasia atau oracle. Kerangka kerja ini mendukung berbagai kasus penggunaan, mulai dari pembayaran mikro hingga penyelesaian data perusahaan, dengan mengaitkan keluaran yang dapat diverifikasi dengan waktu konfirmasi Kaspa yang cepat.

Konferensi Pengalaman Kaspa di Berlin

Pengumuman vProgs sejalan dengan Pengalaman Kaspa, sebuah konferensi komunitas yang dijadwalkan pada 13 September 2025, di Atelier Gardens, Berlin. Acara satu hari ini, terbatas untuk 500 tiket dengan harga $150 ditambah biaya afterparty $50, memerlukan pembayaran dalam token KAS. Hal ini menandai penerapan awal mata uang kripto di dunia nyata untuk logistik acara, termasuk makanan, minuman, dan merchandise.

Agenda ini menampilkan keynote dari para pengembang inti, termasuk Sompolinsky tentang kemajuan dalam GHOSTDAG, panel tentang integrasi kontrak pintar, dan lokakarya yang berfokus pada implementasi praktis. Sebuah hackathon akan mendorong pembuatan prototipe, di samping Kaspa Art Expo yang menampilkan pemanfaatan jaringan secara kreatif. Meskipun tidak ada sesi vProgs khusus yang dijadwalkan, materi pers acara tersebut menyoroti lapisan terprogram Kaspa sebagai fondasi untuk DeFi dan sistem pembayaran, yang mendorong diskusi informal tentang kerangka kerja baru tersebut.

Para peserta, yang terdiri dari para penambang, pedagang, dan pengembang, akan berjejaring dalam suasana yang menekankan etos desentralisasi Kaspa. Konferensi ini merupakan pertemuan tatap muka besar pertama proyek ini, yang memanfaatkan forum daring dan kanal Telegram untuk kolaborasi.

Tantangan dan Garis Waktu Implementasi

Implementasi vProgs menghadapi tantangan yang umum pada sistem zero-knowledge. Pembuatan bukti masih membutuhkan komputasi intensif, yang berpotensi menimbulkan latensi meskipun kecepatan blok Kaspa tinggi. Pengembang harus memperhatikan kompatibilitas mesin virtual untuk memudahkan porting dari lingkungan seperti Ethereum Virtual Machine.

Kontributor forum telah mensimulasikan model berbagi gas untuk memitigasi eksternalitas, di mana aktivitas satu vProg memengaruhi aktivitas lainnya. Ketersediaan data dalam DAG Komputasi memerlukan desain yang cermat untuk menghindari risiko sentralisasi.

Linimasa dari diskusi bulan Agustus menunjukkan peluncuran testnet pada kuartal keempat tahun 2025, setelah menerima masukan dari komunitas mengenai draf tersebut. Integrasi mainnet secara penuh akan bergantung pada audit dan tolok ukur kinerja, sementara pemangkasan dan mekanisme akun dijadwalkan untuk revisi mendatang.

Dibandingkan dengan rollup Ethereum, yang dapat memecah likuiditas di berbagai lapisan, atau eksekusi on-chain Solana, yang menguji batas throughput, vProgs berupaya mengintegrasikan komputasi yang dapat diverifikasi langsung ke dalam lapisan dasar proof-of-work. Hal ini mempertahankan desentralisasi sekaligus memanfaatkan produksi blok paralel.

Kesimpulan

vProgs melengkapi Kaspa dengan peralatan untuk eksekusi di luar rantai yang diverifikasi oleh bukti tanpa pengetahuan, termasuk penggabungan bukti untuk komposisi, DAG Komputasi untuk manajemen ketergantungan, dan ScopeGas untuk kontrol sumber daya. 

Elemen-elemen ini memungkinkan aplikasi beroperasi secara skalabel pada jaringan yang mengonfirmasi blok setiap beberapa detik, mendukung kasus penggunaan mulai dari DeFi hingga penyelesaian data tanpa mengorbankan keamanan Lapisan 1.

sumber:

• Artikel Kaspa Daily X tentang vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• Draf Makalah Kuning vProgs v0.0.1: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• Utas Forum Riset Kaspa tentang Komposisi Sinkron: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• Pengalaman Kaspa di Berlin: https://experience.kaspa.events/