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

Daira Hopwood daira at z.cash
Sun Apr 8 15:43:15 EDT 2018


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