With backing from Archetype, a16z CSX, cyber•Fund, a_capital, and polymorphic, TACEO is bringing verifiable encrypted compute to the masses.