Med NockVM bygger vi den første kombinatorbaserte virtuelle maskinen som er spesialbygd for Zero-Knowledge-bevis.