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

[Izaak Meckler]

Thanks all for attending today, and thanks again to Josh for organizing! It
was a pleasure. Wanted to follow up with some pointers:
- Snarky on Github <https://github.com/o1-labs/snarky>
- A blog post <https://o1labs.org/blog/posts/snarky.html> on Snarky,
and a video
version <https://www.youtube.com/watch?v=gYn6mTwJriw> of that post

Also, O(1) Labs is hiring! You can check out our postings here
<https://o1labs.org/jobs.html> for both designers and engineers/researchers.

On Mon, Apr 9, 2018 at 9:33 AM, Josh Cincinnati <josh at z.cash.foundation>
wrote:

> Hi Izaak/Kobi, I'd be happy to record it via the Zcash Foundation's Google
> Hangouts Meet setup; should be as simple as flipping a switch, and then I
> can post it to YouTube afterward.
>
> On Mon, Apr 9, 2018 at 12:30 PM, Izaak Meckler via zapps-wg <
> zapps-wg at lists.z.cash.foundation> wrote:
>
>> @Daira — yes, thank you for the correction! It is as you said 17:00 UTC
>> / 10:00 PDT. And @Kobi, I’ll see what we can do about recording, shouldn’t
>> be too much trouble.
>>
>> On April 8, 2018 at 10:51:44 PM, Kobi Gurkan (kobi at qed-it.com) wrote:
>>
>> 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-if
>>> sa-mqm
>>>
>>> Looking forward to it!
>>>
>>> --
>>> Daira Hopwood  ⚧Ⓐ
>>>
>>
>