CVE-2021-38194

**Nome do software vulnerável e versões afetadas:

ark-r1cs-std, versões 0.2.0 a 0.3.0

Descrição:

Foi descoberta uma falha no crate ark-r1cs-std para Rust, na qual não são aplicadas restrições no método FieldVar::mul by inverse. Isso permite que um provador mal-intencionado produza uma prova inválida que seja aprovada em todas as verificações do verificador. O método era usado principalmente na multiplicação escalar para short weierstrass::ProjectiveVar.

Recomendações:

Para as versões 0.2.0 a 0.3.0, atualize para a versão 0.3.1 ou posterior para resolver o problema. Como solução temporária, considere desativar o método FieldVar::mul by inverse até que um patch esteja disponível.