Cuckoo Cycle verification

It fails to test that the 42 edge indices are listed in increasing order in the proof.
This mean that a single 42-cycle has 42! (42 factorial) different proofs,
and satisfying the difficulty target is a matter of trying all permutations.

Nenhum arquivo ou teste é especificado; comece localizando o ponto de entrada da verificação das provas do Rust Cuckoo Cycle e seus testes existentes. Reproduza o comportamento da verificação com índices de arestas permutados e considere a issue concluída quando provas não ordenadas forem rejeitadas, enquanto provas ordenadas corretamente continuarem passando.

Escrita pelo modelo de indexação a partir do texto da issue.