This is really cool, thank you for posting here!! I love the overloading
and monadic approach to EDSL in ocaml. It's very much in the style of
Snarklib (and of Viff in the MPC world rather than zksnark world).

On Mon, Mar 12, 2018 at 1:31 PM, Izaak Meckler via zapps-wg <> wrote:

> Hi all,
> Wanted to announce the initial release of a new high-level language called
> 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 <> (example file
> here
> <>)
> and there is a blog post <>
> explaining the design at a high-level. Please don’t hesitate to get in
> touch if you have any comments!
> Izaak

Andrew Miller
University of Illinois at Urbana-Champaign

Reply via email to