Irreducible is building Binius, a hardware-friendly ZK proof system, and its hardware acceleration solutions.
