Esclarecimento sobre SP1 põe a rota de verificação no centro da análise de segurança
A L2BEAT afirma que os verificadores onchain Groth16 e Plonk não foram afetados pelo problema divulgado no Rust nativo. Integradores precisam identificar a rota em que suas aplicações confiam.
A L2BEAT esclareceu na sexta-feira que a vulnerabilidade divulgada do SP1 afetava a verificação nativa em Rust, enquanto a verificação onchain de Groth16 e Plonk por verificadores Solidity não foi afetada. Essa distinção importa mais do que considerar igualmente expostos todos os usos do mesmo sistema de provas.
O aviso original da Succinct, publicado no início deste mês, descreve dados de prova malformados cujas dimensões declaradas divergem do conteúdo armazenado. Informa que a mainnet Prover Network recebeu uma correção e orienta operadores independentes de verificadores nativos afetados a usar a versão corrigida. O aviso está disponível em https://github.com/succinctlabs/sp1/security/advisories/GHSA-p7v2-jjv3-8p8f .
Para uma ponte, rollup ou aplicação que consome provas, a pergunta útil é qual componente toma a decisão final de aceitação. Um serviço de verificação nativa e uma prova encapsulada conferida por um contrato Solidity podem ter exposições diferentes, mesmo dentro do mesmo produto.
As equipes devem identificar o modo de prova, a implementação do verificador e a versão do software antes de tirar conclusões pelo nome de um produto. O esclarecimento da L2BEAT delimita este incidente; não certifica todos os ambientes nem substitui uma revisão específica da integração.