stavo pensando a come mira e cysic ai affrontano la verificabilità in modo diverso mira utilizza un modello multi-ai per controllarsi a vicenda prima di inviare l'output (più simile a una revisione tra pari) cysic ai utilizza un modello multi-proof tramite la combinazione di TEE e prove ZK per verificare le azioni dell'AI non sto dicendo che uno sia migliore dell'altro, penso solo che siano progettati per casi d'uso diversi mentre mira può essere utilizzato per ricerca e analisi, cysic ai eccellerà nell'economia agentica sto solo pensando ad alta voce, tra l'altro, dimmi cosa ne pensi?