init & init_if_needed

init cria uma nova conta na mesma instrução. init_if_needed cria apenas quando ausente, o que introduz risco de reinicialização se as restrições forem fracas.

Receita

#[account(
    init,
    payer = payer,
    space = 8 + MyAccount::INIT_SPACE,
    seeds = [b"vault", user.key().as_ref()],
    bump
)]
pub vault: Account<'info, Vault>,

Quando usar isso: Uma instrução deve alocar estado de propriedade do programa pela primeira vez.

Exemplo de Trabalho

#[derive(Accounts)]
pub struct CreateProfile<'info> {
    #[account(
        init,
        payer = user,
        space = 8 + Profile::INIT_SPACE,
        seeds = [b"profile", user.key().as_ref()],
        bump
    )]
    pub profile: Account<'info, Profile>,
    #[account(mut)]
    pub user: Signer<'info>,
    pub system_program: Program<'info, System>,
}

init_if_needed é controlado por um recurso do cargo. Sem ele, a macro falha na compilação com um erro informando para habilitá-lo:

[dependencies]
anchor-lang = { version = "0.32.1", features = ["init-if-needed"] }

// init_if_needed: apenas quando idempotente e seguro
#[account(
    init_if_needed,
    payer = payer,
    space = 8 + Stats::INIT_SPACE,
    seeds = [b"stats"],
    bump,
)]
pub stats: Account<'info, Stats>,

O que isso demonstra:

• init falha se a conta já existir
• payer financia lamports isentos de aluguel
• space inclui um discriminador de 8 bytes
• init_if_needed pode pular a criação quando a conta existe

Análise Profunda

Requisitos do init

• O pagador deve ser um signatário mutável com SOL.
• O programa do sistema é necessário para alocar/atribuir.
• O espaço deve caber no tamanho serializado da conta.

Risco do init_if_needed

init_if_needed nunca recria uma conta existente, então o corpo do seu manipulador ainda é executado contra o estado ativo. O Anchor executa o caminho completo Account<T> na conta existente (proprietário + discriminador de 8 bytes + Borsh) e revalida os atributos declarados, como space, owner e token::authority, mesmo quando a criação é pulada, então lixo arbitrário é rejeitado.

O ataque real de reinicialização é diferente: se o corpo do manipulador escrever incondicionalmente valores padrão (ctx.accounts.stats.owner = signer.key();), uma segunda chamada redefine uma conta legítima e já populada. Proteja com um campo initialized: bool armazenado / campo de versão, ou constraint = stats.authority == authority.key(), ou divida a criação e a atualização em duas instruções.

Armadilhas

• init sem space - Erro de compilação ou aluguel incorreto. Correção: Use INIT_SPACE ou space = 8 + ....
• init_if_needed em dados de propriedade do usuário - Ataques de reinicialização possíveis. Correção: Use init ou constraint estrito no estado existente.
• Esqueceu system_program - A criação da conta CPI falha. Correção: Inclua Program<System>.
• Payer não mut - A transferência de aluguel falha. Correção: Marque o pagador como #[account(mut)].
• Duplo init com as mesmas seeds - A segunda chamada falha; planeje um fluxo idempotente. Correção: Use init_if_needed apenas com guardas fortes.

WTI5a1pXZDFhV1JsY3k1cGIzeGpaMmx2TXpFeWZESXdNall3Tnc9PQ==

Alternativas

FAQs

Relacionado

• Espaço e Aluguel - dimensionamento
• Seeds e Restrições Bump - init de PDA
• Padrões de Inicialização de Conta - padrões de design

Versões da Pilha: Esta página foi escrita para Agave 4.1.1, Solana CLI 3.0.10, Anchor 0.32.1, anchor-lang 0.32.1, Rust 1.91.1, @solana/kit 7.0.0, Surfpool 0.12.0 e LiteSVM 0.6.x.