Irreducible and Polygon Labs are building a production-grade, Binius-based ZK virtual machine for the AggLayer. The product of a research effort driven by Irreducible, Binius achieves computational efficiency by applying the properties of binary fields to the problem of verifiable computing. 

Irreducible joins Succinct Labs, Gateway FM, Espresso Systems, Near, and Union contributing to the development of the AggLayer, an interoperability protocol that provides cryptographic safety for the deep pool of assets shared among connected chains. 

Providing fast, safe interoperability to EVM and non-EVM chains is only practical with ZK, and Polygon Labs remains committed to the benefits of collaboration.  

What are we building? And when? 

The collaboration will bring Polygon Labs’ engineering expertise in designing ZK-powered Layer 2s, like Polygon zkEVM and Polygon CDK, with Irreducible’s mathematical expertise as the team behind Binius. And there are potentially additional efficiencies for the existing ZK rollup stack: Irreducible’s FPGA cluster modules accelerated proof generation time for Polygon zkEVM.

Exactly where a Binius-based zkVM might be used for the AggLayer remains undetermined; building it will guide the exact application. But the explosion of zkVMs and zkEVMs over the past two years are proof that there is no single zkVM or zkEVM that fits every blockchain use-case. 

There may one day be a default standard zkVM or zkEVM and the only way to find out is by collaborating—it’s not an either-or proposition, it’s both. Positive-sum games with open-source tech are always good and never linear. This zkVM is expected to be ready for testing at the end of 2024.

***

Tune into the blog and our social channels to keep up with updates about the collaboration between Irreducible and Polygon Labs.

The future of Web3 is aggregated.

Website | Twitter | Forum | Telegram | Discord | Instagram | LinkedIn | Polygon Knowledge Layer