[zapps-wg] ANN: Hangouts presentation on DSL Snarky

Kobi Gurkan kobi at qed-it.com
Mon Apr 9 01:51:33 EDT 2018


Looking forward as well! Is this going to be recorded? I'd love to show it
to other team members who won't be present.

On Sun, Apr 8, 2018, 22:43 Daira Hopwood via zapps-wg
<zapps-wg at lists.z.cash.foundation> wrote:

> On 03/04/18 21:13, Izaak Meckler via zapps-wg wrote:
> > Hi all,
> >
> > Excited to announce we will be giving a google hangouts talk to the
> members of the
> > zapps-wg list on our OCaml DSL snarky for writing SNARKs. An abstract of
> the talk and
> > details about time and “location” follow.
> >
> > *Abstract*: While zk-SNARKs represent one of the most powerful ways to
> deploy verifiable
> > computations, programming directly with is comparable to writing machine
> code by hand, and
> > trusting "SNARK machine code" is a lot like trusting a compiled binary
> without the source
> > code. Over the past few months, O(1) Labs has been developing Snarky, a
> high-level DSL
> > that enables complex applications to be written concisely and correctly.
> In this talk,
> > Izaak will provide an explanation of the programming model and go over
> examples of the
> > developer experience of programming in Snarky.
> > ​
> > *Time*: 4/20, 5PM GMT <
> http://airmail.calendar/2018-04-20%2010:00:00%20PDT> (10AM PST
> > <http://airmail.calendar/2018-04-03%2010:00:00%20PDT>)
>
> Just to clarify, that is 17:00 UTC / 10:00 PDT?
>
> > *Format*: Google Hangout, at this link:
> https://meet.google.com/nyo-ifsa-mqm
>
> Looking forward to it!
>
> --
> Daira Hopwood  ⚧Ⓐ
>



More information about the zapps-wg mailing list