TACEO 是什么？

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