Irreducible is an enterprise-level zero-knowledge proof acceleration platform that builds hardware to improve the efficiency of zero-knowledge proof generation.