feat: add short-hash wrappers for recursion

[ivokub]

Description

This PR adds hash function wrappers which allow to hash elements in the current field and return an output in the target field. If necessary, we cut the excess bits. We add both native and in-circuit implementation so that we can compute recursive proofs and verify in-circuit.

Related #848. I think this PR is sufficient for recursion purporses.

Subtask of #847 and related to PR #880 (cherry picked from).

Type of change

• New feature (non-breaking change which adds functionality)

How has this been tested?

• Added unit tests for all supported curves

How has this been benchmarked?

Not benchmarked.

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules