T10 · Solana Program

アドレス    フォルダーの場所
owner       内容を変更できるプログラム
data        中身のバイト列
lamports    金額。保存用の預託金でもある

Account
 ├─ address      32 バイトのアドレス
 ├─ owner        data の変更権限者。通常ウォレットはシステムプログラム
 ├─ data         任意バイト。プログラムが解釈する
 ├─ lamports     残高。レント免除の閾値も満たす
 └─ executable   プログラムかデータか

use anchor_lang::prelude::*;

// `anchor keys list` の実 ID で置き換える。コピーしたまま使わない
declare_id!("Fg6PaFpoGXkYsidMpWTK6W2BeZ7FEfcYkg476zPFsLnS");

#[program]
pub mod counter {
    use super::*;

    pub fn initialize(ctx: Context<Initialize>) -> Result<()> {
        let counter = &mut ctx.accounts.counter;
        counter.authority = ctx.accounts.user.key();
        counter.count = 0;
        Ok(())
    }

    pub fn increment(ctx: Context<Increment>) -> Result<()> {
        let counter = &mut ctx.accounts.counter;
        // 本番では checked_add で、オーバーフローを巻き戻りでなくエラーにする
        counter.count = counter.count.checked_add(1).unwrap();
        Ok(())
    }
}

#[account]
pub struct Counter {
    pub authority: Pubkey,   // 32 バイト
    pub count: u64,          // 8 バイト
}

#[derive(Accounts)]
pub struct Initialize<'info> {
    // init        本プログラムが作成し owner になる
    // payer       レント免除預託金の支払者
    // space       8 バイトの型マーカー + 32 + 8
    // seeds/bump  ラベルと user から導出。誰でも計算でき、本プログラムだけが書く
    #[account(
        init,
        payer = user,
        space = 8 + 32 + 8,
        seeds = [b"counter", user.key().as_ref()],
        bump
    )]
    pub counter: Account<'info, Counter>,

    #[account(mut)]
    pub user: Signer<'info>,          // Signer が署名を強制

    pub system_program: Program<'info, System>,
}

#[derive(Accounts)]
pub struct Increment<'info> {
    // seeds/bump  アドレスを再導出し比較
    // has_one     data の authority と下のアカウントを照合
    #[account(
        mut,
        seeds = [b"counter", authority.key().as_ref()],
        bump,
        has_one = authority
    )]
    pub counter: Account<'info, Counter>,

    pub authority: Signer<'info>,
}