Make Hyrax hiding again

[Antonio95]

Description

As discussed, I have reverted back to its original definition by removing the evaluation-commitment randomness from the proof and ignoring the claimed-value argument in check. Tests pass.

---

Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.

• Targeted PR against correct branch (master)
• Linked to Github issue with discussion and accepted design OR have an explanation in the PR that describes this work.
• Wrote unit tests
• Updated relevant documentation in the code
• Added a relevant changelog entry to the Pending section in CHANGELOG.md
• Re-reviewed Files changed in the Github PR explorer

[mmagician]

Shouldn't the input to check be changed to:
_values: impl IntoIterator<Item = G::ScalarField>, since now the value is ignored?

[Antonio95]

Shouldn't the input to check be changed to: _values: impl IntoIterator<Item = G::ScalarField>, since now the value is ignored?

Indeed, I've fixed it now. No warning was produced before because I was still zipping it - which was not needed. Thank you, good catch.

[mmagician]

LGTM