Hardfork Kaspa yang Akan Datang Berdasarkan Perjanjian: Apa yang Kita Ketahui

Apa itu Hardfork Kaspa yang Berpusat pada Perjanjian?

Menurut Benang Terah, kaspa sedang mempersiapkan hardfork yang berpusat pada perjanjian yang dijadwalkan untuk aktivasi jaringan utama pada tanggal 5 Mei 2026. Peningkatan ini memperluas Lapisan 1 (L1) Kemampuan pemrograman dengan memperkenalkan aset asli dan fungsionalitas perjanjian yang diperluas. Ini juga meletakkan dasar untuk program yang dapat diverifikasi (vProgs) dan integrasi tanpa pengetahuan (zero-knowledge/ZK).

Kaspa beroperasi sebagai blockchain proof-of-work menggunakan arsitektur blockDAG. Peningkatan Crescendo Pada Mei 2025, throughput ditingkatkan menjadi 10 blok per detik (BPS). Dengan demikian, hardfork yang akan datang dibangun di atas fondasi tersebut tanpa mengubah persyaratan node atau fundamental konsensus.

Para pengembang inti mendeskripsikan rilis ini sebagai peningkatan yang terarah. Fokusnya adalah pada pengaktifan penerbitan token asli, aturan pengeluaran yang dapat diprogram, dan verifikasi ZK pada L1. 

Apa saja timeline untuk hardfork tanggal 5 Mei 2026?

Menurut unggahan Terah, beberapa tahapan penting mendahului aktivasi mainnet:

• Reset Testnet 12 (TN12): Dijadwalkan pada awal Februari 2026 untuk mendukung pengujian perjanjian dan aset asli.
   
• Komitmen Sequencer KIP: Diperkirakan sekitar tanggal 12 Februari 2026. Proposal ini memperkenalkan komitmen muatan penambang untuk memperkuat desentralisasi waktu nyata.
   
• Rilis SilverScript: Bahasa pemrograman tingkat tinggi untuk menulis program di Kaspa. Dikembangkan oleh Ori Newman dan para kontributor, bahasa ini menyederhanakan pengembangan perjanjian.
   
• Hardfork Mainnet: Mungkin 5, 2026.

Peningkatan pasca-hardfork mencakup DAGKnight, yang menargetkan konsensus adaptif dan throughput di atas 100 BPS, serta penerapan penuh vProgs.

Bagaimana Hak dan Perjanjian Pribumi Berlaku di Kaspa?

Aset Asli pada Lapisan 1

Hardfork ini memperkenalkan aset asli, termasuk dukungan untuk Token KRC20Aset-aset ini ada secara langsung di L1 dan dapat ditransfer secara atomik.

Transfer atom berlaku untuk:

• Perjanjian inline reguler
• Eksekusi perjanjian ZK dan non-ZK
• Transfer token KRC20

Perjanjian inline menghasilkan bukti langsung di dalam dompet. Tidak ada pemisahan antara data transaksi dan transisi status. Desain ini mendukung atomisitas dan eksekusi deterministik.

Perjanjian yang Diperluas (Perjanjian++)

Sistem perjanjian Kaspa terinspirasi oleh riset Bitcoin tentang kondisi pengeluaran UTXO yang dapat diprogram. Covenants++ memperluas sistem ini untuk memungkinkan aturan transaksi yang lebih ekspresif.

Temukan Proyek yang Menjanjikan...

Proyek yang Menjanjikan...

(Iklan)

Artikel berlanjut...

Kasus penggunaan meliputi:

• Kontrol keamanan bergaya brankas
• Mekanisme escrow
• Transfer bersyarat
• Logika token terstruktur

Sistem ini mempertahankan model UTXO, bukan kontrak pintar berbasis akun sepenuhnya.

Apa itu Computational DAG (CDAG)?

Hardfork ini memperkenalkan Computational DAG (CDAG).). CDAG mencatat semua deklarasi baca dan tulis yang dilakukan oleh program.

Struktur ini:

• Melacak penggunaan sumber daya
• Mengatur ketergantungan antar program.
• Menegakkan komitmen gas

Desainnya sebanding dengan model eksekusi di blockchain seperti Solana dan Sui, tetapi diimplementasikan secara penuh dalam lingkungan blockDAG Kaspa.

CDAG memainkan peran sentral dalam memungkinkan kedaulatan vProgs.

Apa itu vProgs dan apa perbedaannya dengan Smart Contract?

vProgs adalah program berdaulat yang dieksekusi di luar L1 sambil menetapkan hasil di L1 melalui pembuktian.

Properti utama:

• Eksekusi kedaulatan: Setiap vProg menentukan aturan throughput dan dependensinya sendiri.
• Kontrol ketergantungan berbasis gas: Sebuah vProg tidak dapat membaca status vProg lain kecuali jika membayar gas untuk konsumsi sumber daya tersebut.
• Transfer non-atomik: vProgs tidak transparan terhadap L1 seperti halnya aset asli. Transfer bersifat asinkron dan non-atomik.
• Persyaratan KAS yang dibungkus: Setiap perjanjian non-inline harus menggunakan KAS yang dibungkus melalui jembatan kanonik. KAS L1 asli tidak dapat digunakan secara langsung.

Desain ini memisahkan komputasi dan status dari L1 sambil mempertahankan pengurutan dan penyelesaian bersama.

Siapa yang Seharusnya Membangun vProg?

Berdasarkan diskusi di komunitas, sebagian besar pengembang aplikasi biasa mungkin tidak memerlukan vProgs.

Namun, vProgs mungkin menarik bagi:

• Arsitek Appchain
• Tim yang mengevaluasi sistem bergaya rollup
• Proyek-proyek yang membangun agen AI dengan state on-chain yang besar.
• Para perancang sistem membandingkan kontrak L1, penggabungan L2, dan model hibrida.

vProgs menggabungkan pengurutan L1 terpadu dengan keadaan dan komputasi yang dieksternalisasi.

Apa Peran Zero-Knowledge (ZK)?

Hardfork ini mengintegrasikan verifikasi ZK pada L1, memperluas proposal sebelumnya seperti KIP-16.

Fitur yang didukung meliputi:

• Verifikasi bukti Groth16
• Jembatan tanpa kepercayaan ke sistem L2
• Aplikasi potensial yang berorientasi pada privasi

Aplikasi awal diharapkan berjalan secara inline, dengan dompet menghasilkan bukti secara langsung. Bahkan implementasi ZK berbasis perjanjian yang dikembangkan oleh kontributor seperti Hans dan Maxim diharapkan dapat berjalan pada perangkat keras standar. Tidak diperlukan infrastruktur pembuktian khusus untuk penerapan awal.

Laptop standar dapat menghasilkan bukti berdasarkan asumsi saat ini.

Program yang berfokus pada privasi secara teknis dimungkinkan setelah hardfork. Namun, privasi tidak tercantum sebagai fokus utama dalam peta jalan (roadmap).

Bagaimana Sparkle Berkaitan dengan vProgs?

Sparkle adalah arsitektur yang diusulkan oleh Anton untuk menggabungkan DAG komputasional dan bukti ZK. Meskipun Sparkle dan vProgs sama-sama menggunakan komponen CDAG dan ZK, keduanya menangani pertanyaan desain yang berbeda.

Ciri khas vProgs adalah pengaturan ketergantungan. Setiap program mengontrol throughput-nya sendiri dan menghindari ketergantungan eksternal yang sembarangan. Model ini mendukung kemampuan komposisi sambil tetap menjaga isolasi.

Apakah Hardfork Akan Mempengaruhi Keamanan, MEV, atau Persyaratan Node?

• Anggaran Keamanan: Tidak ada dampak langsung yang diharapkan dalam jangka pendek. Perbaikan bergantung pada adopsi produk yang sebenarnya, bukan pada perubahan infrastruktur.
   
• Persyaratan Node: Tidak ada perubahan.
   
• Lelang Suap MEV: Dianggap terlalu dini mengingat tahap perkembangan ekosistem saat ini.
   
• Cara Mengumpulkan Poin Perang untuk Mendapatkan STARK: Diskusi tersebut merujuk pada perilaku historis di awal perkembangan Ethereum, di mana alamat dengan angka nol di depan mengurangi biaya gas, yang pada gilirannya menyebabkan pasar penambangan proof-of-work. Penyebutan tersebut bersifat kontekstual dan bukan fitur terkini.

Apa yang ditambahkan oleh SilverScript?

SilverScript adalah bahasa tingkat tinggi yang dirancang untuk program Kaspa. Tujuannya adalah untuk menyederhanakan perjanjian dan pengembangan program.

Tujuan desainnya meliputi:

• Sintaksis yang mudah dibaca
• Aksesibilitas bagi pengembang baru
• Kompatibilitas dengan peralatan otomatis

SilverScript diharapkan dapat menurunkan hambatan dalam penulisan aplikasi berbasis perjanjian (covenant) setelah aset asli (native assets) diluncurkan.

Kesimpulan

Hardfork Kaspa yang berpusat pada perjanjian memperluas fungsionalitas Layer 1 melalui aset asli, perjanjian yang diperluas, dan verifikasi ZK. Ini memperkenalkan CDAG untuk pelacakan ketergantungan terstruktur dan meletakkan dasar untuk vProgs yang berdaulat. Peningkatan ini mempertahankan persyaratan node yang ada dan konsensus proof-of-work sambil memungkinkan penerbitan token yang dapat diprogram dan transfer atomik.

Aktivasi pada 5 Mei 2026 menandai langkah teknis dalam peta jalan Kaspa. Ini menambahkan kemampuan pemrograman terstruktur pada tingkat protokol dan mempersiapkan jaringan untuk peningkatan lebih lanjut, termasuk DAGKnight dan penerapan vProgs secara penuh.

sumber:

• Hard Fork yang berpusat pada Konvensi KaspaHitung mundur di Kas.live
• Benang Terah XTonggak Penting yang Akan Datang dan Hard Fork yang Berfokus pada Perjanjian
• Penelitian Kaspa: Sebuah model kerangka formal untuk DAG komputasi vProg