03
Widespread use
OCaml is a popular functional programming language, which allows
formal verification of individual parts of the protocol. This is an advantage of using
OCaml in open source software, because in such systems there are often vulnerabilities
that are added by ecosystem participants accidentally or intentionally