El Módulo #[program]

La macro de atributo #[program] genera el punto de entrada de Solana, la distribución de instrucciones y las comprobaciones de discriminador. Tus funciones públicas se convierten en instrucciones en la cadena.

Receta

#[program]
pub mod my_program {
    use super::*;
 
    pub fn initialize(ctx: Context<Initialize>, amount: u64) -> Result<()> {
        ctx.accounts.config.amount = amount;
        Ok(())
    }
}

Cuándo usar esto: Cuando agregas o renombras una instrucción expuesta a los clientes.

Ejemplo Funcional

use anchor_lang::prelude::*;
 
declare_id!("Fg6PaFpoGXkYsidMpWTK6W2BeZ7FEfcYkg476zPFsLnS");
 
#[program]
pub mod escrow {
    use super::*;
 
    pub fn initialize(ctx: Context<Initialize>, amount: u64) -> Result<()> {
        let escrow = &mut ctx.accounts.escrow;
        escrow.amount = amount;
        escrow.authority = ctx.accounts.authority.key();
        Ok(())
    }
 
    pub fn release(ctx: Context<Release>) -> Result<()> {
        require!(ctx.accounts.authority.key() == ctx.accounts.escrow.authority, EscrowError::Unauthorized);
        // Lógica de transferencia...
        Ok(())
    }
}
 
#[account]
pub struct Escrow {
    pub amount: u64,
    pub authority: Pubkey,
}
 
#[derive(Accounts)]
pub struct Initialize<'info> {
    #[account(init, payer = authority, space = 8 + Escrow::INIT_SPACE)]
    pub escrow: Account<'info, Escrow>,
    #[account(mut)]
    pub authority: Signer<'info>,
    pub system_program: Program<'info, System>,
}
 
#[derive(Accounts)]
pub struct Release<'info> {
    #[account(mut, has_one = authority)]
    pub escrow: Account<'info, Escrow>,
    pub authority: Signer<'info>,
}

Lo que esto demuestra:

• El nombre del módulo se convierte en el espacio de nombres del módulo del programa en los clientes.
• Cada pub fn es una instrucción con un discriminador único.
• Las estructuras de cuentas son tipos #[derive(Accounts)] separados.
• Devuelve Result<()> para instrucciones falibles.

Análisis Profundo

Cómo Funciona

• Anchor hashea el nombre de la instrucción a un discriminador de 8 bytes que se antepone a los datos de la instrucción.
• El despachador generado deserializa las cuentas en tu struct Context<T>.
• Las funciones privadas dentro del módulo no se exponen como instrucciones.
• use super::*; trae las estructuras de cuentas y los tipos al ámbito.

Firmas de Controladores

Errores Comunes

• Controlador llamado init - Entra en conflicto con patrones reservados en algunas herramientas. Solución: Usa initialize en su lugar.
• Struct de cuenta dentro de #[program] - La macro no puede encontrar tipos de forma fiable. Solución: Define #[derive(Accounts)] en la raíz del módulo.
• Falta use super::* - Los tipos no están en el ámbito dentro del módulo. Solución: Agrega la importación al principio del módulo del programa.
• Pub fn con tipo Context incorrecto - El despachador pasa una disposición de cuenta incorrecta. Solución: Haz coincidir el nombre de la struct con Context<StructName>.
• Devolver algo que no es Result - Solo los patrones Result y de retorno de datos compilan para los controladores. Solución: Usa Result<()> a menos que devuelvas datos explícitamente.

Alternativas

Preguntas Frecuentes

Relacionado

• Controladores de Instrucciones - Contexto y firmas
• La Struct de Cuentas - structs de validación
• Compilación y Despliegue - salida de compilación

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.