Ataques de PDA y Semillas

Las Direcciones Derivadas del Programa (PDA) anclan el estado del protocolo a semillas deterministas. Los errores en las semillas y los bumps permiten a los atacantes suplantar bóvedas, eludir las comprobaciones de autoridad o colisionar con las PDA de otros programas.

Receta

Tarjeta de referencia rápida - lista para copiar y pegar.

// `State::INIT_SPACE` requiere `#[account] #[derive(InitSpace)]` en la struct State.
#[account(
    init,
    payer = payer,
    space = 8 + State::INIT_SPACE,
    seeds = [b"state", user.key().as_ref()],
    bump,
)]
pub state: Account<'info, State>,
 
// Almacena el bump en la cuenta para invocaciones posteriores
state.bump = ctx.bumps.state;

Cuándo recurrir a esto:

• Creación de PDA de bóveda o escrow.
• Firma de CPI con invoke_signed.
• Auditoría de restricciones de seeds en #[account].
• Migración de esquemas de semillas sin dejar fondos huérfanos.

Ejemplo de trabajo

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(())
}

Lo que esto demuestra:

• Las semillas incluyen la pubkey del usuario: cada usuario obtiene una PDA de escrow única.
• El bump en la inicialización almacena el bump canónico para invoke_signed posterior.
• seeds + bump en instrucciones subsiguientes evitan la sustitución de PDA.

Análisis en profundidad

Cómo funciona

• Las PDA son pubkeys fuera de la curva derivadas de (seeds, program_id).
• El tiempo de ejecución encuentra el bump canónico (de 255 a 0) donde la dirección está fuera de la curva.
• Solo el programa propietario puede firmar para una PDA a través de invoke_signed con las semillas exactas.
• Conjuntos de semillas incorrectos derivan direcciones diferentes: el atacante suministra cuentas de apariencia similar.

Patrones de ataque

Notas de Rust

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

Errores comunes

• Bump no almacenado - Volver a buscar el bump en cada transacción desperdicia CU y corre el riesgo de desajustes. Solución: Persistir el bump en la inicialización.
• Semillas opcionales del usuario - El atacante elige semillas que se mapean a su cuenta. Solución: Fijar los bytes de prefijo del protocolo; limitar la entrada del usuario a pubkeys.
• init_if_needed en PDA - init_if_needed omite la creación para una cuenta existente pero aún ejecuta el cuerpo de tu manejador; el restablecimiento proviene de tus propias escrituras sin protección, o de cerrar y volver a crear. Solución: Usar init una vez, o proteger cada escritura de campo en el manejador.
• Confusión de UTF-8 en semillas - "escrow" vs b"escrow". Solución: Siempre literales de bytes b"...".
• Longitud máxima de semillas - Límite total de semillas > 32 bytes por componente. Solución: Hashear entradas largas con hashv en 32 bytes.
• PDA como autoridad de token - Debe firmar CPI de token con las semillas correctas. Solución: Hacer coincidir el propietario de la cuenta de token con la PDA.

Alternativas

Preguntas frecuentes

Relacionado

• Comprobaciones de Signer y Owner - Firma de PDA
• Ataques de Reinicialización - Reinicialización de PDA
• Pruebas de CPI y PDA - Pruebas de PDA
• Direcciones Derivadas del Programa - Fundamentos de PDA

Versiones de Stack: Esta página fue 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, y LiteSVM 0.6.x.