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

2018-04-09 Thread Izaak Meckler via zapps-wg
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...@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 gi

Re: [zapps-wg] Zkproofs.org standards workshop

2018-03-26 Thread Izaak Meckler via zapps-wg
One application that I like: sending ads with a proof proving they were generated by some algorithm that is known not to have access to personal data. And I like that notation Andrew -- there is a sort of extension to it (which is basically the idea of snarky) which involves not having to declare

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

2018-04-03 Thread Izaak Meckler via zapps-wg
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