Modulus 正在构建具有零知识证明的无需信任的人工智能，以使该技术更便宜且更容易用于加密协议。