Z NockVM budujemy pierwszą wirtualną maszynę opartą na kombinatorach, stworzoną specjalnie do dowodzenia w zerowej wiedzy.