estive a pensar em como a mira e a cysic ai abordam a verificabilidade de forma diferente a mira utiliza um modelo multi-ai para verificar factos entre si antes de enviar a saída (mais parecido com uma revisão por pares) a cysic ai utiliza um modelo multi-proof através da combinação de TEE e provas ZK para verificar as ações da ai não estou a dizer que um é melhor que o outro, apenas acho que estão desenhados para casos de uso diferentes enquanto a mira pode ser utilizada para pesquisa e análise, a cysic ai irá destacar-se na economia agentiva só estou a pensar em voz alta, a propósito, diz-me o que achas?