Menjelajahi vProgs Kaspa: Kerangka untuk Aplikasi yang Dapat Diskalakan dan Diverifikasi

Kaspa merilis draf pertama dari vProgs Yellow Paper pada 11 September 2025. Dokumen ini menjelaskan sebuah protokol untuk program yang dapat diverifikasi, atau vProgs, yang memungkinkan komputasi off-chain yang diamankan oleh bukti nol-pengetahuan dan terikat pada jaringan Layer 1 Kaspa.

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

Latar Belakang Arsitektur BlockDAG Kaspa

Kaspa beroperasi berbeda dari blockchain linier, seperti Bitcoin atau Ethereum. Ini menggunakan blockDAG, yang memungkinkan beberapa blok saling merujuk secara paralel, mengurangi kebutuhan untuk mengorbankan blok 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 kemungkinan 100 dalam jangka panjang. Konfirmasi biasanya terjadi dalam waktu satu hingga 10 detik, dengan batasan utama adalah latensi jaringan daripada pemrosesan on-chain. Ini menghasilkan throughput teoretis lebih dari 10.000 transaksi per detik, jauh melebihi 3 hingga 7 transaksi per detik Bitcoin atau 15 hingga 30 transaksi per detik Ethereum di Layer 1 sebelum implementasi sharding.

Jaringan bergantung pada konsensus proof-of-work, di mana penambang menyelesaikan teka-teki komputasi untuk menambahkan blok. Biaya transaksi dan hadiah blok dibayarkan dalam token KAS, cryptocurrency asli dari jaringan Kaspa. Kaspa diluncurkan pada tahun 2021 dengan model distribusi yang adil, menghindari pendanaan modal ventura, yang telah berkontribusi pada pengembangan yang dipimpin oleh 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, ia tidak memiliki dukungan asli untuk kontrak pintar, mengandalkan skrip yang lebih sederhana untuk operasi dasar.

Apa itu Kaspa vProgs?

vProgs, singkatan dari program yang dapat diverifikasi, memperkenalkan sistem untuk mengeksekusi logika kompleks off-chain sambil memastikan hasilnya dapat diverifikasi di Layer 1 Kaspa. Setiap vProg bertindak sebagai unit mandiri, mengelola status dan aturan transisinya sendiri, mirip dengan cara program berfungsi di Solana tetapi dengan tambahan verifikasi bukti nol-pengetahuan.

Bukti nol-pengetahuan memungkinkan seorang prover untuk menunjukkan kebenaran suatu perhitungan tanpa mengungkapkan data yang mendasarinya. Dalam vProgs, bukti-bukti ini diserahkan secara berkala ke Layer 1, mengonfirmasi integritas aktivitas off-chain. Pendekatan ini menjaga rantai utama tetap ringan, berfokus pada validasi daripada eksekusi, yang sejalan dengan penekanan Kaspa pada kecepatan dan efisiensi.

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

Pengembangan vProgs berawal dari sebuah thread diskusi pada Agustus 2025 di forum penelitian Kaspa, di mana para kontributor membahas tantangan dalam komposabilitas sinkron, termasuk latensi bukti dan berbagi sumber daya. Draf tersebut menggabungkan umpan balik dari sesi-sesi tersebut, meskipun banyak elemen masih dalam proses penyempurnaan, termasuk proses pembuatan akun dan mekanisme pemangkasan data.

Fitur Teknis Inti dari vProgs

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

Proof Stitching: Proof stitching menggabungkan beberapa zero-knowledge proofs dari vProg yang saling terhubung menjadi satu komitmen, yang kemudian diserahkan ke Layer 1. Ini mendukung transaksi atom di seluruh aplikasi, di mana hasil diselesaikan secara bersamaan tanpa penundaan perantara yang umum dalam sistem berbasis rollup.

Batch Bukti Bersyarat: Batch bukti bersyarat mengelompokkan transaksi terkait untuk pembuktian kolektif, yang mengurangi beban komputasi. Sebagai contoh, dalam skenario DeFi yang melibatkan beberapa pertukaran, pengelompokan mengurangi jumlah bukti individu yang diperlukan.

DAG Komputasi: DAG Komputasi membentuk grafik ketergantungan di lapisan aplikasi, mencerminkan struktur blockDAG Kaspa. Ini melacak aliran data antara vProgs, memastikan bahwa informasi yang direferensikan tetap tersedia dan urutan eksekusi terjaga di tengah pemrosesan paralel. Grafik ini membantu mencegah kelebihan beban dengan menyusun operasi yang saling bergantung.

Pengukuran Sumber Daya: Pengukuran sumber daya memperkenalkan kontrol untuk mengelola biaya. Secara internal, setiap vProg menggunakan model gas Layer 2-nya sendiri untuk perhitungan. Di Layer 1, ScopeGas mengukur interaksi antar-vProg, mengenakan biaya berdasarkan ketergantungan data untuk mencegah spam atau penggunaan sumber daya yang berlebihan, seperti satu aplikasi membanjiri persyaratan input aplikasi lainnya.

Model Ekonomi: Model ekonomi untuk vProgs bergantung pada provers tanpa izin—node yang menghasilkan dan mengirimkan bukti—yang mendapatkan biaya dari pengguna. Ketersediaan, atau jaminan bukti tepat waktu, beroperasi melalui dua mode: optimis, di mana provers berkolaborasi, atau berdaulat, di mana aplikasi berjalan secara independen. Pengaturan ini mendorong partisipasi tanpa bergantung pada koordinator terpusat.

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

Konferensi Pengalaman Kaspa di Berlin

Pengumuman vProgs sejalan dengan Kaspa Experience, sebuah konferensi komunitas yang dijadwalkan pada 13 September 2025, di Atelier Gardens di Berlin. Acara satu hari ini dibatasi untuk 500 tiket yang dihargai $150 ditambah biaya afterparty sebesar $50, yang memerlukan pembayaran dalam token KAS, menandai aplikasi dunia nyata awal dari cryptocurrency untuk logistik acara, termasuk makanan, minuman, dan barang dagangan.

Agenda ini menampilkan keynote dari pengembang inti, termasuk Sompolinsky tentang kemajuan di GHOSTDAG, panel tentang integrasi smart contract, dan lokakarya yang fokus pada implementasi praktis. Sebuah hackathon akan mendorong pembuatan prototipe, bersama dengan Kaspa Art Expo yang menampilkan penggunaan kreatif dari jaringan. Meskipun tidak ada sesi vProgs yang didedikasikan dalam jadwal, materi pers acara menyoroti lapisan terprogram Kaspa sebagai dasar untuk DeFi dan sistem pembayaran, menunjukkan diskusi informal tentang kerangka kerja baru.

Para peserta, yang berasal dari penambang, pedagang, dan pengembang, akan berjejaring dalam suasana yang menekankan etos terdesentralisasi Kaspa. Konferensi ini merupakan pertemuan besar pertama proyek ini secara tatap muka, membangun dari forum online dan saluran Telegram untuk kolaborasi.

Tantangan dan Garis Waktu Implementasi

Mengimplementasikan vProgs melibatkan tantangan yang umum pada sistem zero-knowledge. Generasi bukti tetap memerlukan komputasi yang intensif, yang berpotensi memperkenalkan latensi meskipun kecepatan blok Kaspa tinggi. Pengembang harus menangani kompatibilitas mesin virtual untuk mempermudah pemindahan dari lingkungan seperti Ethereum Virtual Machine.

Kontributor forum telah mensimulasikan model berbagi gas untuk mengurangi eksternalitas, di mana aktivitas satu vProg mempengaruhi yang lain. Ketersediaan data dalam DAG Komputasi memerlukan desain yang hati-hati untuk menghindari risiko sentralisasi.

Garis waktu dari diskusi Agustus menunjukkan peluncuran testnet pada kuartal keempat 2025, setelah umpan balik komunitas tentang draf. Integrasi mainnet penuh akan bergantung pada audit dan tolok ukur kinerja, dengan pemangkasan dan mekanika akun yang dijadwalkan untuk revisi di masa mendatang.

Dibandingkan dengan rollup Ethereum, yang dapat memfragmentasi likuiditas di berbagai layer, atau eksekusi on-chain Solana, yang menguji batas throughput, vProgs berusaha untuk mengintegrasikan komputasi yang dapat diverifikasi langsung ke dalam lapisan dasar proof-of-work. Ini mempertahankan desentralisasi sambil memanfaatkan produksi blok paralel.

Kesimpulan

vProgs melengkapi Kaspa dengan alat untuk eksekusi off-chain yang diverifikasi oleh bukti pengetahuan nol, termasuk penyambungan bukti untuk komposabilitas, DAG Komputasi untuk manajemen ketergantungan, dan ScopeGas untuk kontrol sumber daya.

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

Sumber:

• Artikel Kaspa Daily X tentang vProgs:
• Draf Kertas Kuning vProgs v0.0.1:
• Kaspa Research Forum Thread tentang Komposabilitas Sinkron:
• Pengalaman Kaspa di Berlin: