Irreducible is Shutting Down

We've made the difficult decision to shut down Irreducible.

Three and a half years ago, we set out to bring truth and privacy to the Internet with faster cryptographic proving. Along the way, we designed novel hardware architectures for cryptographic computing, published research into binary tower fields, and developed the open-source Binius proof system based on this research. We're proud of the work we did and the ideas we contributed to the ecosystem.

As part of winding down, we're relicensing Binius64 under a dual MIT + Apache 2.0 license. We want the research and code we developed to remain accessible and useful to the community, free from restrictions.

We're deeply grateful to everyone who supported this journey: Paradigm, Bain Capital Crypto, Jump Crypto, Fenbushi Capital, L2 Iterative Ventures, Robot Ventures, and our angel investors. Thank you for believing in our mission and backing us through the challenges.