Verificação de tempo de execução lança rollup universal ZK no MultiversX

A empresa de auditoria de segurança Runtime Verification, com sede em Illinois, que aplica métodos de verificação formais pioneiros na NASA para melhorar a segurança, confiabilidade e correção dos sistemas de computação, está lançando o PI Squared, um ZK Rollup universal usando o blockchain MultiversX como camada de consenso.

Revelado na estreia durante o terceiro dia da conferência xDay organizada pela MultiversX, o PI Squared vai reduzir a verificação de afirmações computacionais à verificação de provas matemáticas. Isso será feito por meio de um verificador de prova universal, implementado como um circuito ZK personalizado (paralelo).

Com o crescimento exponencial do espaço blockchain, houve um aumento de hacks e explorações de contratos inteligentes, criando a necessidade de melhores padrões de segurança. Portanto, a solução baseada em rollup ZK do Runtime Verification se destaca como uma ferramenta crítica na eliminação desses problemas que dificultam a adoção, ao contrário das alternativas que utilizam esta tecnologia principalmente para melhorar a escalabilidade das redes da camada 1.

Sendo independente de linguagem de programação/VM, ele permitirá que qualquer desenvolvedor, usuário e empresa que aproveite os recursos do blockchain MultiversX em seus fluxos de trabalho verifique provas de correção com facilidade, de forma confiável e programática.

A mudança também coloca o ecossistema MultiversX como o principal candidato para startups e empresas que buscam implantar com segurança casos de uso de alto valor, trazendo um kit de ferramentas de desenvolvimento acessível para encontrar bugs sutis e falhas lógicas desde a fase de design.

O evento xDay estabeleceu uma nova superonda de crescimento no espaço Web3, alimentado por parcerias massivas que conectam IA, Fintech, jogos e muito mais com a arquitetura blockchain mais robusta, escalável e segura do mundo.

Sobre a verificação de tempo de execução

A Runtime Verification foi pioneira em uma metodologia de verificação formal para desenvolvimento de software nos últimos 20 anos. Foi iniciado na NASA e gradualmente chegou ao espaço blockchain, onde talvez seja mais necessário devido à complexidade crescente que vem com a composição de contratos inteligentes e arquiteturas blockchain.

Sobre MultiversX

Uma rede blockchain altamente escalável, segura e descentralizada criada para permitir aplicações radicalmente novas, para usuários, empresas, sociedade e a nova fronteira do metaverso.