Auditoría y Seguridad de los Contratos Inteligentes

Blockchain presenta una oportunidad única para el consenso distribuido. Las aplicaciones de contratos inteligentes conllevan problemas de seguridad únicos. Para mitigar estos riesgos, Jobchain® realiza auditorías de seguridad para sus contratos inteligentes.

Certik y Quantstamp, dos de las tecnologías de verificación formal más avanzadas del mundo para contratos inteligentes y auditoría de blockchain, han dado luz verde para que Jobchain® continúe sus esfuerzos para seguir reforzando la seguridad de la plataforma para garantizar la estabilidad y la confianza del ecosistema Jobchain®.

Acerca de CertiK: CertiK es una empresa pionera en ciberseguridad de blockchain fundada por profesores de informática de la Universidad de Yale y la Universidad de Columbia. Aplicando el rigor de la tecnología propia de Verificación Formal en contratos inteligentes y protocolos de blockchain, CertiK ha sido capaz de asegurar más de 4,39 mil millones de dólares en activos, incluyendo muchos de los principales proyectos de blockchain del mundo. Los esfuerzos de investigación de CertiK han recibido subvenciones de IBM y la Fundación Ethereum, así como notables inversores, entre los que se encuentran Binance Labs, Arrington XRP, Lightspeed China Partners, Matrix Partners China y NEO Global Capital, entre otros.

A diferencia de los enfoques de prueba tradicionales, CertiK intenta demostrar matemáticamente que el ecosistema blockchain y los contratos inteligentes son resistentes a los hackers y están libres de errores. Con la confianza de la industria de la seguridad, CertiK ha establecido asociaciones estratégicas con las principales bolsas de activos digitales del mundo, como Binance OKEx, Kucoin y Huobi, así como con protocolos de cadena de bloques, como NEO, ICON y QuarkChain.

Tecnologías principales de CertiK:

  • Verificación formal - pruebas matemáticas para verificar todas las posibilidades de los programas de misión crítica.
  • AutoScan - tecnología escalable para identificar y remediar las vulnerabilidades de seguridad
  • DeepSEA-Blockchain - lenguaje de programación funcional para contratos inteligentes formalmente verificables

Ventajas del núcleo de CertiK:

  • Verificación formal completa y personalizable
  • Informes de auditoría detallados y transparentes
  • Revisión del código por parte de expertos en seguridad
  • Auditorías realizadas en todos los principales protocolos y lenguajes
  • Contraejemplos autogenerados
  • Reauditorías de código ilimitadas
  • Pruebas de Penetración Avanzadas realizadas por Hackers Experimentados y Éticos

certik.io:

Acerca de Quantstamp:

Quantstamp pretende resolver la impenetrabilidad de los contratos inteligentes creando el principal protocolo descentralizado que proporcionará una auditoría de seguridad para los contratos inteligentes basados en la red Ethereum. En esencia, Quantstamp permite a los desarrolladores de contratos inteligentes enviar su trabajo a su protocolo, donde numerosos auditores de seguridad pueden revisar el contrato, con el fin de recibir tokens QSP como recompensa. El nivel de auditoría requerido lo establece el desarrollador inicial, que paga esos honorarios a cualquier persona que identifique un problema en el contrato inteligente.

quantstamp.com: