[zapps-wg] ANN: Snarky (OCaml DSL for writing SNARKs)

[Izaak Meckler]

Hi all,

Wanted to announce the initial release of a new high-level language called
Snarky <https://github.com/o1-labs/snarky> for writing verifiable
computations. Computations are compiled down into rank 1 constraint systems
and then passed off to a SNARK construction. It’s implemented as an OCaml
embedded DSL and is parametrized over the SNARK construction (right now
only libsnark backends are provided with the library but users can add
their own).

The code is on GitHub <https://github.com/o1-labs/snarky> (example file here
<https://github.com/o1-labs/snarky/blob/master/examples/election/election_main.ml>)
and there is a blog post <https://o1labs.org/blog/posts/snarky.html>
explaining the design at a high-level. Please don’t hesitate to get in
touch if you have any comments!

Izaak