Hey,

Trying to get to grips with zero-knowledge proofs. They seem to be useful for verifying that a user knows a value but can they be used to verify the contents of a cipher text?

What I'm looking for ultimately is some function f which is able to inspect a cipher text and verify that it encrypts a particular plain text x.

Hash(x) = f(Encrypt(x))

More details about my question here

Sorry if this question is not welcome here. I have been struggling with this question for a while and if anybody might have a definitive answer, thought it might be an author of this repo.

Thanks

Maybe this tutorial is useful?

It uses ZoKrates ( which uses libsnarks) in a docker container with a small Flask api to create proofs/verify via REST API

https://medium.com/@david.richard.holtz/zero-knowledge-proof-application-demo-2a457cfc73c1

This rollup tutorial is outdated the last update 3 years ago.

It is strongly recommended to review this tutorial and replace it.

I think the best tutorial is the rollup by Barry whiteHat, and the complete code for zksync v1, I think someone will be interested in doing a minimal implement.

The comparison chart between SNARK / STARK / Bullet suggests that SNARK's require a trusted setup, but this is no longer true with proving systems like Halo. This is the paper: https://eprint.iacr.org/2019/1021.pdf

Hi,
I found this implementation that achieves a huge speed up compared to both libsecp and monero. So the table should be updated.
Thank you

Added here + Podcast

It is estimated to be ~2.5M. How is this number calculated, without an implementation? 587048a

Has it been reduced significantly since 2018? What's the latest estimation?

Hi, it would be great if you could add some information about the (very recent) Halo technique as well. Thanks!

Hi,

I made a graph representation of how intermediate and proving systems are interconnected, it's not the best but it's a good starting point.

See: https://harryr.github.io/zklangs/ and https://github.com/HarryR/zklangs

It uses Graphviz to layout the graph.
Then it converts it to SVG. This lets you put links into the graph, using the href and target attributes.

See: https://github.com/HarryR/zklangs/blob/master/hll-graph.dot

I add the following attributes to a node in the .dot file to make it a link to an id reference on the same page.

, href="./#jsnark", target="_top"

Then I embed the generated .svg file into the markdown using:

<object width="100%" data="hll-graph.svg" type="image/svg+xml"></object>

Note, you have to use the <object... syntax, otherwise the links don't work.

It would be really awesome to have a graph style visualisation for some things on zkp.science, to show how they're interconnected. But it's also a pain to maintain the .dot file especially if you have multiple views of it (like, having a table of data, and a graph of some facet of the data)

I might be blind and not seeing where these are referenced, but general purpose ZKP libraries would be a great addition to this list. I am just starting to learn, and a few (rust ones) I am looking into:

zkSNARKs:

• https://github.com/arkworks-rs/
  • Tutorial to get stated: https://github.com/arkworks-rs/r1cs-tutorial

STARKS:

• https://github.com/novifinancial/winterfell
  • Announcement https://engineering.fb.com/2021/08/04/open-source/winterfell/

maybe protect against liability?