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.
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.
Loader | Program ID | Catatan | Tautan Instruksi |
---|---|---|---|
native | NativeLoader1111111111111111111111111111111 | Memiliki empat loader lainnya | — |
v1 | BPFLoader1111111111111111111111111111111111 | Instruksi manajemen dinonaktifkan, tetapi program masih dapat dijalankan | — |
v2 | BPFLoader2111111111111111111111111111111111 | Instruksi manajemen dinonaktifkan, tetapi program masih dapat dijalankan | Instruksi |
v3 | BPFLoaderUpgradeab1e11111111111111111111111 | Program dapat diperbarui setelah deployment. Executable program disimpan dalam akun data program terpisah | Instruksi |
v4 | LoaderV411111111111111111111111111111111111 | Dalam 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.
Program | Program ID | Deskripsi | Instruksi |
---|---|---|---|
Program Ed25519 | Ed25519SigVerify111111111111111111111111111 | Memverifikasi 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 bytessignature_instruction_index: u16, // instruction index to find signaturepublic_key_offset: u16, // offset to public key of 32 bytespublic_key_instruction_index: u16, // instruction index to find public keymessage_data_offset: u16, // offset to start of message datamessage_data_size: u16, // size of message datamessage_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 | Program ID | Deskripsi | Instruksi |
---|---|---|---|
Program Secp256k1 | KeccakSecp256k11111111111111111111111111111 | Memverifikasi 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 bytessignature_instruction_index: u16, // instruction index to find signatureeth_address_offset: u16, // offset to eth_address of 20 byteseth_address_instruction_index: u16, // instruction index to find eth_addressmessage_data_offset: u16, // offset to start of message datamessage_data_size: u16, // size of message datamessage_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 | Program ID | Deskripsi | Instruksi |
---|---|---|---|
Program Secp256r1 | Secp256r1SigVerify1111111111111111111111111 | Memverifikasi 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.
Program | Program ID | Deskripsi | Instruksi |
---|---|---|---|
System | 11111111111111111111111111111111 | Membuat akun baru, mengalokasikan data akun, menetapkan akun ke program pemilik, mentransfer lamport dari akun yang dimiliki Program System, dan membayar biaya transaksi | SystemInstruction |
Vote | Vote111111111111111111111111111111111111111 | Membuat dan mengelola akun yang melacak status voting validator dan rewards | VoteInstruction |
Stake | Stake11111111111111111111111111111111111111 | Membuat dan mengelola akun yang mewakili stake dan rewards untuk delegasi ke validator | StakeInstruction |
Config | Config1111111111111111111111111111111111111 | Menambahkan 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 dalamnya | ConfigInstruction |
Compute Budget | ComputeBudget111111111111111111111111111111 | Menetapkan batas dan harga unit komputasi untuk transaksi, memungkinkan pengguna mengontrol sumber daya komputasi dan biaya prioritas | ComputeBudgetInstruction |
Address Lookup Table | AddressLookupTab1e1111111111111111111111111 | Mengelola tabel pencarian alamat, yang memungkinkan transaksi mereferensikan lebih banyak akun daripada yang biasanya muat dalam daftar akun transaksi | ProgramInstruction |
ZK ElGamal Proof | ZkE1Gama1Proof11111111111111111111111111111 | Menyediakan verifikasi bukti zero-knowledge untuk data terenkripsi ElGamal | — |
Is this page helpful?