TACEO是一家科技公司,正在开发支持加密数据协同计算的网络与工具。它结合了多方计算(MPC)和零知识证明,称为coSNARKs,能够让多个参与方在不暴露输入数据的前提下进行计算,并生成可验证的证明。其核心产品包括用于在MPC环境中运行Circom和Noir电路的开发者工具(coCircom、coNoir),以及一个专用的证明委托网络(TACEO:Proof),该网络将Groth16证明生成任务卸载至多节点的MPC子网。其目标是在保持可验证性和兼容现有ZK系统的前提下,实现对来自不同来源数据的隐私保护计算。TACEO已发布相关文档,并对其工具和协议采取开源方式维护。