To jest ZisK, zkVM, który chce być standardem, z @jbaylina na czele
551