Irreducible 是一家企业级零知识证明加速平台，构建硬件以提高零知识证明生成效率。