Estive pensando em como o MIRA e o Cysic AI abordam a verificabilidade de maneira diferente O Mira usa um modelo multi-IA para verificar os fatos uns dos outros antes de enviar a saída (mais como uma revisão por pares) cysic ai usa um modelo multi-prova por meio da combinação de provas TEE e ZK para verificar as ações de IA não estou dizendo que um é melhor que o outro, apenas acho que eles são projetados para diferentes casos de uso Enquanto o Mira pode ser usado para pesquisa e análise, o Cysic AI se destacará na economia agêntica apenas pensando em voz alta, btw, me diga wyt?