GitHub repository: spector-in-london/snarky
Description: OCaml DSL for verifiable computation