Aritmética Segura

Las cantidades de tokens, las tarifas y los cálculos de participación nunca deben desbordarse silenciosamente. En la cadena, utiliza checked_*, saturating_* o comprobaciones explícitas de límites y mapea los fallos a ProgramError.

Receta

let total = base
    .checked_add(fee)
    .ok_or(ProgramError::InvalidArgument)?;

Cuándo usar esto:

• Al agregar saldos, participaciones o índices de recompensas.
• Al calcular tarifas como un porcentaje de lamports o unidades de token.
• Al implementar contabilidad de bóvedas o distribuciones prorrateadas.

Ejemplo Funcional

use solana_program::program_error::ProgramError;
 
pub fn apply_fee(amount: u64, bps: u64) -> Result<u64, ProgramError> {
    if bps > 10_000 {
        return Err(ProgramError::InvalidArgument);
    }
    let fee = amount
        .checked_mul(bps)
        .and_then(|v| v.checked_div(10_000))
        .ok_or(ProgramError::InvalidArgument)?;
    amount
        .checked_sub(fee)
        .ok_or(ProgramError::InvalidArgument)
}

Lo que esto demuestra:

• La tarifa en puntos base utiliza multiplicación/división verificada en dos pasos.
• Comprobación de límites de bps antes de las operaciones matemáticas.
• Los errores se presentan como InvalidArgument para la decodificación del cliente.

Análisis Profundo

Elección de API

Patrones Financieros

• Utiliza intermedios u128 para multiplicación/división cuando el producto excede u64.
• Documenta el redondeo (hacia abajo vs. hacia arriba) para las divisiones de tarifas.

Notas de Rust

let wide = (a as u128).checked_mul(b as u128)?;

Trampas

• Operaciones sin verificar - a + b se desborda en producción sin comprobaciones de desbordamiento en algunos contextos. Solución: Siempre usa checked_* para fondos de usuario.
• Uso incorrecto de saturación - saturating_sub puede ocultar la insolvencia. Solución: Usa checked_sub cuando el saldo no debe ser menor que cero.
• División por cero - Rust entra en pánico con / 0 incluso en la cadena. Solución: Protege el divisor explícitamente.
• Truncamiento de conversión - as u64 desde u128 trunca silenciosamente. Solución: Comprueba los límites de try_into.
• Confusión con signo - Las cantidades de tokens no tienen signo; evita i64 a menos que sea necesario. Solución: indefinido

Alternativas

Preguntas Frecuentes

Relacionado

• Patrones de Tarifas y Tesorería - Recolección de tarifas
• Bóveda y Depósito en Garantía - Seguimiento de saldos
• Mejores Prácticas de Rust para Solana - Hábitos de seguridad

Versiones de Stack: Esta página fue 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, y LiteSVM 0.6.x.