我一直在思考mira和cysic ai在可验证性方面的不同方法。 mira使用多人工智能模型相互核实，然后再输出结果（更像是同行评审）。 cysic ai则通过TEE和ZK证明的组合使用多重证明模型来验证人工智能的行为。 并不是说一个比另一个更好，只是觉得它们是为不同的用例设计的。 虽然mira可以用于研究和分析，但cysic ai将在代理经济中表现出色。 顺便说一下，我只是随便想想，你觉得怎么样？