Runtime Verification lanza Universal ZK Rollup en MultiversX

La firma de auditoría de seguridad Runtime Verification, con sede en Illinois, que aplica métodos de verificación formales pioneros en la NASA para mejorar la seguridad, confiabilidad y corrección de los sistemas informáticos, está lanzando PI Squared, un ZK Rollup universal que utiliza la cadena de bloques MultiversX como capa de consenso.

Revelado en el estreno durante el tercer día de la conferencia xDay organizada por MultiversX, PI Squared reducirá la verificación de afirmaciones computacionales a la verificación de pruebas matemáticas. Esto se hará mediante un verificador de pruebas universal, implementado como un circuito ZK personalizado (paralelo).

Con el crecimiento exponencial del espacio blockchain, ha habido un aumento en los ataques y exploits de contratos inteligentes, creando la necesidad de mejores estándares de seguridad. Por lo tanto, la solución basada en el paquete acumulativo ZK de Runtime Verification se erige como una herramienta fundamental para eliminar estos problemas que obstaculizan la adopción, a diferencia de las alternativas que utilizan esta tecnología principalmente para mejorar la escalabilidad de las redes de capa 1.

Al ser independiente del lenguaje de programación/VM, permitirá a cualquier desarrollador, usuario y empresa que aproveche las capacidades de la cadena de bloques MultiversX en sus flujos de trabajo verificar las pruebas de corrección con facilidad, sin confianza y mediante programación.

La medida también coloca al ecosistema MultiversX como un candidato principal para nuevas empresas y empresas que buscan implementar de forma segura casos de uso de alto valor al presentar un conjunto de herramientas de desarrollo accesible para encontrar errores sutiles y fallas lógicas desde la fase de diseño.

El evento xDay ha establecido una nueva superola de crecimiento dentro del espacio Web3, impulsada por asociaciones masivas que conectan AI, Fintech, Gaming y más con la arquitectura blockchain más robusta, escalable y segura del mundo.

Acerca de la verificación en tiempo de ejecución

Runtime Verification ha sido pionera en una metodología de verificación formal para el desarrollo de software durante los últimos 20 años. Se inició en la NASA y gradualmente se ha abierto camino en el espacio blockchain, donde quizás sea más necesario debido a la creciente complejidad que conlleva la componibilidad de los contratos inteligentes y las arquitecturas blockchain.

Acerca de MultiversX

Una red blockchain altamente escalable, segura y descentralizada creada para permitir aplicaciones radicalmente nuevas para los usuarios, las empresas, la sociedad y la nueva frontera del metaverso.