Jiritsu 开发了无限可验证计算（UVC）等技术，旨在提供一种易于编程的方法，可以应用于任何工作流程并生成工作流程证明，集成 L1、L2 和中间件的任意组合。