Irreducible 

Irreducible provides fast and cost-effective computation of zero-knowledge succinct proofs. Irreducible operates our own bare-metal infrastructure, which allows us to create customized network topologies and adopt the latest and greatest in high-performance hardware before it becomes available through public cloud providers.