Aritmética e Overflow

Programas on-chain usam inteiros de tamanho fixo com aritmética com wrap em operações não verificadas. Bugs de overflow e arredondamento drenam cofres, cunham shares sem lastro ou travam contas permanentemente.

Receita

Cartão de receita de referência rápida - pronto para copiar e colar.

let shares = deposit_amount
    .checked_mul(total_shares)
    .and_then(|v| v.checked_div(total_assets))
    .ok_or(ErrorCode::MathOverflow)?;
 
// Prefira intermediários u128 para matemática de tokens
let out = (amount_in as u128)
    .checked_mul(reserve_out as u128)
    .and_then(|n| n.checked_div((reserve_in as u128) + (amount_in as u128)))
    .ok_or(ErrorCode::MathOverflow)? as u64;

Quando usar isso:

• Cunhagem/queima de shares em cofres.
• Cálculos de swap AMM dentro de programas.
• Acúmulo de índice de juros em empréstimos.
• Qualquer +, -, *, / em quantidades de token.

Exemplo de Trabalho

use anchor_lang::prelude::*;
 
#[account]
pub struct Pool {
    pub total_assets: u64,
    pub total_shares: u64,
}
 
pub fn deposit(pool: &mut Pool, amount: u64) -> Result<u64> {
    let shares = if pool.total_shares == 0 {
        amount
    } else {
        (amount as u128)
            .checked_mul(pool.total_shares as u128)
            .and_then(|n| n.checked_div(pool.total_assets as u128))
            .ok_or(ErrorCode::MathOverflow)? as u64
    };
 
    pool.total_assets = pool
        .total_assets
        .checked_add(amount)
        .ok_or(ErrorCode::MathOverflow)?;
    pool.total_shares = pool
        .total_shares
        .checked_add(shares)
        .ok_or(ErrorCode::MathOverflow)?;
 
    Ok(shares)
}
 
#[error_code]
pub enum ErrorCode {
    MathOverflow,
}

O que isso demonstra:

• Divisão após multiplicação usa headroom u128.
• Primeiro depositante mint 1:1 evita divisão por zero.
• Atualizações de estado usam checked_add para detectar overflow.

Mergulho Profundo

Como Funciona

• Se operadores simples causam trap é decidido por uma flag, não por BPF ou modo de release. Verifique [profile.release] overflow-checks = true no Cargo.toml do workspace auditado primeiro - o template do Anchor o define, mas ele é rotineiramente removido para economizar CU. Esta é a ação de auditoria concreta mais barata nesta página.
• Mesmo com a flag ativada, prefira checked_*: um panic de overflow aborta a instrução com um erro genérico em vez do seu erro tipado.
• checked_* retorna None em overflow - mapeie para erro de programa.
• Divisão trunca em direção a zero - favorece protocolo na política de arredondamento.
• Cálculos de taxa devem usar basis points: amount * bps / 10_000.

Política de Arredondamento

Notas de Rust

use anchor_lang::solana_program::native_token::LAMPORTS_PER_SOL;
 
const BPS: u128 = 10_000;
let fee = (amount as u128)
    .checked_mul(fee_bps as u128)
    .and_then(|v| v.checked_add(BPS - 1)) // truque de divisão ceil
    .and_then(|v| v.checked_div(BPS))
    .ok_or(ErrorCode::MathOverflow)? as u64;

Armadilhas

• + simples em saldos - Wrap silencioso perto de u64::MAX. Correção: checked_add em todo lugar em saldos de usuário.
• Dividir antes de multiplicar - Perde precisão e habilita ataques de dust. Correção: Multiplique primeiro em tipo mais largo.
• Total shares zero - Divisão por zero ou ataque de inflação no primeiro depósito. Correção: Lock de liquidez mínima ou offset virtual.
• Cast trunca - u128 as u64 trunca silenciosamente. Correção: u64::try_from com verificação de intervalo.
• Confusão signed - Usar preços i64 sem limites. Correção: Documente intervalos; use checked_* em signed também.
• Decimais de token diferentes - Misturar mints de 6 e 9 decimais. Correção: Normalize para precisão comum antes da matemática.

Alternativas

FAQs

Relacionados

• Aritmética Segura - padrões Rust
• Ataques de Validação de Conta - exploits econômicos
• Catálogo de Ataques Sealevel - ataques de inflação
• Fuzzing de Programas - descoberta de casos extremos

Versões da stack: Esta página foi 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 e LiteSVM 0.6.x.