Blockchain Audits , se trata de un proveedor de servicios de mercado para criptomonedas. Al mismo tiempo, desarrollan proyectos con contratos inteligentes y servicios de auditorías de seguridad. Hasta ahora, han realizado más de 100 auditorías exitosas.
Proceso de auditorias
-Verificación de afirmaciones y propiedades:
- Violación de afirmación de solidez.
- Evento Solidity AssertionFailed.
-Normas ERC:
Implementación incorrecta de ERC20.
Categorías de alcance del informe de auditoría
-Gravedad alta
Los problemas de alta gravedad abren el contrato para la explotación de actores maliciosos. No recomiendan implementar contratos con alto problemas de gravedad.
-Problemas de gravedad media
Los problemas de gravedad media son errores encontrados en los contratos que dificultan la efectividad del contrato y puede causar resultados al interactuar con el contrato. Se recomienda solucionar estos problemas.
-Problemas de baja gravedad:
Los problemas de gravedad baja advierten de un impacto menor en la integridad general del contrato. Estos se pueden arreglar con menos urgencia.
Sí quieres ampliar tu conocimiento sobre este tema, visita nuestro post Token – Smart Contract Audit Certification Service
Para más información: Coinbae.org
Artículos relacionados
