Irreducible (previously Ulvetanna) is a company that provides fast and cost-effective computation of zero-knowledge succinct proofs. They operate FPGA clusters tailored for cryptographic computation at scale, supporting blockchain protocols.