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