深度机器人进行了一次救援演习，使用了自主机器人狗。 这些机器将在每一个决策都至关重要的情况下行动。 加密证明确保它们的行为是可验证的，即使在连接受限的情况下。