That's right, ZisK, the zkVM that aims to be the standard, with @jbaylina at the helm.
689