La Fundación CertiK, una organización basada en la seguridad blockchain y el uso de la tecnología de Verificación Formal de vanguardia en contratos inteligentes, presentará la versión beta abierta de su cadena CertiK la próxima semana.
Según un comunicado de prensa de este viernes, publicado por Cointelegraph, CertiK Foundation pronto lanzará la versión beta abierta de Testnet 3.0 para CertiK Chain, diseñada para permitir que los contratos inteligentes comprueben la evidencia de auditorías de seguridad de otros contratos inteligentes, antes de realizar una transacción.
La máquina virtual CertiK (CVM) incluye compatibilidad total con el EVM de Ethereum, que permite que los contratos inteligentes Solidity existentes se ejecuten sin problemas. Dado que la cadena CertiK se basa en la red Cosmos, también hace posible que los contratos inteligentes de Solidity se ejecuten en la red Cosmos.
Posibles aplicaciones
Con el lanzamiento de la versión beta pública abierta, la firma apunta a manejar la escala y bloquear la validación de manera eficiente. La Fundación asegura que la cadena será adecuada para una amplia gama de aplicaciones potenciales, donde incluye áreas de financiamiento descentralizado y el replanteo.
La compañía explicó que un usuario puede verificar la evidencia en la cadena de una auditoría de seguridad antes de enviar criptomonedas para encerrarse en un contrato de replanteo. Según el resultado, un usuario puede elegir enviar cantidades en lotes más pequeños. La Fundación amplió:
En última instancia, si blockchain se vuelve tan disruptivo como la gente espera, con contratos inteligentes (como DAO) interactuando con otros contratos inteligentes, entonces la capacidad de verificar la seguridad en la cadena ayudaría a prevenir interacciones maliciosas.
Otras características de la cadena CertiK incluyen un sandboxing de contratos inteligentes para que puedan implementarse en un entorno simulado para pruebas dinámicas, lo que sería útil tanto para implementar nuevos contratos como para implementar actualizaciones de los contratos existentes
CertiK y funciones adicionales
En próximas versiones, la organización planea incluir características de seguridad adicionales para evitar interacciones maliciosas con el resto de la cadena de bloques. La cadena CertiK se ejecutará en CertiKOS, «el único kernel e hipervisor de sistema operativo concurrente totalmente certificado del mundo», y permitirá al CVM ejecutar contratos inteligentes desarrollados en el lenguaje de programación DeepSEA.
La Fundación CertiK lanzó su blockchain nativa CertiK Chain a fines de julio luego de una inversión de Binance Labs en 2018. Y busca expandirse como líder en el área de resguardo y seguridad.
Discussion about this post