Что такое TACEO?

TACEO - это технологическая компания, которая разрабатывает сеть и инструменты для совместных вычислений над зашифрованными данными. Она использует сочетание многопартийных вычислений (MPC) и доказательств с нулевым разглашением (zero‑knowledge proofs), известное как coSNARKs, чтобы несколько участников могли совместно обрабатывать данные без раскрытия входов и при этом получать проверяемые доказательства. Основные продукты включают средства разработки для выполнения Circom и Noir циркуитов в среде MPC (coCircom, coNoir) и специализированную сеть TACEO:Proof для делегирования генерации Groth16‑доказательств с распределённой MPC подсетью. Цель — обеспечить конфиденциальность вычислений над данными из разных источников, сохраняя проверяемость и совместимость с существующими ZK‑системами. Документация доступна, а инструменты распространяются открыто.