I just wrote an article about: how to implement a #cryptographic protocol with #OCaml for #MirageOS, it's available here: https://blog.osau.re/articles/spoke.html 😀 Enjoy it!