What is a zero-knowledge proof?

Zero-knowledge proving systems

Implementations of proving systems

Generating structured reference strings

Some proving systems require a structured reference string (SRS). The following works discuss secure SRS generation.

Low-level libraries/languages for writing circuits

General-purpose compilers from high-level languages

Example circuits

Circuit optimization

Standardization efforts

So are they fast yet?

Stay tuned! 😁

Improve this page

Additions, corrections and other suggestions are welcome! You can propose an edit to this page here. (Note that after making your edits, there are 3 confirmations to click through in order to create the “pull request” in the Git repository underlying this page.)

For more broad changes, you can make a pull request here!