Irreducible
Zero-knowledge proof acceleration and Binius proof system developer
Performances
RD Popularity Index
RD Growth Index
Comparison
Follow Updates
Follow Lists
People
About Irreducible
Irreducible is a company focused on accelerating zero-knowledge proof (ZKP) systems, primarily through its proprietary Binius proof system. Binius is a state-of-the-art ZKP framework that natively operates on binary fields, enabling order-of-magnitude speedups over conventional systems, especially on standard CPUs and mobile devices. The core business revolves around providing high-performance, hardware-optimized proof generation services, targeting applications such as verifiable computation, on-chain privacy, and scalable blockchain infrastructure. The main market pain point Irreducible addresses is the high computational cost and latency traditionally associated with ZKP generation, which has limited its adoption in real-world, resource-constrained environments. By making proofs faster and more efficient, Irreducible enables practical deployment of verifiable computing and privacy-preserving solutions. Regarding recent developments in the past six months (February to August 2026), no reliable public information is available at this time.
Founded in 2022, Irreducible initially focused on FPGA-based acceleration for zero-knowledge proofs. In 2023, it released Binius, a proof system built on binary fields, significantly improving proving efficiency. In 2024, the company pivoted to a software-first strategy with Binius64, offering a permissively licensed verifier and an AGPL-licensed prover. In 2025, it raised $24 million in Series A funding, co-led by Paradigm and Bain Capital Crypto, to advance Ethereum's SNARKification roadmap and enable local proving on commodity hardware.
Jim Posen (Co-Founder & CTO, LinkedIn: https://www.linkedin.com/in/jimpo/, Twitter: https://x.com/jimpo_potamus)
Jad Nohra (Engineering Director, LinkedIn: https://www.linkedin.com/in/jadnohra/, Twitter: https://x.com/jadnohra)