Tezos binding for Hacl*
https://github.com/mitls/hacl-star/tree/master/snapshots/tezos