Checks-Effects-Interactions (CEI)
Seguridad · Abismo
Un patron de ordenamiento defensivo para programas en cadena: validar todas las precondiciones (Checks), mutar el estado del programa (Effects), luego ejecutar Invocaciones entre Programas (Interactions). Al confirmar los cambios de estado antes de llamar a programas externos, el patron previene errores de tipo reentrada e inconsistencias de estado si el CPI falla o se comporta inesperadamente. En Solana, donde los panicos de CPI revierten toda la transacción, CEI sigue siendo importante para proteger contra errores logicos en flujos con multiples CPI. Una instrucción de acuñación con limite de tasa aplica CEI verificando el firmante y los limites, actualizando el contador de cantidad acunada, y luego ejecutando el CPI de MintTo.