Padrão de Validação de Contas
Modelo de Programação · Profundo
O conjunto sistemático de verificações que todo programa Solana deve realizar em cada conta antes de processar uma instrução: verificação de owner (verificar que account.owner corresponde ao programa esperado), verificação de signatário (afirmar is_signer para contas privilegiadas), verificação de gravável (confirmar is_writable para contas sendo modificadas), re-derivação de PDA (recomputar o PDA a partir dos seeds e comparar com o endereço passado), verificação de discriminador (validar que os primeiros 8 bytes correspondem ao tipo esperado) e igualdade de chave (confirmar que contas específicas correspondem a endereços conhecidos como o ID do token program). Anchor automatiza essas verificações via a macro derive do trait Account e atributos de restrição.