Lagrange 正在研究零知识证明技术，例如 DeepProve、ZK Prover Network 和 ZK Coprocessor。