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
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).
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: