Verona (anteriormente XION) é a camada de inteligência para IA, verificando fatos em sua fonte usando provas de conhecimento zero e armazenando-os em uma rede descentralizada. Ela permite que fatos comprováveis sejam reutilizados entre agentes e serviços sem expor ou mover dados, e já está gerando receita.