La red de privacidad de Ethereum Aztec lanzó una actualización llamada Tierra que corrige una vulnerabilidad crítica de la versión anterior e incorpora verificación formal y un marco de pruebas impulsado por IA.