Checks-Effects-Interactions (CEI)
Segurança · Abismo
Padrao de ordenacao defensiva para programas on-chain: validar todas as precondicoes (Checks), modificar o estado do programa (Effects), então executar Invocacoes entre Programas (Interactions). Ao confirmar mudancas de estado antes de chamar programas externos, o padrao previne bugs no estilo reentrancia e inconsistencias de estado se a CPI falhar ou se comportar inesperadamente. Na Solana, onde panicos de CPI revertem toda a transação, CEI ainda importa para proteger contra bugs de lógica em fluxos multi-CPI. Uma instrução de cunhagem com limite de taxa aplica CEI verificando assinante e limites, atualizando o contador de quantidade cunhada, e então executando a CPI MintTo.