How the most-used zero-knowledge proof system (Groth16) works | Dark Hacker News