PDAs en Anchor

Las Direcciones Derivadas de Programa (PDAs) no tienen clave privada; tu programa firma por ellas con seeds y bump a través de invoke_signed o CPI with_signer.

Receta

#[account(
    seeds = [b"escrow", maker.key().as_ref()],
    bump,
)]
pub escrow: Account<'info, Escrow>,

Cuándo usar esto: El programa debe custodiar activos o almacenar estado canónico en una dirección determinista.

Ejemplo Funcional

use anchor_lang::prelude::*;
 
#[account]
#[derive(InitSpace)]
pub struct Escrow {
    pub maker: Pubkey,
    pub escrow_id: u64,
    pub bump: u8,
}
 
// `escrow_id` es un argumento de instrucción, por lo que la estructura de cuentas debe
// declararlo con #[instruction(..)] antes de que las seeds puedan referenciarlo.
#[derive(Accounts)]
#[instruction(escrow_id: u64)]
pub struct InitEscrow<'info> {
    #[account(
        init,
        payer = maker,
        space = 8 + Escrow::INIT_SPACE,
        seeds = [b"escrow", maker.key().as_ref(), escrow_id.to_le_bytes().as_ref()],
        bump,
    )]
    pub escrow: Account<'info, Escrow>,
    #[account(mut)]
    pub maker: Signer<'info>,
    pub system_program: Program<'info, System>,
}
 
pub fn init_escrow(ctx: Context<InitEscrow>, escrow_id: u64) -> Result<()> {
    let escrow = &mut ctx.accounts.escrow;
    escrow.maker = ctx.accounts.maker.key();
    escrow.escrow_id = escrow_id;
    // Anchor NO persiste el bump por ti; escríbelo tú mismo.
    escrow.bump = ctx.bumps.escrow;
    Ok(())
}

Lo que esto demuestra:

• Las seeds + el ID del programa determinan la dirección de la PDA.
• El bump encuentra el bump canónico fuera de la curva; ctx.bumps.escrow lo expone.
• Escrow::INIT_SPACE solo existe gracias a #[derive(InitSpace)].
• Las seeds que referencian un argumento de instrucción necesitan #[instruction(..)].
• Almacena el bump en la cuenta para comprobaciones posteriores más baratas.
• Las PDAs no pueden ser de tipo Signer.

Análisis Profundo

Derivación

Pubkey::find_program_address(seeds, program_id) devuelve (dirección, bump). Anchor envuelve esto en restricciones.

Firma de Programa

Solo el programa que posee las seeds de la PDA puede firmar, a menos que se use un ID de programa externo en las seeds (avanzado).

Errores Comunes

• bump fuera de la curva no almacenado - CU extra en cada CPI. Solución: Persistir el bump en el estado.
• Límites de longitud de seeds - Restricciones máximas de datos de seeds. Solución: Mantener las seeds compactas.
• Patrón de PDA propiedad del sistema mal utilizado - Asignar al programa después de la creación. Solución: Usar la inicialización de Anchor en la PDA.
• Desajuste de seeds entre cliente/servidor - La transacción falla. Solución: Compartir el generador de seeds en el SDK.
• PDA como Signer<'info> - Compila, pero siempre falla en tiempo de ejecución: una PDA no tiene clave para firmar la transacción. Solución: Usar Account con una restricción de seeds y firmar solo dentro de las CPIs.

Alternativas

Preguntas Frecuentes

Relacionado

• Firmar con PDAs - Firma CPI
• Restricciones de Seeds y Bump - validación
• Conceptos Básicos de PDA - modelo nativo

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.