Add new builtin hashing function ripemd_160

[paluh]

Kenneth created a comprehensive ticket for that addition: #6155

Pre-submit checklist:

• Branch
  • Tests are provided (if possible)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
  • Changelog fragments have been written (if appropriate)
  • Relevant tickets are mentioned in commit messages
  • Formatting, PNG optimization, etc. are updated
• PR
  • (For external contributions) Corresponding issue exists and is linked in the description
  • Targeting master unless this is a cherry-pick backport
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested

[paluh]

This is preliminary work which exposes RIPEMD-160 hashing primitive as a new bulitin.

• I closely followed changes which were made during introduction of keccak_256 and blake2b_224 functions.
• The current version of the PR depends on a branch of cardano-base which exposes this primitive hence the changes in cabal.project
• This draft contains an artificial costing model for the new builtin - I copied keccak_256 related values to be able to test the function.

[Unisay]

JFYI: I advocate for not using golden file machinery for programs that are expected to evaluate to a simple value like boolean True and instead verify expected result directly in the test code.

[paluh]

I'm happy to refactor this out if that is the way to go. Could you please point me to a place where I should put such a test case?

[kwxm]

JFYI: I advocate for not using golden file machinery for programs that are expected to evaluate to a simple value like boolean True and instead verify expected result directly in the test code.

I don't think that necessarily applies here. This is in the conformance tests and by design all of those are golden tests whose input and output are textual UPLC so that they can be run by other evaluators, in particular by the Agda evaluator in plutus-metatheory.

[paluh]

I'm closing this in favor of: #6252 because of administrative issues (repo permissions).