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

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...@lists.z.cash.foundation> wrote: > >

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

x27;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 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 th

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

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

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

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: Snarky (OCaml DSL for writing SNARKs)

Hi all, Wanted to announce the initial release of a new high-level language called Snarky for writing verifiable computations. Computations are compiled down into rank 1 constraint systems and then passed off to a SNARK construction. It’s implemented as an OCaml