¿Qué es TACEO?

TACEO es una empresa tecnológica que desarrolla una red y herramientas que permiten la computación colaborativa sobre datos cifrados. Implementa una combinación de multiparty computation (MPC) y zero‑knowledge proofs, conocida como coSNARKs, para permitir que múltiples partes procesen datos sin exponer la entrada y, aun así, produzcan pruebas verificables. Sus principales productos incluyen herramientas para desarrolladores que permiten ejecutar circuitos de Circom y Noir en entornos MPC (coCircom, coNoir) y una red dedicada de delegación de pruebas (TACEO:Proof) que externaliza la generación de pruebas Groth16 a un subentorno MPC con múltiples nodos. El objetivo es permitir la computación con protección de privacidad sobre datos de diferentes fuentes, preservando la verificabilidad y la compatibilidad con los sistemas ZK existentes. TACEO ha publicado documentación y mantiene un enfoque de código abierto para sus herramientas y protocolos.