Tezos binding for Hacl*