OCaml DSL for verifiable computation - View it on GitHub