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