Technologies Smart Contract Audits, se trata de una empresa de desarrollo de proyectos de Blockchain y auditorias de contratos inteligentes , enfocados en que los proyectos sean completamente seguros. Entre sus tareas específicas de auditoria se puede nombrar: Recopilación de patrones de diseño de código, análisis estáticos, exámenes de la unidad, pruebas manuales, entre otros.

proceso de auditoria

-Recopilacion de especificaciones

Se recopilan las especificaciones para conocer el comportamiento previsto del contrato inteligente. En esta etapa, se necesita un resumen del comportamiento previsto del contrato inteligente de su parte. También recopilaríamos especificaciones a través de formularios.

-Manual de revisión

Se realiza para verificar que cada detalle en las selecciones se implemente en el contrato inteligente. Aquí se busca un comportamiento inesperado e indefinido y vulnerabilidades de seguridad comunes como

-Pueba manual

El contrato inteligente se implementará manualmente en cualquiera de las redes de prueba (Ropsten/Rinkeby) utilizando el IDE de remezcla. Se registrarán todos los hashes de transacciones. También se anotan consumos de gas y comportamiento de funciones.

-Examen de la unidad

Las funciones de contrato inteligente se probarán por unidad en múltiples parámetros y bajo múltiples condiciones para garantizar que todas las rutas de funciones funcionen según lo previsto. En esta fase, también aseguran que las funciones del contrato inteligente no consumen gas necesario.

-Pruebas con herramientas automatizadas

Las pruebas con herramientas automatizadas son importantes para detectar los errores que los humanos pasan por alto.

-Mithril

-Oyente

-Mantícora

-Solgrafo

-Cobertura Solidez

-Reposte inicial de auditorio

Al final, se envía un informe completo junto con los detalles de la auditoría y los pasos para cubrir las vulnerabilidades si se encuentran con alguna en sus contratos.

-Estapa final

Después de las correcciones de auditoría iniciales, el proceso se repite nuevamente y se entrega el informe de auditoría final.

Opiniones y experiencias

“Recomendamos encarecidamente los servicios de auditoría de Quillhash. Ejecución profesional y oportuna. En ninguna entrega estuvo por debajo de lo esperado y propuesto. El equipo fue receptivo y diligente: no dudaría en buscar sus servicios nuevamente en un futuro cercano”.

Thomas Teixeira

CEO, tokens

Sin duda, fue una experiencia increíble con QuillAudits. Todo fue rápido, suave y perfecto; Parece que no puedo ver ninguna escapatoria.

Azeez Ibrahim

RED CXN

Clientes

Sí quieres ampliar tu conocimiento sobre este tema, visita nuestro post Token – Smart Contract Audit Certification Service

Para más información: Quillhash.com