Cuentas de Datos y Diseño

El estado del programa es un buffer de bytes en el campo data de una cuenta. Anchor 0.32.1 utiliza la serialización Borsh con un prefijo discriminador de 8 bytes. Un tamaño de diseño correcto evita fallos de inicialización y exploits de deserialización.

Receta

#[account]
#[derive(InitSpace)]
pub struct Market {
    pub authority: Pubkey,
    pub price: u64,
    pub name: String, // max 32 en InitSpace vía #[max_len(32)]
}
// space = 8 + Market::INIT_SPACE

Cuándo recurrir a esto:

• Calcular el espacio init para nuevos tipos de cuentas
• Versionar esquemas de cuentas para actualizaciones
• Elegir Borsh vs zero-copy para compensaciones de CU y tamaño
• Analizar cuentas desconocidas desde RPC en clientes

Ejemplo Funcional

use anchor_lang::prelude::*;
 
#[account]
#[derive(InitSpace)]
pub struct UserStats {
    pub authority: Pubkey,
    #[max_len(16)]
    pub nickname: String,
    pub wins: u32,
    pub losses: u32,
}
 
#[derive(Accounts)]
pub struct InitStats<'info> {
    #[account(
        init,
        payer = authority,
        space = 8 + UserStats::INIT_SPACE,
        seeds = [b"stats", authority.key().as_ref()],
        bump,
    )]
    pub stats: Account<'info, UserStats>,
    #[account(mut)]
    pub authority: Signer<'info>,
    pub system_program: Program<'info, System>,
}
 
#[program]
pub mod stats {
    use super::*;
    pub fn init(ctx: Context<InitStats>, nickname: String) -> Result<()> {
        require!(nickname.len() <= 16, StatsError::NameTooLong);
        ctx.accounts.stats.nickname = nickname;
        ctx.accounts.stats.wins = 0;
        ctx.accounts.stats.losses = 0;
        Ok(())
    }
}

Lo que esto demuestra:

• InitSpace calcula el tamaño de Borsh incluyendo cadenas max_len
• El discriminador de 8 bytes es antepuesto automáticamente por Anchor
• La ejecución valida la longitud de la cadena contra el espacio asignado

Análisis Profundo

Estructura del Diseño

[ 8 bytes discriminador ][ Campo Borsh 1 ][ Campo 2 ]...

Reglas de Dimensionamiento

• Tipos de tamaño fijo: Pubkey 32, u64 8, bool 1
• String/Vec: longitud de 4 bytes + bytes de contenido máximo
• Enums: índice de variante de 1 byte + tamaño de la variante más grande

Versionado

• Añadir version: u8 como primer campo después del discriminador
• O usar un nuevo tipo de cuenta con un nuevo discriminador
• Nunca reducir cuentas sin migración

Errores Comunes

• Omitir max_len en String/Vec - error de compilación o tamaño ilimitado. Solución: siempre establecer #[max_len(N)] en Anchor 0.32.1.
• Errores de cálculo manual del espacio - error de un dígito en enums. Solución: preferir el derive InitSpace.
• Reordenar campos - rompe cuentas existentes. Solución: solo añadir nuevos campos con versionado.
• Deserializar cuentas no confiables - el atacante crea bytes maliciosos. Solución: validar propietario, discriminador y rangos de campos.
• Cuentas enormes - coste de alquiler y deserialización de CU. Solución: zero-copy o dividir entre cuentas.

Alternativas

Preguntas Frecuentes

Relacionado

• Alquiler y Exención de Alquiler - el espacio impulsa el alquiler
• Estado Propiedad del Programa - dónde residen los diseños
• Creación y Cierre de Cuentas - realloc para crecimiento

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.