Le réseau de confidentialité Ethereum Aztec lance une mise à niveau baptisée Tierra, qui corrige une faille critique de la version précédente et intègre la vérification formelle ainsi qu’un framework de test piloté par l’IA.