通过 NockVM，我们正在构建第一个基于组合子的虚拟机，专为零知识证明定制。