1ª exploração de circuito zk, e é de, verifica as notas, não executar a configuração. Nota, não é a 1ª exploração zk. Essa foi uma moeda que pegou o código do meu estudante de pós-graduação do GitHub, completo com um readme que diz para não usar em produção, é bugado, e foi explorado em produção.