NockVM を使用して、ゼロ知識証明用にカスタム構築された最初のコンビネーターベースの仮想マシンを構築しています。