Com o NockVM, estamos a construir a primeira Máquina Virtual baseada em combinadores, feita sob medida para provas de Zero-Knowledge.