La firma de auditoría de seguridad CertiK Foundation, una firma responsable de la realización de auditorías de seguridad para firmas como Binance, acaba de lanzar una nueva plataforma de blockchain denominada CertiK Chain Blockchain. CertiK Chain Blockchain es la manera fundamental de crear una plataforma segura para sus clientes.
A través de la construcción de la cadena de bloques desde cero, CertiK ha tomado todos los aspectos de seguridad previsibles y ha creado una red de cadenas que proporciona las medidas de seguridad más avanzadas.
Hecho para mejorar la seguridad, CertiK Chain emplea el uso de la plataforma de verificación formal CertiK Foundation para formar la base de la red de CertiK Chain Blockchain. Sin embargo, se han implementado más medidas para garantizar que la plataforma sea segura.
Para garantizar que la seguridad se cuide desde el fondo hacia arriba, la Máquina Virtual CertiK (CVM) formará la capa base. Por otro lado, para garantizar la corrección de la implementación de la red, CVM empleará el uso de la verificación formal.
Más adelante, la plataforma pondrá en uso un compilador verificado para evitar que se introduzcan errores durante la introducción del código fuente en el código de bytes CVM. Sin embargo, para ejecutar los nodos por completo, la red de blockchain se ejecutará en CertiKOS, que según el blog es un hipervisor/kernel de SO concurrente totalmente verificado. Según los estándares de la Fundación CertiK, este último evita cualquier intento de piratería, ya que proporciona medidas de seguridad de nivel militar.
Contratos inteligentes en la cadena para asignar certificados criptográficos
Para mayor seguridad, a los contratos inteligentes desarrollados e implementados en la cadena se les asignarán certificados criptográficos. Los últimos serán su prueba de seguridad verificada, y dado que todos los contratos inteligentes se ejecutarán en la red, a los que no tengan los certificados criptográficos se les cobrarán tarifas adicionales.
Además de lo anterior, la programación de los contratos inteligentes se llevará a cabo en el lenguaje DeepSEA. Este último tiene subvenciones para la integración de Hyperledger Burrow y Ethereum Virtual Machine (EVM) de Ethereum Foundation e IBM. A través de este último, la seguridad es del más alto nivel, ya que el código utilizado garantiza la máxima seguridad.
A través de lo anterior, según Vitalik Buterin, cofundador de Ethereum, CertiK está abordando uno de los principales factores que representan un desafío para la escalabilidad y para ayudar a impulsar la adopción en el siguiente nivel. Los otros factores son la escalabilidad y la descentralización. Sin embargo, a través de la red de cadena de bloques CertiK Chain, un factor es el cuidado.
