Estado Propiedad del Programa

Los programas de Solana son ejecutables sin estado. Todo el estado duradero reside en cuentas propiedad del programa - direcciones separadas cuyo campo owner es tu ID de programa.

Receta

#[account]
pub struct Escrow {
    pub maker: Pubkey,
    pub amount: u64,
}
 
#[account(
    init,
    payer = maker,
    space = 8 + Escrow::INIT_SPACE,
    seeds = [b"escrow", maker.key().as_ref()],
    bump,
)]
pub escrow: Account<'info, Escrow>,

Cuándo usar esto:

• Diseñar cualquier protocolo que almacene datos de configuración de usuario o globales.
• Reemplazar patrones EVM mapping(address => Data).
• Separar el estado "caliente" por usuario de las cuentas de configuración globales.
• Habilitar transacciones paralelas en cuentas de usuario no superpuestas.

Ejemplo Funcional

use anchor_lang::prelude::*;
 
declare_id!("Escrow1111111111111111111111111111111111111");
 
#[program]
pub mod escrow_program {
    use super::*;
 
    pub fn initialize(ctx: Context<Initialize>, amount: u64) -> Result<()> {
        let escrow = &mut ctx.accounts.escrow;
        escrow.maker = ctx.accounts.maker.key();
        escrow.amount = amount;
        Ok(())
    }
 
    pub fn release(ctx: Context<Release>) -> Result<()> {
        let escrow = &ctx.accounts.escrow;
        require!(escrow.amount > 0, EscrowError::Empty);
        // transferir lamports vía CPI...
        Ok(())
    }
}
 
#[derive(Accounts)]
pub struct Initialize<'info> {
    #[account(
        init,
        payer = maker,
        space = 8 + Escrow::INIT_SPACE,
        seeds = [b"escrow", maker.key().as_ref()],
        bump,
    )]
    pub escrow: Account<'info, Escrow>,
    #[account(mut)]
    pub maker: Signer<'info>,
    pub system_program: Program<'info, System>,
}
 
#[account]
#[derive(InitSpace)]
pub struct Escrow {
    pub maker: Pubkey,
    pub amount: u64,
}

Lo que esto demuestra:

• El estado de la cuenta de depósito en garantía es una cuenta propiedad de escrow_program.
• Las semillas de PDA vinculan la cuenta a un creador específico.
• El bytecode del programa nunca almacena amount - solo la cuenta de depósito en garantía lo hace.

Análisis Profundo

Patrones de Estado

Por Qué Programas Sin Estado

• El mismo código de programa sirve a usuarios ilimitados a través de cuentas separadas.
• Ejecución paralela cuando las transacciones tocan cuentas diferentes.
• Las actualizaciones reemplazan el código sin migrar el almacenamiento incrustado.

Errores Comunes

• Singleton global para todos los usuarios: Contención y límites de tamaño. Solución: Fragmentar el estado en PDAs.
• Almacenar estado solo en los datos de la instrucción: No es duradero. Solución: Persistir en cuentas.
• Falta de almacenamiento del bump de la PDA: Costo de recálculo y problemas de canonicalidad de semillas. Solución: Almacenar el bump en la cuenta o usar seeds::program con bump.
• Desajuste del propietario al inicializar: Otro programa podría suplantar. Solución: init de Anchor establece el propietario automáticamente.
• No cerrar cuentas obsoletas: Rent bloqueado para siempre. Solución: Restricción close cuando finaliza el ciclo de vida.

Alternativas

Preguntas Frecuentes

Relacionado

• Cuentas del Sistema vs. Cuentas de Programa - tipos de cuenta
• Cuentas de Datos y Diseño - serialización
• Creación y Cierre de Cuentas - ciclo de vida

Versiones de la Pila: 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.