Ataques de PDA e Semente

Program Derived Addresses (PDAs) ancoram o estado do protocolo a sementes determinísticas. Erros de semente e bump permitem que atacantes personifiquem cofres, contornem verificações de autoridade ou colidam com PDAs de outros programas.

Receita

Cartão de receita de referência rápida - pronto para copiar e colar.

// `State::INIT_SPACE` requer `#[account] #[derive(InitSpace)]` na struct State.
#[account(
    init,
    payer = payer,
    space = 8 + State::INIT_SPACE,
    seeds = [b"state", user.key().as_ref()],
    bump,
)]
pub state: Account<'info, State>,
 
// Armazena o bump na conta para invocações posteriores
state.bump = ctx.bumps.state;

Quando usar isso:

• Criar PDAs de cofre ou escrow.
• Assinar CPIs com invoke_signed.
• Auditar constraints de seeds em #[account].
• Migrar esquemas de semente sem orfanar fundos.

Exemplo de Trabalho

use anchor_lang::prelude::*;
 
#[account]
#[derive(InitSpace)]
pub struct Escrow {
    pub maker: Pubkey,
    pub bump: u8,
}
 
#[derive(Accounts)]
pub struct InitEscrow<'info> {
    #[account(mut)]
    pub maker: Signer<'info>,
 
    #[account(
        init,
        payer = maker,
        space = 8 + Escrow::INIT_SPACE,
        seeds = [b"escrow", maker.key().as_ref()],
        bump,
    )]
    pub escrow: Account<'info, Escrow>,
 
    pub system_program: Program<'info, System>,
}
 
pub fn init_escrow(ctx: Context<InitEscrow>) -> Result<()> {
    ctx.accounts.escrow.maker = ctx.accounts.maker.key();
    ctx.accounts.escrow.bump = ctx.bumps.escrow;
    Ok(())
}

O que isso demonstra:

• Sementes incluem pubkey do usuário - cada usuário obtém um PDA de escrow único.
• bump no init armazena o bump canônico para invoke_signed posterior.
• seeds + bump em instruções subsequentes previnem substituição de PDA.

Mergulho Profundo

Como Funciona

• PDAs são pubkeys off-curve derivadas de (seeds, program_id).
• O runtime encontra o bump canônico (255 a 0) onde o endereço é off-curve.
• Somente o programa proprietário pode assinar para PDA via invoke_signed com as sementes exatas.
• Conjuntos de sementes incorretos derivam endereços diferentes - o atacante fornece contas semelhantes.

Padrões de Ataque

Notas de Rust

let seeds = &[b"escrow", maker.as_ref(), &[escrow.bump]];
let signer_seeds = &[&seeds[..]];
// Passe signer_seeds para CpiContext::new_with_signer

Armadilhas

• Bump não armazenado - Rebuscar o bump a cada tx desperdiça CU e arrisca inconsistência. Correção: Persista o bump na inicialização.
• Sementes opcionais do usuário - O atacante escolhe sementes que mapeiam para sua conta. Correção: Corrija os bytes de prefixo do protocolo; limite a entrada do usuário a pubkeys.
• init_if_needed em PDA - init_if_needed pula a criação para uma conta existente, mas ainda executa o corpo do seu manipulador; a redefinição vem de suas próprias escritas sem guarda, ou de fechar e recriar. Correção: Use init uma vez, ou proteja cada escrita de campo no manipulador.
• Confusão UTF-8 de semente - "escrow" vs b"escrow". Correção: Sempre use literais de byte b"...".
• Comprimento máximo de semente - Total de sementes > 32 bytes por limite de componente. Correção: Hashed long inputs com hashv em 32 bytes.
• PDA como autoridade de token - Deve assinar CPI de token com as sementes corretas. Correção: Corresponda o proprietário da conta de token à PDA.

Alternativas

FAQs

Relacionados

• Verificações de Signatário e Proprietário - assinatura de PDA
• Ataques de Reinicialização - reinicialização de PDA
• Testando CPIs e PDAs - testes de PDA
• Program Derived Addresses - fundamentos de PDA

Versões da stack: 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.