El contrato inteligente de BreederDAO superó con éxito la auditoría de seguridad de Hacken
Hacken completó con éxito la revisión de código, de seguridad funcional del ERC20 de BreederDAO y de los contratos inteligentes de concesión de tokens antes de nuestro lanzamiento de tokens.
En nuestro esfuerzo por ser transparentes y garantizar siempre la seguridad de nuestra comunidad, hemos contratado a Hacken.io, una empresa consultora líder en seguridad cibernética que se especializa en seguridad de cadenas de bloques, para revisar de forma independiente nuestros contratos inteligentes.
Resumen
Nos complace anunciar que, después de una auditoría exhaustiva, Hacken no encontró vulnerabilidades críticas y otorgó a BreederDAO la calificación más alta posible de 10. Esto significa que nuestro contrato inteligente es seguro y protegido.
Alcance de la auditoría
El alcance de la auditoría incluyó tanto una revisión funcional como la del código realizada por un equipo de reconocidos consultores de Hacken.
Estas revisiones están buscando y revisando vulnerabilidades conocidas:
Revisión de código:
- Reentrada
- Toma posesión
- Dependencia de marca de tiempo
- Límite de gas y ciclos
- Dependencia del orden de transacción
- Violación de la guía de estilo
- Violación de los estándares EIP
- Llamada externa no verificada
- Matemáticas sin revisar
- Inferencia de tipos inseguros
- Nivel de visibilidad implícito
- Coherencia de implementación
- Coherencia del repositorio
Revisión funcional:
- Revisión de lógica de negocios
- Pruebas de funcionalidad
- Control de acceso y autorización
- Manipulación de depósitos
- Manipulación de suministro de tokens
- Integridad de los activos
- Manipulación de saldos de usuario
- Coherencia de datos
- Mecanismo de parada de emergencia
Componentes de la evaluación
La metodología de puntuación completa se puede encontrar aquí.
La puntuación contiene varias métricas:
- Calidad de la documentación
- Calidad del código
- Calidad de la arquitectura
- Nivel de seguridad
Calidad de la documentación
El código del proyecto debe proporcionarse con la documentación correspondiente. Se requieren requisitos funcionales y técnicos.
Calidad del código
El código debe cumplir con las guías de estilo oficiales del idioma y estar cubierto por pruebas unitarias.
Calidad de la arquitectura
Los contratos inteligentes de proyectos deben seguir las mejores prácticas.
Nivel de seguridad
El nivel de seguridad de los contratos verificados es el indicador más importante de la evaluación.
Aspectos destacados de la auditoría
BreederDAO se complace en anunciar que nuestro contrato inteligente recibió la calificación más alta posible de 10 en todas las métricas de puntuación. Puedes consultar todos los detalles de los informes en la web de Hacken.
Nos gustaría agradecer al equipo de Hacken por su trabajo y contribución para garantizar la seguridad de nuestra comunidad.
Obtén más información sobre nuestra próxima venta pública de $BREED del 26 al 29 de abril de 2022 aquí.
Acerca de Hacken
Hacken es una empresa líder en consultoría de ciberseguridad con un fuerte enfoque en la seguridad de la cadena de bloques. Hacken ofrece una amplia gama de servicios de seguridad, como consultoría de seguridad de blockchain, pruebas de penetración web/móvil, coordinación de programas de recompensas por errores, calificaciones de intercambio de criptografía y educación sobre seguridad cibernética.
Fundada en agosto de 2017, Hacken forma parte de Hacken Group, que incluye empresas como CER.live, HackenAI y HackenProof. CER.live es un proveedor único de datos de ciberseguridad para CoinGecko Trust Score.
Website | Twitter | Telegram | Linkedin
BreederDAO
Website | Discord |Whitepaper | Twitter | Telegram (Community) | Telegram (Announcements) | Medium | Spotify
