Para mayor seguridad, sigo prefiriendo no solo usar la herramienta, sino también tener una auditoría de terceros.

Ya sea que estés desarrollando una aplicación DeFi, un juego de cadena de bloques o cualquier proyecto en cadena en Sui, varias firmas de auditoría ya apoyan activamente el ecosistema, ofreciendo servicios de seguridad en varias etapas de desarrollo: -Asintótica: creamos Sui Prover, una herramienta de verificación formal diseñada específicamente para la validación de contratos inteligentes de Sui. -Blaize.Security: ofrece servicios de seguridad integrales centrados en la interfaz de usuario, que incluyen auditorías manuales, protección de canalizaciones de CI/CD, monitoreo en vivo y análisis de incidentes. -Certora: combina la auditoría manual tradicional con la verificación formal para producir evaluaciones rigurosas de seguridad híbrida. -MoveBit: una de las primeras empresas en adoptar la verificación formal en las auditorías de Sui, a la vez que contribuye a través de herramientas para desarrolladores y eventos de CTF. -OtterSec: conocida por sus exhaustivas auditorías manuales y por su estrecha colaboración con los equipos durante todo el ciclo de vida de la auditoría. -Zellic: ofrece una sólida experiencia en el lenguaje Move y trabaja activamente en varios proyectos dentro del ecosistema Sui.

Además, los desarrolladores de Sui pueden aprovechar elMove Registry (MVR), un sistema de gestión de paquetes integrado que permite a los equipos adjuntar información clave, como el código fuente, la documentación y los resultados de las auditorías, directamente a los contratos inteligentes que tengan implementados.

####** 1. Cadena de herramientas de auditoría esencial**

#####Análisis estático

Herramienta	Propósito	Características principales
	** Move Prover**	Verificación formal
	** Move Analyzer**	Integración con IDE
sui move verify sui client verify-source	** Controles de seguridad de la CLI de Sui**	Auditorías integradas

Ejemplo de uso de Prover:

spec balance_never_negative {  
    invariant balance >= 0;  
}  

#####Análisis dinámico

Herramienta	Tipo	Cobertura
** Sui Test Framework**	Pruebas unitarias	- Cobertura de ruta del 100% - Objetos o relojes simulados
	** Sui Fuzzer**	Pruebas de propiedades

Ejemplo de prueba de Fuzz:

#[test_only]  
fun fuzz_transfer(amount: u64) {  
    let balance = 1000;  
    transfer(&mut balance, amount); // Auto-tests 0, MAX, etc.  
}  

---

2. Escáneres específicos para Suis*

#####Comprobadores del ciclo de vida de los objetos -** Analizador de reembolsos por almacenamiento Sui** | Detecta:

• Crecimiento ilimitado de objetos drop- Habilidades faltantes
• Identificadores huérfanos

#####Auditorías de control de acceso

# Find all entry functions without signer checks  
grep -r "public entry" ./sources | grep -v "&signer"  

#####Linterizadores de objetos compartidos Reglas personalizadas para:

• Faltan los controles de época
• Riesgos de modificación concurrentes
• Referencias de objetos compartidos obsoletas

---

####3. Técnicas de revisión manual

#####Comprobaciones críticas 1.Patrones de capacidad:

  // Verify admin caps are properly guarded  
  assert!(address_of(signer) == admin_cap.admin, EUnauthorized);  

2.Seguridad dinámica de campo:

  // Ensure no unvalidated user input in dynamic fields  
  dynamic_field::add(&mut obj, user_input, value); // RISKY  

#####Puntos calientes de gas -Operaciones de almacenamiento:

 // Prefer Table over vector for large collections  
 let bad: vector<u64>; // Expensive deletions  
 let good: Table<ID, u64>; // O(1) ops  

#####Adherencia al marco Sui

• Compruébelo con:
• sui: :coin
• sui: :reloj

---

####4. Flujo de trabajo de auditoría integrado

Paso 1: Análisis estático

sui move build --lint && \  
sui move prove --path ./sources  

Paso 2: Pruebas dinámicas

sui move test --coverage && \  
move-fuzzer ./sources -iterations 1000  

Paso 3: Revisión manual

1. Compruebe todas entrylas funciones:

• ¿El firmante está presente?
• ¿Validación de entradas?

2. Audite los objetos compartidos:

• ¿Controles de época?
• ¿Mecanismos de bloqueo?

---

####5. Hallazgos comunes por instrumenta

Herramienta	Capturas típicas
	Move Prover
	Sui CLI
	Fuzzer
	Manual

---

6. Consejos profesionales*

✅Auditoría continua

# GitHub Action example  
- uses: MoveAnalyst/move-security-check@v1  
  with:  
    path: ./sources  

✅Compare con vulnerabilidades conocidas

• Informes de auditoría de Sui
• Salón de la Fama de Move Security

✅Usa varios RPC Haz una prueba con:

• Localnet
• Red de prueba
• Diferentes proveedores de nodos completos

---