TACEO Nedir?

TACEO, şifrelenmiş veriler üzerinde işbirlikçi hesaplama yapılmasını sağlayan bir ağ ve araçlar geliştiren bir teknoloji şirketidir. Birden fazla tarafın girdileri ortaya çıkarmadan veriler üzerinde hesaplama yapabilmesini ve yine de doğrulanabilir ispatlar üretebilmesini sağlamak için, multiparty computation (MPC) ile zero‑knowledge proofs kombinasyonunu, coSNARKs adıyla uygular. Başlıca sundukları arasında, MPC ortamlarında Circom ve Noir devrelerini çalıştırmaya yönelik geliştirici araçları (coCircom, coNoir) ve Groth16 ispat üretimini çok düğümlü bir MPC alt ağına devreden özel bir proof delegation ağı (TACEO:Proof) yer alır. Amaç, farklı kaynaklardan gelen veriler üzerinde, mevcut ZK sistemleriyle uyumluluğu ve doğrulanabilirliği korurken, gizlilik korumalı hesaplama yapılmasını mümkün kılmaktır. TACEO, dokümantasyon yayımlamış olup araçları ve protokollerine açık kaynaklı bir yaklaşım sürdürmektedir.