Primeira exploração do circuito ZK, e é de, checa as notas, não roda a configuração. Vale notar, não é o exploit do primeiro ZK. Essa foi uma moeda que tirou o código do meu estudante de pós-graduação do GitHub, com direito ao readme que diz para não usar em produção, que é bugado, e isso foi explorado em produção.