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.

Không có tệp hay bài kiểm thử nào được nêu tên; hãy bắt đầu bằng cách xác định entry point xác minh proof của Rust Cuckoo Cycle và các bài kiểm thử hiện có của nó. Tái hiện hành vi xác minh với các chỉ số cạnh đã được hoán vị, sau đó coi issue là hoàn tất khi các proof chưa được sắp xếp bị từ chối, còn các proof được sắp xếp đúng thứ tự vẫn vượt qua.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.