Deployment program

Ringkasan

Program yang di-deploy melalui loader-v3 dapat di-upgrade ketika upgrade authority ditetapkan. Mencabut authority membuat program menjadi immutable. Mencakup mekanisme upgrade, instruksi deployment dan upgrade loader-v3, verifikasi build, dan program loader yang tersedia.

Melakukan deployment program

Native Rust

Deploy menggunakan Solana CLI dengan solana program deploy.

Anchor

Deploy menggunakan framework Anchor dengan anchor deploy.

Melakukan upgrade program

Untuk meng-upgrade program, sebuah akun harus memiliki upgrade authority (biasanya akun yang awalnya melakukan deploy program). Selama deployment atau upgrade, bytecode baru diunggah ke akun buffer sementara, kemudian ditulis ke programdata account. Menetapkan upgrade authority ke None membuat program menjadi immutable dan secara permanen mencegah update lebih lanjut.

Mekanisme upgrade

Ketika UpgradeableLoaderInstruction::Upgrade diproses, runtime:

Memverifikasi program account dapat ditulis dan dimiliki oleh loader-v3.
Memverifikasi buffer account berisi state Buffer dengan authority yang benar.
Memverifikasi upgrade_authority_address programdata account cocok dan bukan None.
Memverifikasi program belum di-deploy dalam slot saat ini (clock.slot != slot).
Memuat dan memverifikasi byte ELF baru dari buffer.
Menyalin bytecode baru dari buffer ke programdata account dan mengosongkan byte yang tersisa.
Mendanai programdata account hingga rent-exemption.
Menguras buffer account (mengatur lamports ke 0) dan memotong datanya.
Versi baru menjadi efektif di slot berikutnya (deployment_slot + 1).

Akun Program itu sendiri (state-nya dan pointer programdata_address) tidak berubah selama upgrade. Hanya bytecode akun ProgramData dan metadata slot yang diperbarui.

Referensi instruksi Loader-v3

Loader-v3 (BPF Loader Upgradeable) adalah loader default saat ini untuk men-deploy program di Solana.

Instruksi	Deskripsi
`InitializeBuffer`	Menetapkan state akun buffer menjadi `Buffer` dengan authority yang ditentukan. Gagal jika sudah diinisialisasi.
`Write`	Menulis byte pada offset yang ditentukan dalam akun buffer. Authority harus menandatangani.
`DeployWithMaxDataLen`	Membuat program baru: menurunkan alamat ProgramData, membuat programdata account ProgramData melalui CPI ke System Program, memverifikasi dan melakukan deploy ELF dari buffer, menetapkan state program account Program dan menandainya sebagai executable.
`Upgrade`	Mengganti bytecode dalam programdata account ProgramData program yang ada dari buffer.
`SetAuthority`	Mengubah authority dari akun Buffer atau ProgramData. Menetapkan ke `None` pada ProgramData membuat program menjadi immutable. Authority buffer tidak dapat ditetapkan ke `None`.
`SetAuthorityChecked`	Seperti `SetAuthority`, tetapi mengharuskan authority baru juga menandatangani transaksi.
`Close`	Menutup akun buffer, uninitialized, atau ProgramData dengan mentransfer lamport-nya ke penerima. Menutup ProgramData juga menulis tombstone `Closed` ke cache program. Tidak dapat menutup program yang di-deploy dalam slot saat ini.
`ExtendProgramChecked`	Memperluas alokasi programdata account ProgramData dengan byte tambahan, mendanai rent ekstra dari payer.

Memverifikasi program

Solana mendukung verifiable builds, yang memungkinkan pengguna mengonfirmasi bahwa bytecode onchain program cocok dengan kode sumber publiknya. Framework Anchor menyediakan dukungan bawaan untuk verifiable builds.

Untuk memeriksa status verifikasi program yang telah dideploy, cari ID program tersebut di Solana Explorer, atau gunakan Solana Verifiable Build CLI dari Ellipsis Labs untuk memverifikasi program onchain secara independen.

Program loader

Loader	Alamat	Dapat Diupgrade	Deskripsi
Native Loader	`NativeLoader1111111111111111111111111111111`	Hanya melalui upgrade software validator	Memiliki builtins (System, Vote, Stake) dan loader lainnya
BPF Loader (v1)	`BPFLoader1111111111111111111111111111111111`	Tidak (manajemen loader dinonaktifkan)	Program legacy
BPF Loader (v2)	`BPFLoader2111111111111111111111111111111111`	Tidak (manajemen loader dinonaktifkan)	Program legacy
BPF Loader Upgradeable	`BPFLoaderUpgradeab1e11111111111111111111111`	Ya, jika upgrade authority ditetapkan	Memiliki semua program yang baru dideploy