ETH Kipu
  • Ethereum Developer Pack
  • Módulo 1
    • Intro a Smart Contracts
      • Fundamentos de Blockchain
        • Antecedentes
        • Bitcoin
        • Qué es Blockchain
        • Conceptos Clave en Blockchain
        • Cómo funciona la Blockchain
        • Tipos de Blockchain
        • Modelos de Consenso
      • El nuevo Internet
        • Web 3
        • Elementos Fundamentales
        • Impacto de Ethereum en Diversos Sectores
      • Wallets
        • Componentes de una wallet
        • Tipos de Wallet
        • Códigos mnemónicos
      • Ethereum 101
        • Smart Contracts
        • Cuentas
          • Tipos de cuentas
          • Contenido de cuentas
        • Transacciones
          • Componentes
          • Ciclo de vida
        • Gas
        • Solidity
        • EVM
          • La máquina de estados
          • Opcodes
          • Cómo funciona la EVM
          • Clientes de ejecución
          • DApps
      • Blockchain Explorer
        • Funciones de un blockchain explorer
        • Beneficios de utilizar un blockchain explorer
      • Remix
        • Características de Remix
        • Workspaces o espacios de trabajo
        • Cargar y compilar un contrato
        • Desplegar en la máquina virtual de Remix (Remix VM)
        • Interactuando con funciones
        • Desplegar en una red pública
      • Crea tu primer Smart Contract
  • Módulo 2
    • Fundamentos de Solidity
      • Hello World
      • Tipos de Datos
      • Funciones
      • Variables
        • Ejercicio 1
      • Operadores
        • Ejercicio 2
      • Constructor
        • Ejercicio 3
      • Convenciones de nomenclatura
      • Tipos de almacenamiento para variables
      • Estructuras de Control
        • Ejercicio 4
      • Modificadores
      • Eventos
        • Ejercicio 5
      • Tipos de Referencia
        • Arrays
          • Ejercicio 6
        • Mappings
          • Ejercicio 7
        • Structs
          • Ejercicio 8
      • Address Payable
      • Cómo reciben Ether los contratos y funciones
      • Transferencias de Ether
      • Conceptos Avanzados
        • Codificación ABI
        • Hashing
        • This
        • Herencia
        • Abstract
        • Interface
        • Llamadas entre contratos
        • EVM
        • ABI
        • Bytecode
        • Opcodes
  • Módulo 3
    • Estándares, Librerías y Patrones
      • Buenas Prácticas de Diseño
      • Patrones de Diseño
      • EIP y ERC
      • ERC-20
      • ERC-721
      • Open Zeppelin
      • Crea un Token ERC-20
      • Almacenamiento Descentralizado: IPFS
      • Crea un Token ERC-721
      • DeFi
  • Módulo 4
    • Toolkit para desarrollo en Ethereum
      • Requisitos para el módulo 4
        • Terminal
        • Git y Github
        • Node.js y npm
        • Visual Studio Code para Solidity
      • Toolkit
        • JSON-RPC
        • Ethers.js
          • Ejercicio
        • Hardhat
          • Despliegue de un contrato en Hardhat
          • Despliegue de un contrato en una red pública
        • Scaffold-ETH
          • Características
          • Cómo instalar Scaffold-ETH
  • Módulo 5
    • Seguridad, Pruebas y Auditoría
      • Pruebas
        • Importancia de realizar pruebas
        • Métodos para probar contratos inteligentes
          • Pruebas automatizadas
          • Pruebas manuales
        • Conceptos importantes en testing
        • Herramientas para testing
        • Testing con Hardhat
        • Recursos adicionales
      • Seguridad
        • Una mentalidad distinta de diseño
        • Principales vulnerabilidades en smart contracts
          • Reentrancy attack (ataque de reentrada)
          • Replay attack (ataque de repetición)
          • Price Oracle Manipulation (Manipulación de Oráculos de Precios)
          • Missing Access Control (Pérdida de Control de Acceso)
          • Reward Manipulation (Manipulación de Recompensas)
          • Failure to Initialize (Falla al Inicializar)
          • Front-running
          • Invariant Breaks (Ruptura de invariantes)
          • Mishandling of ETH (Mal manejo de ETH)
          • Denial of Service (DoS - Denegación de Servicio)
          • Integer overflow and underflow (desbordamiento y subdesbordamiento de enteros)
          • Phishing y Typosquatting
        • Recursos adicionales
      • Auditoría de smart contracts
        • Proceso de Auditoría
        • Herramientas
        • Cómo prepararse para una auditoría
        • El test Rekt
        • Retos
        • Recursos adicionales
  • Contribuye
    • Kipu Explorer
Powered by GitBook
On this page

Was this helpful?

  1. Módulo 5
  2. Seguridad, Pruebas y Auditoría

Auditoría de smart contracts

La auditoría de contratos inteligentes es el proceso de examinar el código de un contrato inteligente con el fin de identificar y abordar posibles fallos de seguridad, errores o ineficiencias.

El objetivo de una auditoría de un contrato inteligente es asegurar que el contrato funcione según lo previsto, sea seguro y se adhiera a los estándares y mejores prácticas de la industria. Las auditorías de contratos inteligentes suelen ser realizadas por empresas o individuos con experiencia en tecnología blockchain, desarrollo de contratos inteligentes y seguridad. El procedimiento de auditoría puede incluir revisión de código, pruebas de vulnerabilidad, pruebas de penetración y pruebas funcionales.

Típicamente, los resultados de una auditoría de contratos inteligentes se presentan en un informe que detalla cualquier problema identificado y las recomendaciones correspondientes. Además de un resumen del diseño y la funcionalidad del contrato, el informe de auditoría también puede incluir un resumen de cualquier riesgo y restricción potencial.

En general, una auditoría de contratos inteligentes es crucial para garantizar la seguridad y validez de un contrato inteligente. Al realizar una auditoría exhaustiva, los desarrolladores y las partes interesadas pueden identificar y abordar cualquier vulnerabilidad potencial antes de desplegar el contrato, reduciendo así el riesgo de brechas de seguridad, pérdidas financieras y otros resultados adversos.

Dada la inmutabilidad de los contratos inteligentes, auditarlos antes del despliegue es un paso crucial para asegurar el entorno Web3. Aunque la presencia de una o más auditorías no garantiza que el código sea completamente seguro, reduce significativamente la probabilidad de vulnerabilidades.

Es esencial recordar que siempre se descubrirán nuevas vulnerabilidades en el futuro, como en criptografía y firmas digitales, y que las mejores prácticas seguirán evolucionando con el tiempo. Sin embargo, garantizar la seguridad de un contrato inteligente en el momento del despliegue puede reducir significativamente el riesgo de ataques y vulnerabilidades. En otras palabras, auditar un contrato inteligente no es una actividad única, sino más bien un procedimiento continuo para mantener su seguridad y confiabilidad en el dinámico ecosistema Web3.

PreviousRecursos adicionalesNextProceso de Auditoría

Last updated 8 months ago

Was this helpful?