Irreducible

Irreducible 正在研发硬件友好的证明系统 Binius 以及相应的硬件加速方案。