Irreducible provides fast and cost-effective computation of zero-knowledge succinct proofs.
We operate FPGA clusters tailor-made for cryptographic computation at scale, purpose-built to support blockchain protocols.
Zero-knowledge REvolution
Prover
Irreducible offers easy-to-use proving as a service, built for scale and powered by our FPGA-accelerated server clusters.
Irreducible operates our own bare-metal infrastructure, which allows us to create customized network topologies and adopt the latest and greatest in high-performance hardware before it becomes available through public cloud providers. Our infrastructure runs on climate-friendly energy sources and our datacenter partners guarantee low-cost and reliable operation.
Today we support popular proof systems such as plonky2 and Polygon zkEVM, and in the future will support next-generation systems like Binius and plonky3.
Binius
Binius: a binary proof system designed for high performance
Based on a unique mathematical primitive called a binary field tower, Binius lends itself to highly optimized custom hardware implementation without sacrificing performance on standard CPU architectures.
The Binius software stack is developed in Rust and open-source under the Apache 2.0 license.