Irreducible 是一家企業級零知識證明加速平台，構建硬體以提高零知識證明生成效率。