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

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 áudio é produzido no idioma original da história!

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

About Author

COMENTARIOS

Rótulos

ESTE ARTIGO FOI APRESENTADO EM

Related Stories

Modelo Bitcoin UTXO, alimentando um ecossistema único

Crescimento de Criptomoedas: Criando Personas de Usuários Eficazes

Quer ganhar um concurso de redação do HackerNoon? Aqui está o que os vencedores do concurso #crypto-api recomendam

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Modelo Bitcoin UTXO, alimentando um ecossistema único

Crescimento de Criptomoedas: Criando Personas de Usuários Eficazes

Quer ganhar um concurso de redação do HackerNoon? Aqui está o que os vencedores do concurso #crypto-api recomendam

Vazamento do prompt do sistema Claude Sonnet 3.5: uma análise forense

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps