init & init_if_needed

init crea una nueva cuenta en la misma instrucción. init_if_needed crea solo cuando falta, lo que introduce el riesgo de reinicialización si las restricciones son débiles.

Receta

#[account(
    init,
    payer = payer,
    space = 8 + MyAccount::INIT_SPACE,
    seeds = [b"vault", user.key().as_ref()],
    bump
)]
pub vault: Account<'info, Vault>,

Cuándo usar esto: Una instrucción debe asignar estado propiedad del programa por primera vez.

Ejemplo Funcional

#[derive(Accounts)]
pub struct CreateProfile<'info> {
    #[account(
        init,
        payer = user,
        space = 8 + Profile::INIT_SPACE,
        seeds = [b"profile", user.key().as_ref()],
        bump
    )]
    pub profile: Account<'info, Profile>,
    #[account(mut)]
    pub user: Signer<'info>,
    pub system_program: Program<'info, System>,
}

init_if_needed está restringido detrás de una característica de cargo. Sin ella, la macro falla al compilar con un error que te indica que la habilites:

[dependencies]
anchor-lang = { version = "0.32.1", features = ["init-if-needed"] }

// init_if_needed: solo cuando es idempotente y seguro
#[account(
    init_if_needed,
    payer = payer,
    space = 8 + Stats::INIT_SPACE,
    seeds = [b"stats"],
    bump,
)]
pub stats: Account<'info, Stats>,

Lo que esto demuestra:

• init falla si la cuenta ya existe
• payer financia lamports exentos de alquiler
• space incluye el discriminador de 8 bytes
• init_if_needed puede omitir la creación cuando la cuenta existe

Análisis Profundo

Requisitos de init

• El pagador debe ser un firmante mutable con SOL.
• Se requiere el programa del sistema para asignar/asignar.
• El espacio debe ajustarse al tamaño de la cuenta serializada.

Riesgo de init_if_needed

init_if_needed nunca recrea una cuenta existente, por lo que el cuerpo de tu manejador aún se ejecuta contra el estado en vivo. Anchor ejecuta la ruta completa Account<T> en la cuenta existente (propietario + discriminador de 8 bytes + Borsh) y revalida los atributos declarados como space, owner y token::authority incluso cuando se omite la creación, por lo que se rechazan datos basura arbitrarios.

El ataque real de reinicialización es diferente: si el cuerpo del manejador escribe incondicionalmente valores predeterminados (ctx.accounts.stats.owner = signer.key();), una segunda llamada restablece una cuenta legítima y ya poblada. Protege con un campo initialized: bool almacenado / campo de versión, o constraint = stats.authority == authority.key(), o divide la creación y la actualización en dos instrucciones.

Errores Comunes

• init sin espacio - Error de compilación o alquiler incorrecto. Solución: Usa INIT_SPACE o space = 8 + ....
• init_if_needed en datos propiedad del usuario - Ataques de reinicialización posibles. Solución: Usa init o constraint estricto en el estado existente.
• Se olvidó system_program - La creación de cuenta CPI falla. Solución: Incluye Program<System>.
• Payer no es mut - La transferencia de alquiler falla. Solución: Marca el pagador como #[account(mut)].
• Doble init con las mismas semillas - La segunda llamada falla; planifica un flujo idempotente. Solución: Usa init_if_needed solo con salvaguardias sólidas.

WTI5a1pXZDFhV1JsY3k1cGIzeGpaMmx2TXpFeWZESXdNall3Tnc9PQ==

Alternativas

Preguntas Frecuentes

Relacionados

• Space & Rent - dimensionamiento
• Seeds & Bump Constraints - init de PDA
• Account Initialization Patterns - patrones de diseño

Versiones de la pila: Esta página se escribió 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.