Runtime Verification, uma empresa de auditoria de segurança com sede em Illinois, revelou um rollup universal de conhecimento zero (ZK) ‘PI Squared’ durante o terceiro dia da conferência xDay organizada pela MultiversX. PI Squared aproveita o blockchain MultiversX como sua camada de consenso.
O PI Squared foi projetado para revolucionar a forma como as afirmações computacionais são verificadas, mudando o foco dos métodos tradicionais para provas matemáticas. Isso será facilitado por meio de um verificador de prova universal, implementado como um circuito ZK paralelo personalizado, de acordo com um comunicado de imprensa compartilhado com CriptoSlate.
Um rollup ZK é uma solução de escalonamento de blockchain que agrupa e verifica múltiplas transações fora da cadeia usando provas criptográficas para melhorar a eficiência e reduzir custos no blockchain principal.
A Verificação em Tempo de Execução é conhecida por aplicar métodos de verificação formal desenvolvidos pela NASA para aumentar a segurança e a confiabilidade dos sistemas de computação. A Runtime Verification agora está trazendo sua experiência para o espaço blockchain, onde a complexidade da composição de contratos inteligentes e da arquitetura blockchain exige medidas de segurança rigorosas.
Com a rápida expansão do espaço blockchain, houve um aumento correspondente em incidentes de hackers e explorações de contratos inteligentes. Isto ressaltou a necessidade de padrões de segurança mais elevados. A solução baseada em rollup ZK do Runtime Verification visa resolver esses problemas, pois vai além de apenas melhorar a escalabilidade das redes da Camada 1.
De acordo com o Runtime Verification, o PI Squared é uma linguagem de programação e uma máquina virtual (VM) independente. Isso o torna acessível para desenvolvedores, usuários e empresas que utilizam o blockchain MultiversX em seus fluxos de trabalho. O PI Squared permitirá que eles verifiquem de maneira fácil, confiável e programática a exatidão das provas, alegando fornecer um ecossistema de blockchain mais seguro e confiável.
Ao fornecer um kit de ferramentas de desenvolvimento que pode detectar bugs sutis e falhas lógicas desde a fase de design, o MultiversX pretende se tornar uma plataforma atraente para empresas que buscam garantir a integridade de seus projetos baseados em blockchain.
A postagem Verificação em tempo de execução lança PI Squared de ZK universal no MultiversX apareceu pela primeira vez no CryptoSlate.
source – cryptoslate.com
