GitHub repository: kunxian-xia/snarky
Description: OCaml DSL for verifiable computation