Succinct SP1 descobre vulnerabilidade de alta gravidade, a mainnet pode aceitar provas inválidas

O sistema de prova de conhecimento nulo SP1 da Succinct revelou uma vulnerabilidade de confiabilidade de alta gravidade. A vulnerabilidade foi divulgada em 11 de outubro através do anúncio do GitHub GHSA-p7v2-jjv3-8p8f, afetando as versões 6.0.0 a 6.8.0 do validador nativo Rust do SP1, o que pode permitir que a Prover Network da mainnet aceite provas inválidas. Provedores maliciosos podem submeter provas de execução inválidas, e o validador da rede ainda as aceitará. A causa da vulnerabilidade é que o validador apenas lê os rótulos dos dados, sem verificar se o número real de elementos armazenados é igual ao produto das dimensões, permitindo que um atacante falsifique rótulos para que provas inválidas sejam aceitas. As provas Groth16 e Plonk, que utilizam a prova de forma fixa, não são afetadas, e o verificador Solidity na blockchain também é seguro. A Succinct lançou a versão corrigida 6.8.1 em 24 de setembro, que já foi implantada na mainnet; esta versão adicionou uma verificação de comprimento de desserialização. A vulnerabilidade foi descoberta por Vitalis Salis e reportada através do programa de recompensas de vulnerabilidades da Immunefi. Usuários que executam o validador nativo Rust e aceitam provedores não confiáveis devem atualizar para a versão 6.8.1.

Este conteúdo é fornecido apenas para fins informativos gerais e não constitui aconselhamento financeiro, de investimento, jurídico ou tributário. Quaisquer eventos, recompensas, promoções online ou informações relacionadas mencionadas neste documento não devem ser consideradas uma recomendação, solicitação ou convite para comprar, vender, negociar ou realizar qualquer outra transação com criptoativos. Criptoativos são altamente voláteis e podem resultar em perdas. A disponibilidade dos serviços, produtos e eventos relacionados da WEEX pode variar conforme a região. É de sua responsabilidade garantir que sua participação esteja em conformidade com as leis e regulamentações locais aplicáveis.