Adding Keccak256 and SHA-3 to protocol (!137) · Merge requests · Metastate / tezos

This MR adds the following hash functions from HACL* to Raw_hashes in the protocol environment:

val keccak256 : bytes -> bytes
val sha3_256 : bytes -> bytes
val sha3_512 : bytes -> bytes

Edited May 28, 2020 by Victor Dumitrescu

Adding Keccak256 and SHA-3 to protocol