New simple crypto instructions

Clarification and motivation

They added SHA3 and KECCAK instructions.

Acceptance criteria

• These instructions are supported in Michelson and Lorentz, similarly to e.g. blake2b.