Polygon Labs und Irreducible kooperieren bei der Entwicklung einer hochmodernen zkVM auf Binius-Basis