Jiritsu 開發了無限可驗證計算（UVC）等技術，旨在提供一種易於編程的方法，可以應用於任何工作流程並生成工作流程證明，集成 L1、L2 和中間件的任意組合。