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

2018-03-24 Thread Lucas Vogelsang via zapps-wg
I've put some thoughts into possible use cases, here are some that we have been thinking about in the context of decentralized business applications. Some of these concepts are things we are actually working on, others just ideas - blind auctions (including double dutch auctions) - page-rank style

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

2018-03-24 Thread Andrew Miller via zapps-wg
That's awesome Lucas, thanks for this input, these are pretty cool application scenarios. They're all quite relevant to a standards effort because they seem to involve interfacing between zkSNARKs and other standardized primitives (password hash functions, anonymous credentials, extensions to ZSL).

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

2018-03-24 Thread Andrew Miller via zapps-wg
Lucas's post reminded me of something I wanted to post about: If there's one thing I'd like to take up the torch for and advocate as a standard, it's to use a conventional pseudocode for describing snark application ideas. What I have in mind is Camenisch-Stadler proof notation. It looks like this: