The Polygon Labs team announced via X on Tuesday that it has partnered with Irreducible to build production-grade zkVM based on Binius.