Así es ZisK, la zkVM que quiere ser estándar, con @jbaylina al frente
547