Checked Math
Seguridad · Profundo
Una familia de métodos aritmeticos de Rust, incluyendo checked_add, checked_sub, checked_mul, checked_div y sus variantes saturating_ y overflowing_, que retornan None o un indicador de desbordamiento en lugar de envolver silenciosamente al desbordar. Obligatorios en el desarrollo de programas de Solana para prevenir desbordamientos de enteros. Ejemplo: amount.checked_add(fee).ok_or(ErrorCode::Overflow)?. Anchor proporciona require!() para manejar fallos limpiamente.