Os desenvolvedores do Zcash estão perto de finalizar uma prova matemática para garantir que a nova versão de seu pool de privacidade esteja livre de vulnerabilidades de falsificação indetectável. Esse avanço utiliza a verificação formal assistida por IA, o que reduziu significativamente o prazo de verificação de anos para um período muito mais curto. O desenvolvimento representa um passo crucial para aprimorar a segurança e a confiabilidade dos recursos de privacidade do Zcash.