mira是一个去中心化的验证网络，使得人工智能的输出变得可信。