S NockVM budujeme první virtuální stroj založený na kombinátoru, který je postaven na míru pro dokazování Zero-Knowledge.