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   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. xDay   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.

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

Scale across the Multiverse. Build new apps, new economies, new worlds.

Este audio es producido en el idioma original de la historia!

Runtime Verification lanza Universal ZK Rollup en MultiversX

About Author

COMENTARIOS

ETIQUETAS

ESTE ARTÍCULO FUE PRESENTADO EN

Related Stories

El modelo Bitcoin UTXO, impulsando un ecosistema único

Aumente su productividad con estas 18 herramientas para desarrolladores 🚀🔥

Crecimiento de las criptomonedas: creación de perfiles de usuarios eficaces

Telegram: el puente de Crypto Island hacia el continente

El modelo Bitcoin UTXO, impulsando un ecosistema único

Aumente su productividad con estas 18 herramientas para desarrolladores 🚀🔥

Crecimiento de las criptomonedas: creación de perfiles de usuarios eficaces

Telegram: el puente de Crypto Island hacia el continente

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps