Este es un hito crucial para verificar formalmente a los zk provers, un paso esencial para establecer confianza y verificabilidad en todo el ecosistema ZK.