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

[Kobi Gurkan]

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  ⚧Ⓐ
>