Este é o ZisK, o zkVM que quer ser padrão, com @jbaylina na vanguarda
523