Jiritsu 成立于 2020 年，开发了无限可验证计算（UVC）等技术，旨在提供一种易于编程的方法，可应用于任何工作流程并生成工作流程证明。