Mit NockVM entwickeln wir die erste kombinatorbasierte virtuelle Maschine, die speziell für Zero-Knowledge-Proofs entwickelt wurde.