/snarky

OCaml DSL for verifiable computation

Primary LanguageHTMLMIT LicenseMIT

Watchers