Explainer of the most widely used zero-knowledge proof system | Dark Hacker News