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.

Menulis program

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.

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.

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.

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.

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.

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.