Estado de Propriedade do Programa

Q: Posso migrar o estado para um novo layout?

Sim, via realloc, novas contas ou versionamento de desserialização em manipuladores de instrução.

Q: Quem paga para criar contas de estado?

O payer em init - usuário ou protocolo subsidiador.

Q: Como os indexadores encontram todas as contas de um programa?

RPC getProgramAccounts com filtros memcmp nos discriminadores.

Programas Solana são executáveis sem estado. Todo estado durável vive em contas de propriedade do programa - endereços separados cujo campo owner é o ID do seu programa.

Receita

#[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>,

Quando usar isso:

Projetando qualquer protocolo que armazena dados de configuração de usuário ou globais
Substituindo padrões EVM mapping(address => Data)
Separando estado "quente" por usuário de contas de configuração globais
Habilitando transações paralelas em contas de usuário não sobrepostas

Exemplo de Trabalho

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);
        // transfere lamports via 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,
}

O que isso demonstra:

O estado do escrow é uma conta pertencente a escrow_program
As seeds do PDA vinculam a conta a um maker específico
O bytecode do programa nunca armazena amount - apenas a conta de escrow o faz

Mergulho Profundo

Padrões de Estado

Padrão	Seeds	Uso
PDA por usuário	`[b"user", pubkey]`	Perfis, posições
Configuração global	`[b"config"]`	Configurações do administrador
Cofre por mint	`[b"vault", mint]`	Custódia de tokens

Por que Programas Sem Estado

O mesmo código de programa atende a usuários ilimitados por meio de contas separadas
Execução paralela quando transações tocam contas diferentes
Atualizações substituem o código sem migrar o armazenamento embutido

Armadilhas

Singleton global para todos os usuários - contenção e limites de tamanho. Correção: fragmentar o estado entre PDAs.
Armazenar estado apenas nos dados da instrução - não é durável. Correção: persistir em contas.
Armazenamento de bump de PDA ausente - custo de recomputação e problemas de canonicalidade de seeds. Correção: armazenar o bump na conta ou usar seeds::program com bump.
Divergência de proprietário na inicialização - outro programa poderia se passar por ele. Correção: init do Anchor define o proprietário automaticamente.
Não fechar contas obsoletas - aluguel travado para sempre. Correção: restrição close quando o ciclo de vida termina.

Alternativas

Alternativa	Usar Quando	Não Usar Quando
PDA por entidade	Estado mutável específico do usuário	Pequenas flags globais
Conta de configuração única	Configurações de todo o protocolo	Dados de usuário com muitas escritas
Conta zero-copy	Dados de conta grandes	Estruturas pequenas
Compressão de estado	Mints / reivindicações em massa	Registros atualizados com frequência

FAQs

Onde meu programa armazena o saldo de um usuário?

Em uma conta de propriedade do programa (geralmente um PDA) - não dentro do binário do programa.

Programas podem ler contas de estado de outros programas?

Sim, se passadas na transação e a desserialização for conhecida. A escrita ainda requer lógica do programa proprietário.

Quantas contas um programa pode possuir?

Endereços distintos ilimitados. Cada um é uma conta separada on-chain.

Qual é o anti-padrão de conta global?

Uma conta contendo todos os registros de usuários. Causa limites de tamanho, explosões de CU e falha na paralelização.

PDAs contam como estado de propriedade do programa?

Sim. PDAs são contas pertencentes ao programa derivado.

Como o upgrade afeta o estado?

As contas de estado persistem entre os upgrades do programa. Apenas o bytecode muda.

Posso migrar o estado para um novo layout?

Sim, via realloc, novas contas ou versionamento de desserialização em manipuladores de instrução.

Quem paga para criar contas de estado?

O payer em init - usuário ou protocolo subsidiador.

Programa-proprietário é o mesmo que usuário-proprietário?

O programa possui a conta; o usuário controla por meio de verificações de signatário nas instruções que a modificam.

Como os indexadores encontram todas as contas de um programa?

RPC getProgramAccounts com filtros memcmp nos discriminadores.

Contas de estado podem conter SOL?

Sim - campo lamports. Comum em padrões de escrow e cofre.

O que é InitSpace no Anchor 0.32.1?

Macro de derivação que calcula o tamanho serializado Borsh para o atributo space.

Relacionado

Contas do Sistema vs. Contas de Programa - tipos de conta
Contas de Dados e Layout - serialização
Criando e Fechando Contas - ciclo de vida

Versões da Pilha: Esta página foi 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, e LiteSVM 0.6.x.

Receita

#[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>,

Quando usar isso:

Projetando qualquer protocolo que armazena dados de configuração de usuário ou globais
Substituindo padrões EVM mapping(address => Data)
Separando estado "quente" por usuário de contas de configuração globais
Habilitando transações paralelas em contas de usuário não sobrepostas

Exemplo de Trabalho

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);
        // transfere lamports via 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,
}

O que isso demonstra:

O estado do escrow é uma conta pertencente a escrow_program
As seeds do PDA vinculam a conta a um maker específico
O bytecode do programa nunca armazena amount - apenas a conta de escrow o faz

Mergulho Profundo

Padrões de Estado

Padrão	Seeds	Uso
PDA por usuário	`[b"user", pubkey]`	Perfis, posições
Configuração global	`[b"config"]`	Configurações do administrador
Cofre por mint	`[b"vault", mint]`	Custódia de tokens

Por que Programas Sem Estado

O mesmo código de programa atende a usuários ilimitados por meio de contas separadas
Execução paralela quando transações tocam contas diferentes
Atualizações substituem o código sem migrar o armazenamento embutido

Armadilhas

Singleton global para todos os usuários - contenção e limites de tamanho. Correção: fragmentar o estado entre PDAs.
Armazenar estado apenas nos dados da instrução - não é durável. Correção: persistir em contas.
Armazenamento de bump de PDA ausente - custo de recomputação e problemas de canonicalidade de seeds. Correção: armazenar o bump na conta ou usar seeds::program com bump.
Divergência de proprietário na inicialização - outro programa poderia se passar por ele. Correção: init do Anchor define o proprietário automaticamente.
Não fechar contas obsoletas - aluguel travado para sempre. Correção: restrição close quando o ciclo de vida termina.

Alternativas

Alternativa	Usar Quando	Não Usar Quando
PDA por entidade	Estado mutável específico do usuário	Pequenas flags globais
Conta de configuração única	Configurações de todo o protocolo	Dados de usuário com muitas escritas
Conta zero-copy	Dados de conta grandes	Estruturas pequenas
Compressão de estado	Mints / reivindicações em massa	Registros atualizados com frequência

FAQs

Onde meu programa armazena o saldo de um usuário?

Em uma conta de propriedade do programa (geralmente um PDA) - não dentro do binário do programa.

Programas podem ler contas de estado de outros programas?

Sim, se passadas na transação e a desserialização for conhecida. A escrita ainda requer lógica do programa proprietário.

Quantas contas um programa pode possuir?

Endereços distintos ilimitados. Cada um é uma conta separada on-chain.

Qual é o anti-padrão de conta global?

Uma conta contendo todos os registros de usuários. Causa limites de tamanho, explosões de CU e falha na paralelização.

PDAs contam como estado de propriedade do programa?

Sim. PDAs são contas pertencentes ao programa derivado.

Como o upgrade afeta o estado?

As contas de estado persistem entre os upgrades do programa. Apenas o bytecode muda.

Posso migrar o estado para um novo layout?

Sim, via realloc, novas contas ou versionamento de desserialização em manipuladores de instrução.

Quem paga para criar contas de estado?

O payer em init - usuário ou protocolo subsidiador.

Programa-proprietário é o mesmo que usuário-proprietário?

O programa possui a conta; o usuário controla por meio de verificações de signatário nas instruções que a modificam.

Como os indexadores encontram todas as contas de um programa?

RPC getProgramAccounts com filtros memcmp nos discriminadores.

Contas de estado podem conter SOL?

Sim - campo lamports. Comum em padrões de escrow e cofre.

O que é InitSpace no Anchor 0.32.1?

Macro de derivação que calcula o tamanho serializado Borsh para o atributo space.

Relacionado

Contas do Sistema vs. Contas de Programa - tipos de conta
Contas de Dados e Layout - serialização
Criando e Fechando Contas - ciclo de vida

Versões da Pilha: Esta página foi 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, e LiteSVM 0.6.x.

Estado de Propriedade do Programa

Buscar na documentação

Estado de Propriedade do Programa