Program

Di Solana, smart contract disebut sebagai program. Program adalah sebuah akun stateless yang berisi kode yang dapat dieksekusi. Kode ini diorganisir ke dalam fungsi yang disebut instruksi. Pengguna berinteraksi dengan program dengan mengirimkan transaksi yang berisi satu atau lebih instruksi. Sebuah transaksi dapat mencakup instruksi dari beberapa program.

Ketika program di-deploy, Solana menggunakan LLVM untuk mengompilasi program tersebut ke dalam format executable and linkable (ELF). File ELF berisi binary program dalam format Solana Bytecode Format (sBPF) dan disimpan on-chain dalam akun yang dapat dieksekusi.

sBPF adalah versi kustom Solana dari bytecode eBPF.

Mayoritas program ditulis dalam Rust, dengan dua pendekatan pengembangan yang umum:

  • Anchor: Anchor adalah framework yang dirancang untuk pengembangan Solana yang cepat dan mudah. Framework ini menggunakan Rust macros untuk mengurangi kode boilerplate—menjadikannya pilihan yang bagus untuk pemula.
  • Native Rust: Menulis program dalam Rust tanpa memanfaatkan framework apapun. Pendekatan ini menawarkan fleksibilitas lebih tetapi dengan kompleksitas yang lebih tinggi.

Memperbarui program

Untuk memodifikasi program yang sudah ada, sebuah akun harus ditunjuk sebagai upgrade authority. (Biasanya akun yang sama yang awalnya men-deploy program tersebut.) Jika upgrade authority dicabut dan diatur ke null, program tersebut tidak dapat lagi diperbarui.

Memverifikasi program

Solana mendukung verifiable builds, yang memungkinkan pengguna untuk memeriksa apakah kode on-chain program cocok dengan kode sumber publiknya. Framework Anchor menyediakan dukungan bawaan untuk membuat build yang dapat diverifikasi.

Untuk memeriksa apakah program yang ada sudah diverifikasi, cari ID programnya di Solana Explorer. Alternatifnya, Anda dapat menggunakan Ellipsis Labs Solana Verifiable Build CLI, untuk memverifikasi program on-chain secara independen.

Program bawaan

Program loader

Setiap program dimiliki oleh program lain—yaitu loader-nya. Loader digunakan untuk men-deploy, men-deploy ulang, mengupgrade atau menutup program. Loader juga digunakan untuk menyelesaikan program dan mentransfer otoritas program.

Saat ini terdapat lima program loader, seperti yang ditunjukkan pada tabel di bawah ini.

LoaderProgram IDCatatanTautan Instruksi
nativeNativeLoader1111111111111111111111111111111Memiliki empat loader lainnya
v1BPFLoader1111111111111111111111111111111111Instruksi manajemen dinonaktifkan, tetapi program masih dapat dijalankan
v2BPFLoader2111111111111111111111111111111111Instruksi manajemen dinonaktifkan, tetapi program masih dapat dijalankanInstruksi
v3BPFLoaderUpgradeab1e11111111111111111111111Program dapat diperbarui setelah deployment. Executable program disimpan dalam akun data program terpisahInstruksi
v4LoaderV411111111111111111111111111111111111Dalam pengembangan (belum dirilis)Instruksi

Program yang di-deploy dengan loader-v3 atau loader-v4 dapat dimodifikasi setelah deployment, sebagaimana ditentukan oleh otoritas upgrade-nya.

Program terkompilasi sebelumnya

Selain program loader, Solana menyediakan program terkompilasi sebelumnya berikut ini.

Verifikasi tanda tangan ed25519

Program ed25519 digunakan untuk memverifikasi satu atau lebih tanda tangan ed25519.

ProgramProgram IDDeskripsiInstruksi
Program Ed25519Ed25519SigVerify111111111111111111111111111Memverifikasi tanda tangan ed25519. Jika ada tanda tangan gagal, error akan dikembalikan.Instruksi

Program ed25519 memproses sebuah instruksi. u8 pertama dari instruksi berisi jumlah tanda tangan yang akan diperiksa, diikuti oleh satu byte padding. Setelah itu, struktur berikut diserialisasi, satu untuk setiap tanda tangan yang akan diperiksa.

pub struct Ed25519SignatureOffsets {
signature_offset: u16, // offset to ed25519 signature of 64 bytes
signature_instruction_index: u16, // instruction index to find signature
public_key_offset: u16, // offset to public key of 32 bytes
public_key_instruction_index: u16, // instruction index to find public key
message_data_offset: u16, // offset to start of message data
message_data_size: u16, // size of message data
message_instruction_index: u16, // index of instruction data to get message data
}

Ini memungkinkan pengguna untuk menentukan instruction data apa pun dalam transaksi untuk data tanda tangan dan pesan. Dengan menentukan sysvar instruksi khusus, seseorang juga dapat menerima data dari transaksi itu sendiri.

Verifikasi pemulihan secp256k1

Program secp256k1 digunakan untuk memverifikasi operasi pemulihan kunci publik secp256k1.

ProgramProgram IDDeskripsiInstruksi
Program Secp256k1KeccakSecp256k11111111111111111111111111111Memverifikasi operasi pemulihan kunci publik secp256k1 (ecrecover).Instruksi

Program secp256k1 memproses sebuah instruksi. Byte pertama instruksi berisi jumlah kunci publik yang akan diperiksa. Setelah itu, struktur berikut dibuat sekali untuk setiap kunci publik, kemudian diserialisasi dan ditambahkan ke instruction data.

pub struct Secp256k1SignatureOffsets {
signature_offset: u16, // offset to secp256k1 signature data of 64 bytes
signature_instruction_index: u16, // instruction index to find signature
eth_address_offset: u16, // offset to eth_address of 20 bytes
eth_address_instruction_index: u16, // instruction index to find eth_address
message_data_offset: u16, // offset to start of message data
message_data_size: u16, // size of message data
message_instruction_index: u16, // instruction index to find message data
}

Kode semu dari verifikasi pemulihan:

Ini memungkinkan pengguna untuk menentukan instruction data apa pun dalam transaksi untuk data tanda tangan dan pesan. Dengan menentukan sysvar instruksi khusus, seseorang juga dapat menerima data dari transaksi itu sendiri.

Biaya transaksi akan menghitung jumlah tanda tangan yang akan diverifikasi dikalikan dengan pengali biaya verifikasi tanda tangan.

Program secp256r1 digunakan untuk memverifikasi hingga 8 tanda tangan secp256r1.

ProgramProgram IDDeskripsiInstruksi
Program Secp256r1Secp256r1SigVerify1111111111111111111111111Memverifikasi hingga 8 tanda tangan secp256r1. Mengambil tanda tangan, kunci publik, dan pesan. Mengembalikan error jika ada yang gagal.Instruksi

Program secp256r1 memproses sebuah instruksi. Byte pertama instruction data adalah jumlah tanda tangan yang akan diperiksa, diikuti oleh satu byte padding. Setelah itu, struktur berikut dibuat untuk setiap tanda tangan, kemudian diserialisasi dan ditambahkan ke instruction data.

Tanda tangan digital adalah cara untuk membuktikan bahwa pesan berasal dari pengirim tertentu. Solana menggunakan algoritma tanda tangan digital kurva eliptik (ECDSA) dengan kurva secp256k1 atau Ed25519.

Nilai S rendah diberlakukan untuk semua tanda tangan untuk menghindari kemungkinan kerentanan tanda tangan.

Tanda tangan digital digunakan untuk memverifikasi bahwa pemilik kunci pribadi telah mengotorisasi transaksi. Solana menggunakan tanda tangan digital untuk memverifikasi bahwa pemilik akun telah mengotorisasi transfer token atau perubahan data.

Program inti

Program dalam daftar di bawah ini menyediakan fungsionalitas inti jaringan.

ProgramProgram IDDeskripsiInstruksi
System11111111111111111111111111111111Membuat akun baru, mengalokasikan data akun, menetapkan akun ke program pemilik, mentransfer lamport dari akun yang dimiliki Program System, dan membayar biaya transaksiSystemInstruction
VoteVote111111111111111111111111111111111111111Membuat dan mengelola akun yang melacak status voting validator dan rewardsVoteInstruction
StakeStake11111111111111111111111111111111111111Membuat dan mengelola akun yang mewakili stake dan rewards untuk delegasi ke validatorStakeInstruction
ConfigConfig1111111111111111111111111111111111111Menambahkan data konfigurasi ke chain, diikuti oleh daftar kunci publik yang diizinkan untuk memodifikasinya. Tidak seperti program lain, program Config tidak mendefinisikan instruksi individual. Program ini hanya memiliki satu instruksi implisit: "store". Data instruksinya adalah sekumpulan kunci yang mengatur akses ke akun dan data yang disimpan di dalamnyaConfigInstruction
Compute BudgetComputeBudget111111111111111111111111111111Menetapkan batas dan harga unit komputasi untuk transaksi, memungkinkan pengguna mengontrol sumber daya komputasi dan biaya prioritasComputeBudgetInstruction
Address Lookup TableAddressLookupTab1e1111111111111111111111111Mengelola tabel pencarian alamat, yang memungkinkan transaksi mereferensikan lebih banyak akun daripada yang biasanya muat dalam daftar akun transaksiProgramInstruction
ZK ElGamal ProofZkE1Gama1Proof11111111111111111111111111111Menyediakan verifikasi bukti zero-knowledge untuk data terenkripsi ElGamal

Is this page helpful?

Daftar Isi

Edit Halaman

Dikelola oleh

© 2025 Yayasan Solana.
Semua hak dilindungi.