matter-labs / awesome-zero-knowledge-proofs Goto Github PK
View Code? Open in Web Editor NEWA curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
License: Other
A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).
License: Other
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
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,
I found this implementation that achieves a huge speed up compared to both libsecp and monero. So the table should be updated.
Thank you
maybe protect against liability?
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
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:
STARKS:
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)
Hi, it would be great if you could add some information about the (very recent) Halo technique as well. Thanks!
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.
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
Added here + Podcast
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.