Patrón de Validación de Cuentas
Modelo de Programación · Profundo
El conjunto sistematico de verificaciones que todo programa de Solana debe realizar en cada cuenta antes de procesar una instrucción: verificación de propiedad (la cuenta es propiedad del programa esperado), verificación de firmante (el firmante requerido ha firmado), verificación de discriminador (los datos de la cuenta coinciden con el tipo esperado), verificación de PDA (la cuenta se deriva de los seeds esperados), y verificaciones de restricciones del lado del negocio. Saltarse cualquiera de estas es un vector de vulnerabilidad. Las restricciones de Anchor automatizan la mayoria de estas verificaciones declarativamente.