What is a zero-knowledge proof?

Zero-knowledge proving systems

Implementations of proving systems

DSLs for writing circuits

Example circuits

So are they fast yet?

Stay tuned! šŸ˜

Iā€™d like to add another proving system / write a short explainer / remove those awful 90ā€™s images

You can make a pull request here!