jiritsuは、無制限の検証可能な計算（uvc）などの技術を開発し、あらゆるワークフローに適用できる簡単にプログラム可能なアプローチを提供し、ワークフローの証明を生成することを目指しています。