Med NockVM bygger vi den första kombinatorbaserade virtuella maskinen som är specialbyggd för Zero-Knowledge-provning.